PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
Revised
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6171 |
| _version_ | 1811071690482909184 |
|---|---|
| author | Hewitt, Carl |
| author_facet | Hewitt, Carl |
| author_sort | Hewitt, Carl |
| collection | MIT |
| description | Revised |
| first_indexed | 2024-09-23T08:55:07Z |
| id | mit-1721.1/6171 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T08:55:07Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/61712019-04-10T19:42:06Z PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot Hewitt, Carl Revised 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. The language is being applied to solve problems faced by a robot and as a semantic base for English. 2004-10-04T14:44:07Z 2004-10-04T14:44:07Z 1970-08-01 AIM-168 http://hdl.handle.net/1721.1/6171 en_US AIM-168 81485104 bytes 5850343 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Hewitt, Carl PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot |
| title | PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot |
| title_full | PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot |
| title_fullStr | PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot |
| title_full_unstemmed | PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot |
| title_short | PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot |
| title_sort | planner a language for manipulating models and proving theorems in a robot |
| url | http://hdl.handle.net/1721.1/6171 |
| work_keys_str_mv | AT hewittcarl planneralanguageformanipulatingmodelsandprovingtheoremsinarobot |