Artificial intelligence dialects of the Bayesian belief revision language.
Shimon SchockenPaul R. KleindorferPublished in: IEEE Trans. Syst. Man Cybern. (1989)
Keyphrases
- belief revision
- artificial intelligence
- conditional logic
- belief change
- default reasoning
- propositional logic
- belief update
- nonmonotonic reasoning
- logical framework
- logical properties
- plausible reasoning
- temporal logic
- belief merging
- plausible inference
- natural language
- possibilistic logic
- dynamic aspects
- epistemic states
- knowledge base
- programming language
- minimal change
- belief state
- expert systems
- bayesian networks
- decision theory
- model theoretic
- possibility theory
- revision operators
- update operators
- cost based abduction