Reactive Answer Set Programming

Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database. This paper proposes a systematic mapping of the Kernel of this framework (called KELPS) into an answer set program (ASP). For this purpose a new variant of KELPS with finite models, called n-distance KELPS, is introduced. A formal definition of the mapping from this n-distance KELPS to ASP is given and proven sound and complete. The Answer Set Programming paradigm allows to capture additional behaviours to the basic reactivity of KELPS, in particular proactive, preemptive and prospective behaviours. These are all discussed and illustrated with examples. Then a hybrid framework is proposed that integrates KELPS and ASP, allowing to combine the strengths of both paradigms.

[1]  Paolo Mancarella,et al.  The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments , 2009, Theory and Practice of Logic Programming.

[2]  Gerhard Brewka.  Towards Reactive Multi-Context Systems , 2013, LPNMR.

[3]  Mehul Bhatt,et al.  Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving , 2019, IJCAI.

[4]  Robert A. Kowalski,et al.  Reactive Computing as Model Generation , 2015, New Generation Computing.

[5]  Martin Gebser,et al.  Multi-shot ASP solving with clingo , 2017, Theory and Practice of Logic Programming.

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

[7]  Luís Moniz Pereira,et al.  Modelling morality with prospective logic , 2007, Int. J. Reason. based Intell. Syst..

[8]  Michael Gelfond,et al.  Applications of Answer Set Programming , 2016, AI Mag..

[9]  Adrian Paschke,et al.  Reaction RuleML 1.0: Standardized Semantic Reaction Rules , 2012, RuleML.

[10]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[11]  Graham Deane,et al.  Preferential description logics: reasoning in the presence of inconsistencies , 2016 .

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

[13]  Chitta Baral,et al.  Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells , 2004, KR.

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

[15]  Carlo Zaniolo,et al.  On the Unification of Active Databases and Deductive databases , 1993, BNCOD.

[16]  Tran Cao Son,et al.  Relating Theories of Actions and Reactive Control , 1998, Electron. Trans. Artif. Intell..

[17]  Katsumi Inoue,et al.  Combining Answer Set Programs for Adaptive and Reactive Reasoning , 2013, Theory Pract. Log. Program..

[18]  Krysia Broda,et al.  Iterative Learning of Answer Set Programs from Context Dependent Examples , 2016, Theory and Practice of Logic Programming.

[19]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[20]  Bruno Berstel-Da Silva.  Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs , 2012, RuleML.

[21]  Robert A. Kowalski,et al.  Programming in logic without logic programming , 2016, Theory Pract. Log. Program..

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

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

[24]  José Miguel Morales,et al.  From Teleo-Reactive specifications to architectural components: A model-driven approach , 2012, J. Syst. Softw..

[25]  Bertram Ludäscher,et al.  On Active Deductive Databases: The Statelog Approach , 1996, Transactions and Change in Logic Databases.

[26]  Abeer Dyoub,et al.  Answer set programming and agents , 2018, The Knowledge Engineering Review.

[27]  Martin Gebser,et al.  Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.

[28]  Nils J. Nilsson,et al.  Teleo-Reactive Programs for Agent Control , 1993, J. Artif. Intell. Res..

[29]  Martin Gebser,et al.  Reactive Answer Set Programming , 2011, LPNMR.

[30]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[31]  Martin Gebser,et al.  ASP-Core-2 Input Language Format , 2019, Theory and Practice of Logic Programming.

[32]  J. McCarthy.  ELABORATION TOLERANCE , 1997 .

[33]  Torsten Schaub,et al.  Temporal Answer Set Programming on Finite Traces , 2018, Theory and Practice of Logic Programming.

[34]  Luís Moniz Pereira,et al.  Prospective logic agents , 2007, Int. J. Reason. based Intell. Syst..

[35]  Luís Moniz Pereira,et al.  Intention-Based Decision Making with Evolution Prospection , 2011, EPIA.

[36]  Norman W. Paton,et al.  A logic-based integration of active and deductive databases , 1997, New Generation Computing.

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

[38]  José Júlio Alferes,et al.  An Event-Condition-Action Logic Programming Language , 2006, JELIA.

[39]  Yuri Gurevich,et al.  Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.

[40]  Keith L. Clark,et al.  Robotic agent programming in TeleoR , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[41]  Pedro Cabalar,et al.  Temporal equilibrium logic: a survey , 2013, J. Appl. Non Class. Logics.

[42]  James P. Delgrande,et al.  An Application of Answer Set Programming for Situational Analysis in a Maritime Traffic Domain , 2013, Canadian Conference on AI.

[43]  Keith Clark.  Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents , 2018, ICINCO.

[44]  Chitta Baral,et al.  Reasoning about non-immediate triggers in biological networks , 2008, Annals of Mathematics and Artificial Intelligence.

[45]  Peter Norvig,et al.  Artificial intelligence - a modern approach, 2nd Edition , 2003, Prentice Hall series in artificial intelligence.

[46]  Robert A. Kowalski,et al.  From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.

[47]  Robert A. Kowalski,et al.  Abductive logic programming agents with destructive databases , 2011, Annals of Mathematics and Artificial Intelligence.

[48]  Fabrizio Riguzzi,et al.  Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages , 2018, Theory and Practice of Logic Programming.

[49]  Thomas Eiter,et al.  LARS: A Logic-Based Framework for Analyzing Reasoning over Streams , 2015, AAAI.