Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments

This paper studies the problem of dynamic goal decomposition and planning in scenarios characterized by a strong inter-dependency between action and context, for instance those related to rescue intervention in a territory upon occurrence of some kind of catastrophic event. We propose an architecture that integrates DALI MASs (DALI Multi-Agent Systems) and ASP (Answer Set Programming) modules for reaching goals in a flexible and timely way, where DALI is a computational-logic-based fully implemented agent-oriented logic programming language and ASP modules allow for affordable and flexible planning capabilities. The proposed DALI MAS architecture exploits these modules for flexible goal decomposition and planning with the possibility to select plans according to a suite of possible preferences and to re-plan upon need. We present a case-study concerning DALI agents which cooperate for exploring an unknown territory under changing circumstances in an optimal or at least sub-optimal fashion. The architecture can be exploited not only by DALI agents, but rather by any kind of logical agent.

[1]  Stefania Costantini,et al.  Context and Action: A Unitary Vision Within a Logic-Based Multi-agent Environment , 2016 .

[2]  Stefania Costantini,et al.  Extending and Implementing RASP , 2010, Fundam. Informaticae.

[3]  Nicola Leone.  Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications , 2007, LPNMR.

[4]  Stefania Costantini,et al.  Modeling preferences and conditional preferences on resource consumption and production in ASP , 2009, J. Algorithms.

[5]  Stefania Costantini,et al.  The DALI Logic Programming Agent-Oriented Language , 2004, JELIA.

[6]  Stefania Costantini,et al.  Communication and trust in the DALI logic programming agent-oriented language , 2005, Intelligenza Artificiale.

[7]  Michael T. Cox,et al.  Goal Operations for Cognitive Systems , 2017, AAAI.

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

[9]  Koen V. Hindriks,et al.  Programming Rational Agents in GOAL , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[10]  Peter Stone,et al.  Multirobot Symbolic Planning under Temporal Uncertainty , 2017, AAMAS.

[11]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[12]  Stefania Costantini,et al.  Learning by Knowledge Exchange in Logical Agents , 2005, WOA.

[13]  Koen V. Hindriks,et al.  A Verification Logic for Goal Agents , 2010 .

[14]  Stefania Costantini,et al.  DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing , 2017, ICTCS/CILC.

[15]  Miroslaw Truszczynski,et al.  Answer Set Programming: An Introduction to the Special Issue , 2016, AI Mag..

[16]  Alexander Artikis,et al.  Specifying Open Agent Systems: A Survey , 2009, ESAW.

[17]  Giovambattista Ianni,et al.  The Answer Set Programming Competition , 2012, AI Mag..

[18]  Stefania Costantini,et al.  Answer Set Modules for Logical Agents , 2010, Datalog.

[19]  Stefania Costantini,et al.  Weight Constraints with Preferences in ASP , 2011, LPNMR.

[20]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[21]  Angelo Ferrando,et al.  FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain , 2016, PAAMS.

[22]  Torsten Schaub,et al.  Generalized Answer Set Planning with Incomplete Information , 2017, ASPOCP@LPNMR.

[23]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[24]  Stefania Costantini,et al.  A Multi-Agent System for Industrial Fault Detection and Repair , 2012, PAAMS.

[25]  Stefania Costantini,et al.  Answer Set Programming with Resources , 2010, J. Log. Comput..

[26]  Rafael H. Bordini,et al.  Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions) , 2010, ECAI.

[27]  Enrico Pontelli,et al.  ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities , 2016, AAMAS.

[28]  David W. Aha,et al.  Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing , 2016, IJCAI.

[29]  Stefania Costantini,et al.  DALI for Cognitive Robotics: Principles and Prototype Implementation , 2017, PADL.

[30]  Jürgen Dix,et al.  Programming Multi-Agent Systems , 2003, Lecture Notes in Computer Science.

[31]  Miroslaw Truszczynski.  Logic Programming for Knowledge Representation , 2007, ICLP.

[32]  Stefania Costantini,et al.  Exploration of Unknown Territory via DALI Agents and ASP Modules , 2015, DCAI.

[33]  Tran Cao Son.  Answer Set Programming and Its Applications in Planning and Multi-agent Systems , 2017, LPNMR.

[34]  Paolo Torroni,et al.  COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS , 2007, Comput. Intell..

[35]  Stefania Costantini,et al.  ACE: A Flexible Environment for Complex Event Processing in Logical Agents , 2015, EMAS@AAMAS.

[36]  João Leite,et al.  A Survey of Programming Languages and Platforms for Multi-Agent Systems , 2006, Informatica.

[37]  Dana S. Nau,et al.  The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning , 2013, IJCAI.

[38]  Enrico Pontelli,et al.  Solving distributed constraint optimization problems using logic programming , 2017, Theory Pract. Log. Program..

[39]  Stefania Costantini,et al.  A Logic Programming Language for Multi-agent Systems , 2002, JELIA.

[40]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[41]  Stefania Costantini,et al.  About Declarative Semantics of Logic-Based Agent Languages , 2005, DALT.

[42]  Luc De Raedt,et al.  ProbLog Technology for Inference in a Probabilistic First Order Logic , 2010, ECAI.

[43]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.