Reasoning about action and cooperation

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. Categories and Subject Descriptors I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence-coherence and coordination, multiagent systems General Terms Theory Keywords Agent and multi-agent architectures, Cooperation and coordination among agents, Logics for agent systems, (Multi-)Agent planning

• Type: Conference
• Year: 2006
• Where: ATAL
• Authors: Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge
• Keywords: ATAL 2006, Cooperation Logic, Intelligent Agents, Logics, Propositional Dynamic Logic