Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus.
Christoph SchweringGerhard LakemeyerMaurice PagnuccoPublished in: IJCAI (2015)
Keyphrases
- situation calculus
- belief revision
- belief change
- knowledge base
- possibilistic logic
- default reasoning
- propositional logic
- event calculus
- action theories
- modal operators
- belief base
- nonmonotonic reasoning
- minimal change
- belief update
- initial state
- modal logic
- expert systems
- reasoning tasks
- temporal logic
- description logics
- reasoning about actions
- knowledge representation
- logical framework
- logical theories
- logic programming
- concurrent actions
- possibility theory
- belief state