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

Preliminary Specification of the QA4 Language

by Rulifson, Johns F.

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

Note: SRI Project 8259. The research reported here was sponsored by the Advanced Research Projects Agency and the National Aeronautics and Space Administration under Contract NAS12-2221. This note originally appeared as Section V of "Research and Applications–Artificial Intelligence," Interim scientific Report, Contract NAS12-221.

Order an AIC Technical Note

Abstract

The long-term problem-solving effort of the Stanford Research Institute Artificial Intelligence project has been involved with the design and implementation of a general-purpose, formal problem-solving system. The current system, termed QA4, is based upon mechanized theorem proving in higher-order logic and emphasizes the role of semantic information and flexible control strategies. Two major applications of such a system are in the field of automatic program writing and in robot planning and problem solving.

Electronic Copies


Adobe PDF

BibTeX

EndNote

AIC Personnel

Name Title E-mail
Rulifson, Johns F. Alumnus

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