Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report.
Costas D. KoutrasKonstantinos LiaskosChristos MoyzesChristos RantsoudisPublished in: KR (2018)
Keyphrases
- mathematical analysis
- default reasoning
- belief revision
- nonmonotonic reasoning
- dependency directed backtracking
- default logic
- conditional logic
- probabilistic logic
- probabilistic reasoning
- closed world reasoning
- partial order
- proof theory
- inheritance reasoning
- default rules
- default theories
- sufficient conditions
- commonsense reasoning
- proof theoretic
- general purpose
- query language