Reasoning about knowledge
Modal logic
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logics of communication and change
Information and Computation
Actions and resources in epistemic logic
Actions and resources in epistemic logic
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Dynamic Epistemic Logic
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Knowledge and games in modal semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Learning in a changing world, an algebraic modal logical approach
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Epistemic actions and ontic actions: a unified logical framework
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
| Hi-index | 0.00 |
Dynamic epistemic algebra establishes Galois connections and quantales as a basis for reasoning about knowledge in multi-agent systems. To date, these algebraic-axiomatic methods have been restricted to a positive fragment of dynamic epistemic logic with communication events only. This paper proposes Boolean algebraic extensions which overcome these limitations by generalizing dynamic epistemic algebra to scenarios where events can change facts in form of post-conditions. As an application of the new algebraic treatment of post-conditions, we devise and solve a topological map-based robot navigation example for which current axiomatics are insufficient.