The Realizability of Revision and Contraction Operators in Epistemic Spaces.
Kai SauerwaldMatthias ThimmPublished in: CoRR (2024)
Keyphrases
- belief change
- belief revision
- agm postulates
- update operators
- belief base
- revision operators
- iterated belief revision
- rationality postulates
- belief update
- minimal change
- propositional logic
- computation tree logic
- merging operators
- databases
- logical properties
- temporal logic
- belief set
- epistemic logic
- knowledge base
- horn logic
- website
- e learning
- artificial intelligence