Knowledge-level analysis of planning systems

Planning is one of the most important and oldest fields of AI. However, there is no consensus on how to compare and classify planning systems and methods. Neither the traditional view of planning as search nor the formalization efforts have been able to provide a basis for a classification scheme.This article explores the idea that a perspective based on Newell's knowledge level can be useful for this task. We present a knowledge-level analysis of classical planning systems in terms of models of the problem-solving methods they used. Rather than reengineering these systems in detail, however, our goal is to show how this type of analysis can help define which roles knowledge may play in planning tasks, and how these roles can be used to compare planning methods in terms of (i) which types of knowledge are used, (ii) how they are structured in what we call domain models. As a tool to analyze and represent planning methods we use the KADS methodology.

[1]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[2]  Matthew L. Ginsberg,et al.  Possible Worlds Planning , 1987 .

[3]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[4]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[5]  B. Chandrasekaran.  Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks , 1987, IJCAI.

[6]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[7]  Edward H. Shortliffe,et al.  ONCOCIN: An Expert System for Oncology Protocol Management , 1981, IJCAI.

[8]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[9]  Bob J. Wielinga,et al.  Integrating Qualitative Reasoning Approaches , 1988, ECAI.

[10]  Robert Wilensky,et al.  A model for planning in complex situations , 1981 .

[11]  Austin Tate,et al.  Representing Plans as a Set of Constraints - the Model , 1996, AIPS.

[12]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[13]  James A. Hendler,et al.  A Review of AI Planning Techniques , 1990 .

[14]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

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

[16]  Brian Drabble,et al.  EXCALIBUR: A Program for Planning and Reasoning with Processes , 1993, Artif. Intell..

[17]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[18]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[19]  Austin Tate,et al.  INTERPLAN: a Plan Generation System Which Can Deal With Interactions Between Goals , 1974 .

[20]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[21]  David P. Miller,et al.  Hierarchical planning involving deadlines, travel time, and resources , 1988, Comput. Intell..

[22]  Subbarao Kambhampati,et al.  A comparative analysis of partial order planning and task reduction planning , 1995, SGAR.

[23]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[24]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[25]  David Warren,et al.  Warplan: a system for generating plans , 1974 .

[26]  M. W. Wheeler,et al.  Automatic knowledge acquisition for expert systems , 1990, Proceedings of the 1990 Symposium on Applied Computing.

[27]  Patrick J. Hayes,et al.  A Representation For Robot Plans , 1975, IJCAI.

[28]  Manfred Aben,et al.  Formally specifying reusable knowledge model components , 1993 .

[29]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[30]  Mark A. Musen.  Automated generation of model-based knowledge acquisition tools , 1989 .

[31]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[32]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[33]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[34]  Van de velde Breuker.  Common KADS Library for Expertise Modelling , 1994 .

[35]  Stephen F. Smith,et al.  ISIS—a knowledge‐based system for factory scheduling , 1984 .