Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions.
Hannes StrassMichael ThielscherPublished in: LPAR short papers(Yogyakarta) (2010)
Keyphrases
- default reasoning
- conditional logic
- human actions
- nonmonotonic reasoning
- belief revision
- reasoning about actions
- default logic
- action selection
- dependency directed backtracking
- proof theory
- default rules
- probabilistic reasoning
- probabilistic logic
- partial order
- closed world reasoning
- logic programming
- action recognition
- situation calculus
- default theories
- bayesian networks
- durative actions
- primitive actions
- modal logic
- knowledge representation and reasoning
- description logics
- data model
- knowledge base
- inheritance reasoning
- artificial intelligence