Propositions, Propositional Attitudes and Belief Revision.
Rohit ParikhPublished in: Advances in Modal Logic (1998)
Keyphrases
- belief revision
- propositional logic
- epistemic states
- sound and complete axiomatization
- belief change
- nonmonotonic reasoning
- default reasoning
- attitudes toward
- logical framework
- iterated belief revision
- logical properties
- possibilistic logic
- conditional logic
- belief update
- merging operators
- knowledge base
- truth maintenance systems
- plausible reasoning
- logical theories
- belief base
- minimal change
- update operators
- temporal logic
- belief merging
- plausible inference
- prime implicates
- belief state
- revision operators
- first order logic
- possibility theory
- bargaining solution
- cost based abduction