Dynamic epistemic algebra with post-conditions to reason about robot navigation

Abstract

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. © 2011 Springer-Verlag.