{"type":"ScholarlyArticle","title":"An Efficient Robot Planner which Generates Its Own Procedures","authors":[{"name":"Laurent Siklóssy","slug":"laurent-siklossy","given":"Laurent","family":"Siklóssy","affiliation":""},{"name":"J. Dreussi","slug":"j-dreussi","given":"J.","family":"Dreussi","affiliation":""}],"abstract":"LAWALY is a LISP program which solves robot planning problems. Given an axiomatic description of its capabilities in some world, she generates her own procedures to embody these capabilities. She executes these procedures to solve specific tasks in the world. Hierarchies of subtasks guide the search for a solution. In sufficiently large worlds, LAWALY has routinely solved tasks requiring several hundred steps without needing to learn from previous tasks. The times to solution grow usually about linearly with the number of steps in the solution. LAWALY is extensively compared to another robot planner based on a theorem prover. Ke y words follow references.","doi":null,"url":"https://ijcai.org/proceedings/1973/54","pdf":"https://ijcai.org/proceedings/1973/0054.pdf","markdown":"https://ijcai.org/proceedings/1973/54.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/54","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Robot Problem Solving","track":"Robot Problem Solving","number":54,"pages":{"first":423,"last":429},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}