Belief revision and projection in the epistemic situation calculus.
Christoph SchweringGerhard LakemeyerMaurice PagnuccoPublished in: Artif. Intell. (2017)
Keyphrases
- situation calculus
- belief revision
- belief change
- action theories
- minimal change
- propositional logic
- nonmonotonic reasoning
- event calculus
- belief update
- default reasoning
- modal operators
- logical theories
- initial state
- modal logic
- temporal logic
- reasoning about actions
- logical properties
- fluent calculus
- reasoning tasks
- concurrent actions
- belief merging
- epistemic states
- logical framework
- knowledge base
- possibility theory
- dynamic programming
- reinforcement learning