Belief revision in a framework for default reasoning.
Gerhard BrewkaPublished in: The Logic of Theory Change (1989)
Keyphrases
- belief revision
- default reasoning
- logical framework
- nonmonotonic reasoning
- plausible inference
- belief change
- propositional logic
- conditional logic
- belief update
- logical properties
- possibilistic logic
- belief merging
- probabilistic reasoning
- knowledge base
- partial order
- probabilistic logic
- high level
- default logic
- temporal logic
- default theories
- relational databases
- belief set
- knowledge representation
- machine learning