Sensing and revision in a modal logic of belief and action.
Andreas HerzigDominique LonginPublished in: ECAI (2002)
Keyphrases
- modal logic
- belief revision
- temporal logic
- modal operators
- decision procedures
- nonmonotonic logics
- propositional logic
- conditional logic
- inference rules
- belief set
- sensing actions
- belief change
- belief state
- nonmonotonic reasoning
- epistemic logic
- epistemic states
- belief update
- situation calculus
- classical logic
- belief base
- explanation based generalization
- default reasoning
- default logic
- knowledge base
- dynamic logic
- minimal change
- description logic alc
- logical framework
- action theories
- probability theory
- belief functions
- incomplete information
- sensor networks