The Use of Theorem-proving Techniques in Question-answering Systems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download The Use of Theorem-proving Techniques in Question-answering Systems PDF full book. Access full book title The Use of Theorem-proving Techniques in Question-answering Systems by Claude Cordell Green. Download full books in PDF and EPUB format.
Author: Claude Cordell Green
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Claude Cordell Green
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Claude Cordell Green
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 186
Get Book Here
Book Description
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).
Author: Jorge Lobo
Publisher: MIT Press
ISBN: 9780262121651
Category : Logic programming
Languages : en
Pages : 344
Get Book Here
Book Description
Author: Claude C. Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 324
Get Book Here
Book Description
Author: Claude Cordell Green
Publisher: Dissertations-G
ISBN:
Category : Computers
Languages : en
Pages : 192
Get Book Here
Book Description
Author: Fung-Huey Hong
Publisher:
ISBN:
Category :
Languages : en
Pages : 226
Get Book Here
Book Description
Author: Chin-Liang Chang
Publisher: Academic Press
ISBN: 0080917283
Category : Mathematics
Languages : en
Pages : 349
Get Book Here
Book Description
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.
Author: SRI International
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Cordell Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 39
Get Book Here
Book Description
Author: Murray E. Jennex
Publisher: IGI Global
ISBN: 1599049341
Category : Business & Economics
Languages : en
Pages : 3442
Get Book Here
Book Description
Provides comprehensive, in-depth coverage of all issues related to knowledge management, including conceptual, methodological, technical, and managerial issues. Presents the opportunities, future challenges, and emerging trends related to this subject.
