The Use of Theorem-proving Techniques in Question-answering Systems

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

Download The Use of Theorem-proving Techniques in Question-answering Systems Book in PDF, Epub and Kindle

The Application of Theorem Proving to Question-answering Systems

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

Download The Application of Theorem Proving to Question-answering Systems Book in PDF, Epub and Kindle

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

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

Download The Application of Theorem Proving to Question-answering Systems Book in PDF, Epub and Kindle

Foundations of Disjunctive Logic Programming

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

Download Foundations of Disjunctive Logic Programming Book in PDF, Epub and Kindle

˜Theœ Application of Theorem Proving to Question-answering Systems

˜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

Download ˜Theœ Application of Theorem Proving to Question-answering Systems Book in PDF, Epub and Kindle

An Application of Theorem-proving to a Question-answering System Based on the Resolution Method

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

Download An Application of Theorem-proving to a Question-answering System Based on the Resolution Method Book in PDF, Epub and Kindle

Symbolic Logic and Mechanical Theorem Proving

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

Download Symbolic Logic and Mechanical Theorem Proving Book in PDF, Epub and Kindle

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.