{"type":"ScholarlyArticle","title":"PLANNER: A Language for Proving Theorems in Robots","authors":[{"name":"Carl Hewitt","slug":"carl-hewitt","given":"Carl","family":"Hewitt","affiliation":"Project MAC - Massachusetts Institute of Technology Sununary"}],"abstract":"PLANNER is a language for proving theorems and manipulating models in a robot. The language is built out of a number of problem solving primitives together with a hierarchical control structure. Statements can be asserted and perhaps later withdrawn as the state of the world changes. Conclusions can be drawn from these various changes in state, Goals can be established and dismissed when they are satisfied. The deductive system of PLANNER is subordinate to the hierarchical control structure in order to make the language efficient. The use of a general purpose matching language makes the deductive system more powerful.","doi":null,"url":"https://ijcai.org/proceedings/1969/29","pdf":"https://ijcai.org/proceedings/1969/0029.pdf","markdown":"https://ijcai.org/proceedings/1969/29.md","bibtex":"https://ijcai.org/proceedings/1969/bibtex/29","volume":{"slug":"1969","title":"Proceedings of the First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1969","url":"https://ijcai.org/proceedings/1969/","year":1969,"location":"Washington, DC, USA","dates":"May 7-9, 1969","editors":"Donald E. Walker and David C. Cooper","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":29,"pages":{"first":295,"last":302},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Black, F. A Deductive Question Answering System, doctoral dissertation, Harvard.","title":"A Deductive Question Answering System","authors":"F Black","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Green, C. C. and Raphael, B. The Use of Theorem-proving Techniques in Question-answering Systems. Pro ceedings of 23rd National Conf. ACM.","title":"The Use of Theorem-proving Techniques in Question-answering Systems","authors":"C C Green, B Raphael","year":null,"venue":"Pro ceedings of 23rd National Conf","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Guzman, A. and Mcintosh, H. V., Convert, Communications of ACM, Aug. 1966.","title":"Convert","authors":"A Guzman, H V Mcintosh","year":"1966","venue":"Communications of ACM","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Hewitt, C., PLANNER: A Language for Proving Theorems, A. I. memo 137, July 1967.","title":"PLANNER: A Language for Proving Theorems","authors":"C Hewitt","year":"1967","venue":"A. I. memo","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"McCarthy, J.; Abrahams, P. W.; Edwards D. J.; Hart, T. P.; and Levin, Michael I. Lisp 1.5 Programmers Manual.","title":"Lisp 1.5 Programmers Manual","authors":"J Mccarthy, P W Abrahams, D J Edwards, T P Hart, Michael I Levin","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"McCarthy, J. and Hayes, P., Some Philosophical Problems from the Standpoint of Artificial Intelligence. Stanford A. I. Memo 73.","title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","authors":"J Mccarthy, P Hayes","year":null,"venue":"Stanford A. I. Memo","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Newell, A., Shaw, J. C., and Simon, H. A., 1959. Report on a General Problem-solving Program, Proceedings of the International Conference on Information Processing, Paris: UNESCO House.","title":"Report on a General Problem-solving Program","authors":"A Newell, J C Shaw, H A Simon","year":"1959","venue":"Proceedings of the International Conference on Information Processing","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Slagle, J. Experiments with a Deductive Ques- tion-answering Program, Communications of ACM December 1965.","title":"Experiments with a Deductive Question-answering Program","authors":"J Slagle","year":"1965","venue":"Communications of ACM","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}