Reasoning about action and cooperation
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge · 2006
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs. We show how the logic can be obtained in a modularised way, by combining a model for reasoning about actions and their effects with a model that describes what actions an agent can perform. More precisely, we show how one can combine an action logic which resembles Propositional Dynamic Logic with a cooperation logic which resembles Coalition Logic. We give a sound and complete axiomatisation for the logic, illustrate its use by means of an example, and discuss possible future extensions to it.