Representing Belief Revision through Default Theories.
João C. P. da SilvaSheila R. M. VelosoPublished in: IBERAMIA-SBIA (2000)
Keyphrases
- belief revision
- default theories
- default reasoning
- nonmonotonic reasoning
- revision operators
- default logic
- epistemic states
- propositional logic
- belief change
- autoepistemic logic
- nonmonotonic logics
- belief update
- minimal change
- knowledge base
- logical properties
- temporal logic
- cost based abduction
- possibility theory
- possibilistic logic
- logic programming
- machine learning
- plausible inference
- merging operators
- fixpoint
- classical logic
- description logics
- dynamic programming
- bayesian networks
- artificial intelligence