Belief Revision over Infinite Propositional Language.
Hua MengYayan YuanJielei ChuHongjun WangPublished in: KSEM (2015)
Keyphrases
- belief revision
- propositional logic
- conditional logic
- epistemic states
- belief change
- nonmonotonic reasoning
- sound and complete axiomatization
- default reasoning
- belief update
- logical properties
- logical framework
- merging operators
- possibilistic logic
- natural language
- prime implicates
- minimal change
- programming language
- belief merging
- temporal logic
- truth maintenance systems
- belief base
- probabilistic logic
- cost based abduction
- revision operators
- plausible reasoning
- iterated belief revision
- possibility theory
- logical theories
- update operators
- knowledge base
- first order logic
- model theoretic