Planning for Multiagent Using ASP-Prolog

This paper presents an Answer Set Programming based approach to multiagent planning. The proposed methodology extends the action language B in [12] to represent and reason about plans with cooperative actions of an individual agent operating in a multiagent environment. This language is used to formalize multiagent planning problems and the notion of a joint plan for multi-agent in the presence of cooperative actions. Finally, the paper presents a system for computing joint plans based on the ASP-Prolog system.

[1]  Ilkka Niemelä,et al.  Stable Model Semantics of Weight Constraint Rules , 1999, LPNMR.

[2]  Cees Witteveen,et al.  Multi-agent Planning An introduction to planning and coordination , 2005 .

[3]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[4]  Enrico Pontelli,et al.  A Logic Programming Based Framework for Intelligent Web Service Composition , 2009 .

[5]  Antonis C. Kakas,et al.  E-RES: Reasoning about Actions, Events and Observations , 2001, LPNMR.

[6]  Edmund H. Durfee,et al.  Distributed Problem Solving and Planning , 2001, EASSS.

[7]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[8]  Enrico Pontelli,et al.  Planning with preferences using logic programming , 2004, Theory and Practice of Logic Programming.

[9]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

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

[11]  Vladimir Lifschitz,et al.  Splitting a Logic Program , 1994, ICLP.

[12]  T. Eiter,et al.  Answer Set Planning under Action Costs , 2002, JELIA.

[13]  Edmund H. Durfee,et al.  An efficient algorithm for multiagent plan coordination , 2005, AAMAS '05.

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

[15]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[16]  Michael J. Maher,et al.  Introduction Special Issue on Multiparadigm Languages and Constraint Programming , 2007, Theory Pract. Log. Program..

[17]  Michael Wooldridge,et al.  Languages for Negotiation , 2000, ECAI.

[18]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[19]  Vladimir Lifschitz,et al.  Action Languages, Answer Sets, and Planning , 1999, The Logic Programming Paradigm.

[20]  Tran Cao Son,et al.  Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming , 2006, Theory and Practice of Logic Programming.

[21]  Pavlos Moraitis,et al.  Multi-Agent Coordination and Cooperation through Classical Planning , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[22]  Cees Witteveen,et al.  A Resource Logic for Multi-Agent Plan Merging , 2004, Annals of Mathematics and Artificial Intelligence.

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

[24]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[25]  Enrico Pontelli,et al.  ASP-PROLOG: a system for reasoning about answer set programs in prolog , 2004, NMR.

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

[27]  Edmund H. Durfee,et al.  A distributed framework for solving the Multiagent Plan Coordination Problem , 2005, AAMAS '05.

[28]  Edmund H. Durfee,et al.  A Survey of Research in Distributed, Continual Planning , 1999, AI Mag..