In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds.
Emiliano LoriniPublished in: AAAI (2018)
Keyphrases
- epistemic logic
- belief base
- belief merging
- logical framework
- belief revision
- possibilistic logic
- modal logic
- model checking
- logical properties
- belief change
- multi agent systems
- dynamic epistemic logic
- merging operators
- inference rules
- multi faceted
- formal semantics
- mathematical theory
- minimal change
- propositional logic
- temporal logic
- knowledge base
- probabilistic logic
- preference relations
- decision making
- multiple agents
- logic programming