AGM Revision of Beliefs about Action and Time.
Marc van ZeeDragan DoderMehdi DastaniLeendert W. N. van der TorrePublished in: IJCAI (2015)
Keyphrases
- belief revision
- belief change
- epistemic states
- propositional logic
- revision operators
- minimal change
- nonmonotonic reasoning
- belief set
- temporal logic
- knowledge base
- belief update
- iterated belief revision
- action theories
- logical properties
- belief base
- possibilistic logic
- action selection
- possibility theory
- belief state
- data sets