Permissive Belief Revision.
Maria R. CravoJoão P. CachopoAna C. CachopoJoão P. MartinsPublished in: EPIA (2001)
Keyphrases
- belief revision
- default reasoning
- propositional logic
- belief change
- nonmonotonic reasoning
- belief update
- knowledge base
- plausible inference
- conditional logic
- logical framework
- minimal change
- plausible reasoning
- belief state
- revision operators
- possibilistic logic
- cost based abduction
- logical properties
- update operators
- temporal logic
- possibility theory
- sound and complete axiomatization