Sciweavers

ATAL
2006
Springer

Reasoning about action and cooperation

13 years 7 months ago
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
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek,
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATAL
Authors Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge
Comments (0)