CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

PDF papers
References
authors Hewitt, Carl
year 1971
title The Description and Theoretical Analysis (using schemas) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot
source Massachusetts Institute of Technology
summary 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.
series thesis:PhD
full text file.pdf (121,688 bytes)
references Content-type: text/plain
last changed 2003/02/12 21:37
pick and add to favorite papersHOMELOGIN (you are user _anon_156713 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002