[ CogSci Summaries home | UP | email ]

C. Hewitt, PLANNER: A Language for Proving Theorems in Robots. International Joint Conference on Artificial Intelligence, 1969.

Author of the summary: J. William Murdock, 1997, murdock@cc.gatech.edu

Cite this paper for:

Keywords: Theorem Proving, Representation, Pattern Matching,
Goal, Logic, Backtracking

Systems: PLANNER

Summary: Provides a language for theorem proving.  Nominally oriented
toward robotics, this paper doesn't seem to say much that is
particular to this field.  Talks about the relationship between
declarative and imperative information.  For example "(implies $_a
$_b)" is a logical assertion but also is associated with several
actions such as "If we want to deduce $$b, then establish a subgoal to
first deduce $$a."

Summary author's notes:

Back to the Cognitive Science Summaries homepage
Cognitive Science Summaries Webmaster:
JimDavies ( jim@jimdavies.org )
Last modified: Tue Mar 9 17:43:15 EST 1999