Semantic Accounts of Belief Revision.
Peter JacksonJohn PaisPublished in: Truth Maintenance Systems (ECAI Workshop) (1990)
Keyphrases
- belief revision
- default reasoning
- propositional logic
- belief change
- nonmonotonic reasoning
- belief update
- logical framework
- logical properties
- plausible inference
- plausible reasoning
- belief merging
- conditional logic
- possibilistic logic
- temporal logic
- knowledge base
- belief state
- minimal change
- cost based abduction
- natural language
- revision operators
- belief set
- belief base
- update operators
- dynamic aspects
- dynamic programming
- reinforcement learning