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
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.
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.
|Rulifson, Johns F.||Alumnus|