Connections Between the ATMS and AGM Belief Revision.
Simon DixonNorman Y. FooPublished in: IJCAI (1993)
Keyphrases
- belief revision
- belief change
- propositional logic
- default reasoning
- nonmonotonic reasoning
- logical properties
- conditional logic
- knowledge base
- minimal change
- logical framework
- belief update
- temporal logic
- logic programming
- belief merging
- dynamic aspects
- possibilistic logic
- belief state
- plausible inference
- cost based abduction
- iterated belief revision
- plausible reasoning
- logic programs