An algebraic approach to belief contraction and nonmonotonic entailment.
Lee FlaxPublished in: J. Appl. Log. (2007)
Keyphrases
- belief base
- belief change
- belief revision
- belief set
- horn logic
- nonmonotonic reasoning
- rationality postulates
- logic programming
- belief update
- propositional logic
- default reasoning
- probability theory
- knowledge base
- minimal change
- possibilistic logic
- possibility theory
- probabilistic logic
- epistemic states
- argumentation systems
- belief functions
- logic programs