×

STRIPS: A new approach to the application of theorem proving to problem solving. (English) Zbl 0234.68036


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Nilsson, N. J., Problem-Solving Methods in Artificial Intelligence (1971), McGraw-Hill Book Company: McGraw-Hill Book Company New York
[2] Munson, J. H., Robot planning, execution, and monitoring in an uncertain environment, (Proc. 2nd Int’l. Joint Conf. Artificial Intelligence. Proc. 2nd Int’l. Joint Conf. Artificial Intelligence, London, England (September 13, 1971))
[3] Fikes, R. E., Monitored execution of robot plans produced by STRIPS, (Proc. IFIP 71. Proc. IFIP 71, Ljubljana, Yugoslavia (August 1971))
[4] Green, C., Application of theorem proving to problem solving, (Proc. Int’l. Joint Conf. Artificial Intelligence. Proc. Int’l. Joint Conf. Artificial Intelligence, Washington, D.C. (May 1969))
[5] Raphael, B., The frame problem in problem-solving systems, (Proc. Adv. Study Inst. on Artificial Intelligence and Heuristic Programming. Proc. Adv. Study Inst. on Artificial Intelligence and Heuristic Programming, Menagio, Italy (August 1970))
[6] Ernst, G.; Newell, A., GPS: A Case Study in Generality and Problem Solving, (ACM Monograph Series (1969), Academic Press: Academic Press New York, New York) · Zbl 0187.13302
[7] Garvey, T.; Kling, R., User’s guide to QA3.5 Question-Answering System, Stanford Research Institute Artifical Intelligence Group Technical Note 15 (December 1969), Menlo Park, California
[8] Waldinger, R.; Lee, R., PROW: A step toward automatic program writing, (Proc. Int’l. Conf. Artificial Intelligence. Proc. Int’l. Conf. Artificial Intelligence, Washington, D.C. (May 1969))
[9] Manna, Z.; Waldinger, R., Towards automatic program synthesis, Comm. ACM., 14, No. 3 (March 1971) · Zbl 0214.43006
[10] Hart, P. E.; Nilsson, N. J., The constitution of generalized plans as an approach toward learning, (Stanford Reseach Institute Artificial Intelligence Group Memo (5 April 1971), Project MAC, Massachusetts Institute of Technology: Project MAC, Massachusetts Institute of Technology Menlo Park, California)
[11] Hewitt, C., PLANNER: A language for Manipulating models and proving theorems in a robot, (Artificial Intelligence Memo No. 168 (August 1970), Project MAC, Massachusetts Institute of Technology: Project MAC, Massachusetts Institute of Technology Cambridge, Massachusetts), (Revised)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.