
Accession Number : AD0696394
Title : THE APPLICATION OF THEOREM PROVING TO QUESTIONANSWERING SYSTEMS.
Descriptive Note : Doctoral thesis,
Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE
Personal Author(s) : Green,Claude Cordell
Report Date : JUN 1969
Pagination or Media Count : 170
Abstract : The paper shows how a questionanswering system can use firstorder 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. Methods are presented for solving state transformation problems. In addition to questionanswering, the program can do automatic programming, control and problem solving for a simple robot, pattern recognition, and puzzles. (Author)
Descriptors : (*ARTIFICIAL INTELLIGENCE, INFORMATION RETRIEVAL), (*LEARNING MACHINES, PROBLEM SOLVING), COMPUTER PROGRAMMING, AUTOMATA, MEMORY DEVICES, COMPUTER LOGIC, PATTERN RECOGNITION, ALGORITHMS, THESES
Subject Categories : Computer Programming and Software
Computer Hardware
Bionics
Distribution Statement : APPROVED FOR PUBLIC RELEASE