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 |
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 |
Foundations of Disjunctive Logic Programming
Title | Foundations of Disjunctive Logic Programming PDF eBook |
Author | Jorge Lobo |
Publisher | MIT Press |
Pages | 344 |
Release | 1992 |
Genre | Logic programming |
ISBN | 9780262121651 |
˜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 |
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 |
Symbolic Logic and Mechanical Theorem Proving
Title | Symbolic Logic and Mechanical Theorem Proving PDF eBook |
Author | Chin-Liang Chang |
Publisher | Academic Press |
Pages | 349 |
Release | 2014-06-28 |
Genre | Mathematics |
ISBN | 0080917283 |
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.