Iterated Revision by Epistemic States: Axioms, Semantics and Syntax.
Salem BenferhatSébastien KoniecznyOdile PapiniRamón Pino PérezPublished in: ECAI (2000)
Keyphrases
- epistemic states
- belief revision
- iterated belief revision
- belief change
- knowledge base
- default theories
- update operators
- logical properties
- default reasoning
- logical theories
- belief base
- high level
- belief update
- nonmonotonic reasoning
- first order logic
- natural language
- minimal change
- possibilistic logic
- belief set
- complete axiomatization
- operational semantics
- revision operators
- propositional logic