Theorem Proving by Resolution as a Basic for 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 Theorem Proving by Resolution as a Basic for Question- Answering Systems PDF full book. Access full book title Theorem Proving by Resolution as a Basic for Question- Answering Systems by Cordell Green. Download full books in PDF and EPUB format.
Author: Cordell Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 39
Get Book Here
Book Description
Author: Cordell Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 39
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: SRI International
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Fung-Huey Hong
Publisher:
ISBN:
Category :
Languages : en
Pages : 226
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: Claude C. Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 324
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: D.W. Loveland
Publisher: Elsevier
ISBN: 1483296776
Category : Computers
Languages : en
Pages : 419
Get Book Here
Book Description
Automated Theorem Proving: A Logical Basis
Author: Ralph Grishman
Publisher: Cambridge University Press
ISBN: 9780521310383
Category : Computers
Languages : en
Pages : 204
Get Book Here
Book Description
A highly respected introduction to the computer analysis of language. Copyright © Libri GmbH. All rights reserved.
Author: Jack Minker
Publisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600
Get Book Here
Book Description
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.
