Consistency-based Revision of Structured Belief Bases.
Michal KorpusikWitold LukaszewiczEwa Madalinska-BugajPublished in: Fundam. Informaticae (2015)
Keyphrases
- belief base
- belief revision
- revision operators
- belief change
- belief merging
- logical properties
- possibilistic logic
- update operators
- horn contraction
- probabilistic logic
- propositional logic
- minimal change
- belief update
- bayesian networks
- horn logic
- expert systems
- knowledge base
- nonmonotonic reasoning
- classical logic
- artificial intelligence
- merging operators