An Application of Theorem-proving to a Question-answering System Based on the Resolution Method
Title | An Application of Theorem-proving to a Question-answering System Based on the Resolution Method PDF eBook |
Author | Fung-Huey Hong |
Publisher | |
Pages | 226 |
Release | 1983 |
Genre | |
ISBN |
The Application of Theorem Proving to Question-answering Systems
Title | The Application of Theorem Proving to Question-answering Systems PDF eBook |
Author | Claude Cordell Green |
Publisher | |
Pages | 186 |
Release | 1970 |
Genre | Algorithms |
ISBN |
The 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. Methods are presented for solving state transformation problems. In addition to question-answering, the program can do automatic programming, control and problem solving for a simple robot, pattern recognition, and puzzles. (Author).
The Application of Theorem Proving to Question-answering Systems
Title | The Application of Theorem Proving to Question-answering Systems PDF eBook |
Author | Claude Cordell Green |
Publisher | Dissertations-G |
Pages | 192 |
Release | 1980 |
Genre | Computers |
ISBN |
˜Theœ Application of Theorem Proving to Question-answering Systems
Title | ˜Theœ Application of Theorem Proving to Question-answering Systems PDF eBook |
Author | Claude C. Green |
Publisher | |
Pages | 324 |
Release | 1977 |
Genre | |
ISBN |
Theorem Proving by Resolution as a Basis for Question Answering Systems
Title | Theorem Proving by Resolution as a Basis for Question Answering Systems PDF eBook |
Author | SRI International |
Publisher | |
Pages | |
Release | 1968 |
Genre | |
ISBN |
Theorem Proving by Resolution as a Basic for Question- Answering Systems
Title | Theorem Proving by Resolution as a Basic for Question- Answering Systems PDF eBook |
Author | Cordell Green |
Publisher | |
Pages | 39 |
Release | 1968 |
Genre | |
ISBN |
The Use of Theorem-proving Techniques in Question-answering Systems
Title | The Use of Theorem-proving Techniques in Question-answering Systems PDF eBook |
Author | Claude Cordell Green |
Publisher | |
Pages | |
Release | 1968 |
Genre | |
ISBN |