Logic Programming for Multiagent Planning with Negotiation

Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their goals. One way for the agents to interact is through negotiations. Integration of negotiation in multiagent planning has not been extensively investigated and a systematic way for this task has yet to be found. We develop a generic model for negotiation in dynamic environments and apply it to generate joint-plans with negotiation for multiple agents. We identify the minimal requirements for such a model and propose a general scheme for one-to-one negotiations. This model of negotiation is instantiated to deal with dynamic knowledge of planning agents. We demonstrate how logic programming can be employed as a uniform platform to support both planning and negotiation, providing an ideal testbed for experimenting with multiagent planning with negotiations.

[1]  Koichi Furukawa,et al.  Logic Programming '88 , 1988, Lecture Notes in Computer Science.

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

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

[4]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[5]  Gregory Gelfond.  A declarative framework for modeling multi-agent systems , 2007 .

[6]  Antonis C. Kakas,et al.  Adaptive agent negotiation via argumentation , 2006, AAMAS '06.

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

[8]  Pavlos Moraitis,et al.  A unified and general framework for argumentation-based negotiation , 2007, AAMAS '07.

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

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

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

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

[13]  Sarvapali D. Ramchurn,et al.  Argumentation-based negotiation , 2003, The Knowledge Engineering Review.

[14]  Gregory Gelfond,et al.  Modeling Cooperative Multi-Agent Systems , 2007 .

[15]  Leon Sterling,et al.  Relating Stable Models and AI Planning Domains , 1995 .

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

[17]  Paolo Torroni,et al.  Agent Planning, Negotiation and Control of Operation , 2004, ECAI.

[18]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

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

[20]  Paolo Torroni,et al.  An Abductive Logic Programming Architecture for Negotiating Agents , 2002, JELIA.

[21]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[22]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[23]  Thomas Dean,et al.  Automated planning , 1996, CSUR.

[24]  Pablo Noriega,et al.  A Framework for Argumentation-Based Negotiation , 1997, ATAL.

[25]  Chiaki Sakama,et al.  Negotiation by abduction and relaxation , 2007, AAMAS '07.

[26]  Sarit Kraus,et al.  Negotiation and Cooperation in Multi-Agent Environments , 1997, Artif. Intell..

[27]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.