Belief Change: from Situation Calculus to Modal Logic.
Robert DemolombePublished in: J. Appl. Non Class. Logics (2003)
Keyphrases
- situation calculus
- modal logic
- belief change
- belief revision
- temporal logic
- prime implicates
- decision procedures
- inference rules
- action theories
- initial state
- propositional logic
- reasoning about actions
- classical logic
- conditional logic
- default logic
- default reasoning
- nonmonotonic logics
- model checking
- nonmonotonic reasoning
- knowledge base
- probability theory
- reasoning tasks
- belief state
- modal operators
- data model