The Application of Theorem Proving to 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 Application of Theorem Proving to Question-answering Systems PDF full book. Access full book title The Application of Theorem Proving to Question-answering Systems by Claude Cordell Green. Download full books in PDF and EPUB format.
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: 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: 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: Jorge Lobo
Publisher: MIT Press
ISBN: 9780262121651
Category : Logic programming
Languages : en
Pages : 344
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: J. Siekmann
Publisher: Springer Science & Business Media
ISBN: 3642819559
Category : Computers
Languages : en
Pages : 641
Get Book Here
Book Description
"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 computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has corne to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Author: Earl B. Hunt
Publisher: Academic Press
ISBN: 1483263177
Category : Reference
Languages : en
Pages : 484
Get Book Here
Book Description
Artificial Intelligence provides information pertinent to the fundamental aspects of artificial intelligence. This book presents the basic mathematical and computational approaches to problems in the artificial intelligence field. Organized into four parts encompassing 16 chapters, this book begins with an overview of the various fields of artificial intelligence. This text then attempts to connect artificial intelligence problems to some of the notions of computability and abstract computing devices. Other chapters consider the general notion of computability, with focus on the interaction between computability theory and artificial intelligence. This book discusses as well the concepts of pattern recognition, problem solving, and machine comprehension. The final chapter deals with the study of machine comprehension and reviews the fundamental mathematical and computing techniques underlying artificial intelligence research. This book is a valuable resource for seniors and graduate students in any of the computer-related sciences, or in experimental psychology. Psychologists, general systems theorists, and scientists will also find this book useful.
Author: Gail W Pieper
Publisher: World Scientific
ISBN: 9814494534
Category : Computers
Languages : en
Pages : 1678
Get Book Here
Book Description
Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides a wealth of information for students, teachers, researchers, and even historians of computer science about this rapidly growing field.The book has the following special features:(1) It presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic;(2) It provides a history of the field — from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning;(3) It illustrates some of the remarkable successes automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design;(4) It includes a CD-ROM, with a searchable index of all the papers, enabling readers to peruse the papers easily for ideas.
Author: United States. National Aeronautics and Space Administration. Scientific and Technical Information Office
Publisher:
ISBN:
Category : Interstellar communication
Languages : en
Pages : 340
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Aerospace engineering
Languages : en
Pages : 340
Get Book Here
Book Description
