Keyphrases
- belief change
- update operators
- belief revision
- belief update
- belief base
- rationality postulates
- propositional logic
- prime implicates
- probability theory
- update semantics
- epistemic states
- minimal change
- agm postulates
- default reasoning
- merging operators
- revision operators
- knowledge base
- nonmonotonic reasoning
- expressive power
- logic programs
- database