Action Languages, Answer Sets, and Planning

This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. We talk about recent work on action languages and translating them into logic programming, on representing possible histories of an action domain by answer sets, on efficient implementations of the answer set semantics and their use for generating plans, and on causal logic and its relation to planning algorithms. Recent progress in these areas may lead to the creation of planners which are based on the ideas of logic programming and combine the use of expressive action description languages with efficient computational procedures.

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

[2]  Danny De Schreye,et al.  Representing Incomplete Knowledge in Abductive Logic Programming , 1993, J. Log. Comput..

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

[4]  Gerald Pfeifer,et al.  The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.

[5]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

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

[7]  Hector Geffner,et al.  Causal Theories for Nonmonotonic Reasoning , 1990, AAAI.

[8]  Hudson Turner,et al.  A Logic of Universal Causation , 1999, Artif. Intell..

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

[10]  D. C. Dashfield.  HER MAJESTY'S STATIONERY OFFICE , 1954 .

[11]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[12]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[13]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[14]  Vladimir Lifschitz,et al.  On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..

[15]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[16]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[17]  P. Simons.  Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics , 1997 .

[18]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[19]  Bernhard Nebel,et al.  Encoding Planning Problems in Nonmonotonic Logic Programs , 1997, ECP.

[20]  Ilkka Niemelä,et al.  Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.

[21]  V. Lifschitz,et al.  Foundations of Logic Programming , 1997 .

[22]  Vladimir Lifschitz,et al.  Formalizing Common Sense: Papers by John McCarthy , 1998 .

[23]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[24]  Hudson Turner,et al.  Satisfiability planning with Causal Theories , 1998, KR.

[25]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[26]  David S. Warren,et al.  Representing actions in logic programming and its applications in database updates , 1993 .

[27]  Victor W. Marek,et al.  Default Reasoning System DeReS , 1996, KR.

[28]  John McCarthy,et al.  Programs with common sense , 1960 .