Answer Set Planning in Single- and Multi-agent Environments

We present the main ideas of answer set planning in both single- and multi-agent environments. Specifically, we describe a systematic translation of a dynamic domain—given as set of statements in an action language such as $$\mathcal{B}$$B—into a logic program which can be used for planning and other reasoning tasks (e.g., diagnosis) given the dynamic domain. We illustrate the issues of answer set planning in different settings and their solutions using a well-known problem domain, the Kiva robot system.

[1]  Michael Gelfond,et al.  Diagnostic reasoning with A-Prolog , 2003, Theory Pract. Log. Program..

[2]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[3]  Enrico Pontelli,et al.  Planning for Multiagent Using ASP-Prolog , 2009, CLIMA.

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

[5]  Enrico Pontelli,et al.  Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study , 2009, CLIMA.

[6]  Michael Gelfond,et al.  The USA-Advisor: A Case Study in Answer Set Planning , 2001, LPNMR.

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

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

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

[10]  Torsten Schaub,et al.  Generalized Target Assignment and Path Finding Using Answer Set Programming , 2017, IJCAI.

[11]  Michael Gelfond,et al.  Logic Programs with Consistency-Restoring Rules , 2003 .

[12]  Bettina Schnor,et al.  Experiences Running a Parallel Answer Set Solver on Blue Gene , 2009, PVM/MPI.

[13]  Raffaello D'Andrea,et al.  Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses , 2007, AI Mag..

[14]  Francesco Buccafurri,et al.  Strong and Weak Constraints in Disjunctive Datalog , 1997, LPNMR.

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

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

[17]  Francesco Buccafurri,et al.  Adding Weak Constraints to Disjunctive Datalog , 1997, APPIA-GULP-PRODE.

[18]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

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

[20]  Enrico Pontelli,et al.  An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers , 2005, Euro-Par.

[21]  Chiaki Sakama,et al.  Formalizing Negotiations Using Logic Programming , 2014, TOCL.