A logic for concurrent events and action failure

Abstract

When reasoning about agents interacting in a dynamic world, two problems present themselves: other events and actions may occur while an agent is acting; and an agent's actions may fail. We present a more expressive formalism for representing the different ways that events can occur together and extend a recently introduced logic of events to handle concurrent events. We apply the approach of Traverso and Spalazzi to handle actions and failure to obtain a logic that allows for concurrent events and admits reasoning with failure.