Knowledge representing schemes for planning

An investigation of recent development of planning systems is performed, with emphasis on issues of knowledge representation, and the possible solutions for representing the effects of actions are pointed out.

[1]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[2]  Kurt Konolige,et al.  A Resolution Method for Quantified Modal Logics of Knowledge and Belief. , 1988 .

[3]  C. Hewitt.  PLANNER: A Language for Proving Theorems , 1967 .

[4]  Rob Kling.  Fuzzy Planner: Reasoning with Inexact Concepts in a Procedural Problem-Solving Language , 1973 .

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

[6]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

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

[8]  Drew McDermott,et al.  Generalizing Problem Reduction: A Logical Analysis , 1983, IJCAI.

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

[10]  Seung Soo Park.  On formalizing commonsense reasoning using the modal situation logic and reflective reasoning , 1988 .

[11]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[12]  Rudolf Carnap.  Modalities and Quantification , 1946, J. Symb. Log..

[13]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[14]  Edwin P. D. Pednault,et al.  Synthesizing plans that contain actions with context‐dependent effects 1 , 1988, Comput. Intell..

[15]  Richard C. T. Lee.  Fuzzy Logic and the Resolution Principle , 1971, JACM.

[16]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[17]  Rudolf Carnap,et al.  Meaning and Necessity , 1947 .

[18]  Henry A. Kautz,et al.  Reasoning about plans , 1991, Morgan Kaufmann series in representation and reasoning.

[19]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[20]  K. Konolige.  A deduction model of belief , 1986 .

[21]  Carl Hewitt,et al.  Procedural Embedding of knowledge in Planner , 1971, IJCAI.

[22]  Kurt Konolige,et al.  A Resolution Method for Quantified Modal Logics of Knowledge and Belief , 1986, TARK.