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