An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.
Marc FinthammerChristoph BeierleBenjamin BergerGabriele Kern-IsbernerPublished in: LPNMR (2009)
Keyphrases
- belief revision
- belief change
- conditional logic
- default reasoning
- probability theory
- nonmonotonic reasoning
- propositional logic
- belief update
- knowledge base
- probabilistic logic
- possibilistic logic
- bayesian networks
- temporal logic
- prime implicates
- minimal change
- sound and complete axiomatization
- belief set
- rationality postulates
- logical framework
- belief base
- epistemic states
- modal logic
- description logics
- natural language
- artificial intelligence
- machine learning