SRI's Artificial Intelligence Center 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. Search  |  Contact  |  SRI Home
Space 1x1
 AIC Home   >   Background   >   Publications   >   Details
Space 1x1

Publication Details

QA4 Language Applied to Robot Planning

by Derksen, Jan, Rulifson, Johns F., and Waldinger, Richard J.

Technical Note 65
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Aug 1972.

Note: Paper accepted for presentation at the Fall Joint Computer Conference, Anaheim, California, December 5-7, 1972. SRI Project 8721. The research reported herein was sponsored by the National Aeronautics and Space Administration under Contract NASW-2086.

Order an AIC Technical Note

   Abstract

This paper introduces the first implemented version of the problem solving language QA4 and illustrates the application of this language to some simple robot planning problems. Features of the language include built-in backtracking, parallel processing, pattern matching, and set manipulation. Some of these features are described in detail by close examination of the working of one of the robot problems. The QA4 language is intended for use in research aimed at the automatic verification, modification, and synthesis of computer programs and for semantically oriented theorem proving, as well as for robot planning as described in this paper.

   Electronic Copies

Adobe PDF

BibTeX

EndNote

   AIC Personnel

Name Title E-mail
Derksen, Jan Alumnus
Rulifson, Johns F. Alumnus
Waldinger, Richard J Principal Scientist

Spacer 1x1
Spacer 1x1
 
SRI International

©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493
SRI International is a nonprofit corporation. Privacy policy