Keyphrases
- belief change
- horn logic
- belief revision
- conditional logic
- belief update
- propositional logic
- expressive power
- probability theory
- modal logic
- minimal change
- belief set
- nonmonotonic logics
- default reasoning
- prime implicates
- inference rules
- classical logic
- belief base
- nonmonotonic reasoning
- expert systems
- rationality postulates
- first order logic
- database
- knowledge representation
- logic programming