Autoepistemic Belief-revision for Integration of Mutually Inconsistent Knowledge.
Zoran MajkicPublished in: IICAI (2007)
Keyphrases
- belief revision
- nonmonotonic reasoning
- belief change
- default reasoning
- propositional logic
- default logic
- logical properties
- knowledge base
- inconsistent knowledge
- belief update
- autoepistemic logic
- temporal logic
- truth maintenance systems
- minimal change
- conditional logic
- modal logic
- plausible reasoning
- plausible inference
- possibilistic logic
- belief merging
- nonmonotonic logics
- belief state
- update operators
- artificial intelligence
- belief base
- possibility theory
- merging operators
- probabilistic inference