Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin?
Peter GärdenforsPublished in: ECAI (1990)
Keyphrases
- belief revision
- nonmonotonic logics
- nonmonotonic reasoning
- propositional logic
- default reasoning
- belief change
- logical properties
- conditional logic
- belief update
- knowledge base
- minimal change
- possibility theory
- possibilistic logic
- defeasible logic
- plausible inference
- default theories
- default logic
- temporal logic
- modal logic
- relational databases
- belief merging
- rational agents
- model checking
- epistemic states
- update operators
- high level