Knowledge representing schemes for planning

ABSTRACT

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.

REFERENCES

• 1: Brown, F.M., The Modal Quantificational Logic Z: A Monotonic Theory of Nonmonotonic Reasoning, A1 Lab, Department of Computer Science, The University of Kansas, Lawrence, 1989.
• 2: Brown, P.M., Park, S.S., "Action, Reflective Possibility, and the Frame Preblem," in: Proceedings of Workshop on Logical Solutions of the Frame Problem, CA: Morgan Kaufmann, 1987.
• 3: Carnap, R., "Modalities and Quantification," in The Journal of Symbolic Logic, Vol. Ii, No. 2 , 1946.
• 4: Carnap, R., Meaning and Necessity, The University of Chicago Press, 1956.
• 5: David Chapman, Planning for conjunctive goals, Artificial Intelligence, v.32 n.3, p.333-377, July 1987 [doi>10.1016/0004-3702(87)90092-0]
• 6: Fikes R.E., and Nilsson, N.J., "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving," in: Artificial Intelligence 2, 1971.
• 7: Fikes, R. , Hart, P., and Nilsson, N. , "Learning and Executing eeneralized Robot Plans, Readings in Artificial Intelligence, Nilsson and Webber, ed. , Tioga Publishing, Palo Alto, CA, 1981. pp. 231-249.
• 8: C Geissler , K Konolige, A resolution method for quantified modal logics of knowledge and belief, Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge, p.309-324, March 1986, Monterey, California, United States
• 9: Robert Goldblatt, Logics of time and computation, Center for the Study of Language and Information, Stanford, CA, 1987
• 10: Green,C., "Theorem-Proving by Resolution as a Basis for Question-Answering Systems, " in Meltzer, B., and Michie, D., (eds.), Machine Intelligence 4. Edingburgh, UK: Edinburgh University Press, 1969, pp. 183-205.
• 11: Harel, D., Kozen, D., and Parlkh, R., "Process I.e-.It: Expressiveness, Decidability, Completeness," JCSS 25(2), 0ct.,1982, 145 -180.
• 12: Hewitt, C., "PLANNER: A Language for Proving Theorems in Robots, ~ Proceedings of First IJCAI, CA: Morgan Kaufmann, 1969, pp.295-301.
• 13: Hewitt, C., "Procedural embedding of Knowledge in PLANNER," in Proc. 2rid IJCAI, 1971, pp. 167-184.
• 14: Kahaner, D. , "JAPANESE ADVANCES IN FUZZY THEORY AND APPLICATIONS" in "Re: Fuzzy Logic (George Klir report) , 12 Apr., 1991, accessed via ftp at cs.arlzona.edu.
• 15: Kling R. , Fuzzy-PLANNER : "Reasoning with Inexact Concepts in a Procedural Problem- Solving Language," in Journal of Cybernetics, Vol. 4, No. 2, 1974, pp. 105-122.
• 16: Kurt George Konolige, A deduction model of belief and its logics, 1984
• 17: Kripke, 5. , "Semantical Analysis of Modal Logic," in Linsky, L. (ed.), Reference and Modality. London, UK: Oxford University Press, 1971, pp. 63-72.
• 18: Richard C. T. Lee, Fuzzy Logic and the Resolution Principle, Journal of the ACM (JACM), v.19 n.1, p.109-119, Jan. 1972 [doi>10.1145/321679.321688]
• 19: Liaw, W.B., "Iowards Commonsense Planning", in Proceedings of ACM, 1990.
• 20: Lifschitz, V., "On the Semantics of STRIPS," in Georgeff, M., and Lansky, A. (eds.), Reasoning About Actions and Plans. Los Altos, CA: Morgan Kaufmann, 1987.
• 21: McCarthy, .M., and Hayes, P.3., "Some Philosophical Problems From the Standpoint of Artificial Intelligence," in Readings in AI, CA: Tioga, 1981, pp. 431-450.
• 22: McCarthy, j., "Programs with CoReon Sense, Proceedings of the Symposium on the Mechanization of Thought Frocesse~. Nationsl Physiology Laboratory, 1958.
• 23: McDermott, D., "Generalizing Problem Reduction: A Logical Analysis, IJCAI-83, 302 -308.
• 24: McDermott, D., "Reasoning about Plans, in Hobbs, J.R., and Moore, R.C. (eds.), Formal Theories of the Commonsense World, Ablex, Norwood, N J, 1984.
• 25: Seung Soo Park, On formalizing commonsense reasoning using the modal situation logic and reflective reasoning, University of Texas at Austin, Austin, TX, 1988
• 26: Pednault E.P.D. , "Synthesizing plans that contain actions with context-dependent effects," in Comput. Inte11., Vol. 4, 1968, pp. 356-372.
• 27: Pratt, V.R., "Semantical Considerations on Floyd -Ho are Logic." in Proceedings of the 7~ FOCS, IEEE, 0ct.1976, pp.109-121.
• 28: Stefik, M., Planning and Metaplannin~, Readings in AI, Nilsson and Webber, (eds.), CA: Tioga Publishing, 1981, pp. 272-286.
• 29: Tare, A., "Generateng Project Networks," Proceedings 13CA1-77, Cambridge Massachusetts, 1977, pp. 883-893.
• 30: Sacerdoti, E. , A Structure for Plans and Behavior, Elsevier, North-Holland, New York, 1975.
• 31: Stefik, M. , "Planning with Constraints", Report STAN-CS-80-784, Computer Science Dept., Stanford University, 1980.
• 32: Waldinger, R., "Achieving Several Goals Simultaneously, " in Machine Intelligence 8, Elcock,E., and Michie,D.(eds.), Ellis Horwood, Edinburgh, Scotland, 1977, pp.94-136.
• 33: Wilkins, D.E. , Practical Planning, Morgan Kaufmann, 1988.
• 34: Zadeh, L. A., "Fuzzy sets." Information an~ Control, 8, No. 3, 1965, pp. 338-353.
• 35: Zadeh, L. A., "Probability measures of fuzey events." J. Math. Analysis and Applications, 23, 1968, pp. 421-427.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Plan execution, formation, and generation

General Terms:
Theory