Implementing Belief Change in the Situation Calculus and an Application.
Maurice PagnuccoDavid RajaratnamHannes StrassMichael ThielscherPublished in: LPNMR (2013)
Keyphrases
- situation calculus
- belief change
- belief revision
- event calculus
- action theories
- belief update
- initial state
- modal logic
- propositional logic
- reasoning about actions
- fluent calculus
- reasoning tasks
- temporal logic
- logical language
- nonmonotonic reasoning
- minimal change
- sensing actions
- concurrent actions
- horn logic
- belief base
- epistemic states
- knowledge base
- belief set
- default reasoning
- heuristic search
- search space