Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study

This paper investigates the use of action languages, originally developed for representing and reasoning about single-agent domains, in modeling multi-agent domains. We use the action language C and show that minimal extensions are sufficient to capture several multi-agent domains from the literature. The paper also exposes some limitations of action languages in modeling a specific set of features in multi-agent domains.

[1]  Andreas Herzig,et al.  Knowing how to play: uniform choices in logics of agency , 2006, AAMAS '06.

[2]  Wojciech Jamroga,et al.  A logic for strategic reasoning , 2005, AAMAS '05.

[3]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[4]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[5]  Matthias Klusch,et al.  Software agent-based applications, platforms and development kits , 2005 .

[6]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[7]  Tran Cao Son,et al.  Domain-dependent knowledge in answer set planning , 2002, TOCL.

[8]  Andrew B. Baker,et al.  A Simple Solution to the Yale Shooting Problem , 1989, KR.

[9]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[10]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[11]  Michael Wooldridge,et al.  Reasoning about action and cooperation , 2006, AAMAS '06.

[12]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

[13]  Jelle Gerbrandy,et al.  Logics of propositional control , 2006, AAMAS '06.

[14]  Chiaki Sakama,et al.  Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming , 2009, DALT.

[15]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[16]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[17]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[18]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[19]  Chiaki Sakama,et al.  Logic Programming for Multiagent Planning with Negotiation , 2009, ICLP.

[20]  Winfried Lamersdorf,et al.  Jadex: A BDI-Agent System Combining Middleware and Reasoning , 2005 .

[21]  Viviana Mascardi,et al.  Logic-based specification languages for intelligent software agents , 2003, Theory and Practice of Logic Programming.

[22]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[23]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[24]  Ronen I. Brafman,et al.  Partial-Order Planning with Concurrent Interacting Actions , 2011, J. Artif. Intell. Res..

[25]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

[26]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[27]  Guido Boella,et al.  Enforceable social laws , 2005, AAMAS '05.

[28]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[29]  Fabio Bellifemine,et al.  Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology) , 2007 .

[30]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[31]  Michael Brenner,et al.  Planning for Multiagent Environments From Individual Perceptions to Coordinated Execution , 2005 .

[32]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[33]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[34]  Koen V. Hindriks,et al.  A verification framework for agent programming with declarative goals , 2007, J. Appl. Log..

[35]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[36]  Nikos A. Vlassis,et al.  Decentralized planning under uncertainty for teams of communicating agents , 2006, AAMAS '06.

[37]  Wiebe van der Hoek,et al.  Concurrent dynamic epistemic logic for MAS , 2003, AAMAS '03.