Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach.
Marlo SouzaÁlvaro F. MoreiraRenata VieiraPublished in: CoRR (2019)
Keyphrases
- belief base
- dynamic epistemic logic
- epistemic logic
- belief change
- belief revision
- possibilistic logic
- belief merging
- revision operators
- minimal change
- logical framework
- knowledge base
- update operators
- propositional logic
- preference relations
- modal logic
- model checking
- multi agent systems
- belief set
- default reasoning
- inference rules