ALPprolog - A new logic programming method for dynamic domains

Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.

[1]  Jorge J. Gómez-Sanz,et al.  Programming Multi-Agent Systems , 2003, Lecture Notes in Computer Science.

[2]  Stephan Schiffel,et al.  Fluxplayer: A Successful General Game Player , 2007, AAAI.

[3]  Carsten Lutz,et al.  Updating Description Logic ABoxes , 2006, KR.

[4]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[5]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[6]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[7]  Stephan Schiffel,et al.  A Declarative Agent Programming Language Based on Action Theories , 2009, FroCoS.

[8]  Michael R. Genesereth,et al.  General Game Playing: Overview of the AAAI Competition , 2005, AI Mag..

[9]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[10]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .

[11]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[12]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[13]  Michael Thielscher,et al.  A General Game Description Language for Incomplete Information Games , 2010, AAAI.

[14]  Michael Thielscher,et al.  A unifying action calculus , 2011, Artif. Intell..

[15]  Ray Reiter,et al.  On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..

[16]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[17]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[18]  Stavros Vassos,et al.  The Wumpus World in INDIGOLOG : A Preliminary Report , 2005 .

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

[20]  M. Thielscher.  A FLUX Agent for the Wumpus World , 2022 .

[21]  Michael Thielscher,et al.  Integrating Action Calculi and AgentSpeak: Closing the Gap , 2010, KR.

[22]  Michael Thielscher,et al.  Putting ABox Updates into Action , 2009, FroCoS.

[23]  Andreas Herzig,et al.  Metatheory of actions: Beyond consistency , 2006, Artif. Intell..