Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication Details

Robot Problem Solving* Without State Variables

by Raphael, Bertram

Technical Note 30
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
May 1970.

Note: *"Problem solving" in this Note refers only to the planning phase of robot activity.

Order an AIC Technical Note

Abstract

In the original robot problem-solving system based upon an idea presented by Green, situations were described by axioms of first-order logic that explicitly included terms representing states. Theorem proving by resolution was then used to prove, constructively, the existence of a state having the properties of a desired goal. The major disadvantages of that approach were (1) All unchanged and irrelevant properties of the world must be re-established after every state transition; (2) The efficiency of the system is very sensitive to the choice of domains and predicates used in the logical encoding, so that sometimes the most "natural" representations do not lead to practical task descriptions. Waldinger has proposed a scheme for getting around these problems by extending the logic to handle sets and tuples (still keeping an explicit state variable around).

Electronic Copies


Adobe PDF

BibTeX

EndNote

AIC Personnel

Name Title E-mail
Raphael, Bertram Alumnus

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy