Axiomatic characterization of the AGM theory of belief revision in a temporal logic.
Giacomo BonannoPublished in: Artif. Intell. (2007)
Keyphrases
- belief revision
- temporal logic
- axiomatic characterization
- belief change
- logical properties
- propositional logic
- plausible inference
- default reasoning
- modal logic
- logical framework
- nonmonotonic reasoning
- satisfiability problem
- iterated belief revision
- belief update
- revision operators
- minimal change
- knowledge base
- possibilistic logic
- conditional independence
- principle of minimal change
- belief state
- belief set
- probability theory
- possibility theory
- knowledge representation
- search space