The Application of Theorem Proving to Question-answering Systems

The Application of Theorem Proving to Question-answering Systems
Author :
Publisher :
Total Pages : 186
Release :
ISBN-10 : UCSD:31822014335418
ISBN-13 :
Rating : 4/5 (18 Downloads)

Book Synopsis The Application of Theorem Proving to Question-answering Systems by : Claude Cordell Green

Download or read book The Application of Theorem Proving to Question-answering Systems written by Claude Cordell Green and published by . This book was released on 1970 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Foundations of Disjunctive Logic Programming
Language: en
Pages: 344
Authors: Jorge Lobo
Categories: Logic programming
Type: BOOK - Published: 1992 - Publisher: MIT Press

DOWNLOAD EBOOK

The Application of Theorem Proving to Question-answering Systems
Language: en
Pages: 186
Authors: Claude Cordell Green
Categories: Algorithms
Type: BOOK - Published: 1970 - Publisher:

DOWNLOAD EBOOK

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 p
The Application of Theorem Proving to Question-answering Systems
Language: en
Pages: 192
Authors: Claude Cordell Green
Categories: Computers
Type: BOOK - Published: 1980 - Publisher: Dissertations-G

DOWNLOAD EBOOK

Symbolic Logic and Mechanical Theorem Proving
Language: en
Pages: 349
Authors: Chin-Liang Chang
Categories: Mathematics
Type: BOOK - Published: 2014-06-28 - Publisher: Academic Press

DOWNLOAD EBOOK

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three ma
Automation of Reasoning
Language: en
Pages: 641
Authors: J. Siekmann
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first compute