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

The Application of Theorem Proving to Question-Answering Systems

by Green, C.

Technical Note 8
Institution: AI Center, SRI International"
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Jun 1969.

Note: Project 7494. Stanford PhD Dissertation

Order an AIC Technical Note

Abstract

This paper shows how a question-answering system can use first-order logic as its language and an automatic theorem prover, based upon the resolution inference principle, as its deductive mechanism. The resolution proof procedure is extended to a constructive proof procedure. An answer construction algorithm is given whereby the system is able not only to produce yes or no answers but also to find or construct an object satisfying a specified condition. A working computer program, QA3, based on these ideas, is described. The performance of the program, illustrated by extended examples, compares favorably with several other question-answering programs. Methods are presented for solving state transformation problems. In addition to question answering, the program can do automatic programming (simple program writing, program verifying, and debugging), control and problem solving for a simple robot, pattern recognition (scene description), and puzzles.

Electronic Copies


Adobe PDF

BibTeX

EndNote

Associated Projects

Shakey II

Research on Intelligent Automata

A continuation of the original Shakey robot project, investigating AI problems involved in developing a robot.

AIC Personnel

Name Title E-mail
Green, Cordell Alumnus

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