Planning from second principles : a logic-based approach

In this paper, a logical formalization of planning from second principles is proposed, which relies on a systematic decomposition of the planning process. Deductive inference processes with clearly defined semantics formalize planning from second principles. Plan modification is based on a deductive approach which yields provably correct modified plans. Reusable plans are retrieved from a dynamically created plan library using terminological logic as a query language to the library. Apart from sequential plans, this approach enables a planner to efficiently reuse and modify plans containing control structures like conditionals and iterations.

[1]  Zohar Manna,et al.  How to Clear a Block: Plan Formation in Situational Logic , 1986, CADE.

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

[3]  Jana Koehler,et al.  Flexible Plan Reuse in a Formal Framework , 1994 .

[4]  Manuela Veloso.  Learning by analogical reasoning in general problem-solving , 1992 .

[5]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[6]  Daniel S. Weld,et al.  Systematic adaptation for case-based planning , 1992 .

[7]  Christopher K. Riesbeck,et al.  Inside Case-Based Reasoning , 1989 .

[8]  Lawrence C. Paulson,et al.  Isabelle: The Next 700 Theorem Provers , 2000, ArXiv.

[9]  Jana Koehler,et al.  PHI - A Logic-Based Tool for Intelligent Help Systems , 1993, IJCAI.

[10]  Mathias Bauer,et al.  Logic-based Plan Recognition for Intelligent Help Systems , 1994, PuK.

[11]  Bernhard Hollunder,et al.  Subsumption Algorithms for Concept Description Languages , 1990, ECAI.

[12]  Yumi Iwasaki,et al.  The concept and implementation of skeletal plans , 1985, Journal of Automated Reasoning.

[13]  Michael Beetz,et al.  Declarative goals in reactive plans , 1992 .

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

[15]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[16]  Ingrid Zukerman,et al.  An Inductive Approach to Learning Search Control Rules for Planning , 1993, IJCAI.

[17]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[18]  R. Lathe.  Phd by thesis , 1988, Nature.

[19]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[20]  Hans Jürgen.  Semantics-Based Translation Methods for Modal Logics , 1991 .

[21]  Zohar Manna,et al.  A THEORY OF PLANS , 1987 .

[22]  Kristian J. Hammond,et al.  Explaining and Repairing Plans that Fail , 1987, IJCAI.

[23]  Gillier,et al.  Logic for Computer Science , 1986 .

[24]  Bernhard Nebel,et al.  Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning , 1992 .

[25]  Jana Koehler,et al.  Deductive Planning and Plan Reuse in a Command Language Environment , 1992, ECAI.

[26]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1988, IJCAI 1989.

[27]  Bernhard Nebel,et al.  Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis , 1995, Artif. Intell..

[28]  D. Litman,et al.  Subsumption and recognition of heterogeneous constraint networks , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[29]  James A. Hendler,et al.  Flexible reuse and modification in hierarchical planning: a validation structure-based approach , 1989 .

[30]  Rance Cleaveland,et al.  Implementing mathematics with the Nuprl proof development system , 1986 .

[31]  James A. Hendler,et al.  Control of Refitting during Plan Reuse , 1989, IJCAI.

[32]  Jana Koehler,et al.  Constraint Deduction in an Interval-based Temporal Logic , 1993, Executable Modal and Temporal Logics.

[33]  James A. Hendler,et al.  A Validation-Structure-Based Theory of Plan Modification and Reuse , 1992, Artif. Intell..

[34]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[35]  Bernhard Nebel,et al.  Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective , 1993, IJCAI.