A survey of belief revision and updating in classical logic.
François LévyPublished in: Int. J. Intell. Syst. (1994)
Keyphrases
- classical logic
- belief revision
- possibility theory
- revision operators
- possibilistic logic
- logic programming
- modal logic
- default reasoning
- nonmonotonic reasoning
- belief change
- propositional logic
- temporal logic
- knowledge base
- belief update
- logical properties
- default logic
- logical framework
- minimal change
- default theories
- merging operators
- artificial intelligence
- incomplete information
- expert systems
- decision making