back icon
close icon

Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

Journal Article  August 1, 1972

QA4 Language Applied to Robot Planning

SRI Authors Richard J. Waldinger


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.

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you. Expect a response within 48 hours.

Our Privacy Policy