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 in BibTeX Format

@TECHREPORT{AICPub1428:1970, AUTHOR={Raphael, Bertram}, TITLE={Robot Problem Solving* Without State Variables}, ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={May}, NUMBER={30}, YEAR={1970}, KEYWORDS={Problem Solving, Theorem Proving}, 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). }, NOTE={*"Problem solving" in this Note refers only to the planning phase of robot activity.} }

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