Keyphrases
- belief change
- belief revision
- update operators
- rationality postulates
- belief update
- belief base
- agm postulates
- prime implicates
- propositional logic
- minimal change
- iterated belief revision
- probability theory
- revision operators
- epistemic states
- merging operators
- knowledge base
- artificial intelligence
- database
- desirable properties
- bayesian networks
- belief set
- horn logic