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

Author: Claude Cordell Green

Publisher:

Published: 1970

Total Pages: 186

ISBN-13:

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 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).

Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving

Author: Chin-Liang Chang

Publisher: Academic Press

Published: 2014-06-28

Total Pages: 349

ISBN-13: 0080917283

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 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.

Computational Linguistics
Computational Linguistics

Author: Ralph Grishman

Publisher: Cambridge University Press

Published: 1986-11-06

Total Pages: 204

ISBN-13: 9780521310383

DOWNLOAD EBOOK

A highly respected introduction to the computer analysis of language. Copyright © Libri GmbH. All rights reserved.

Logic-Based Artificial Intelligence
Logic-Based Artificial Intelligence

Author: Jack Minker

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 600

ISBN-13: 146151567X

DOWNLOAD EBOOK

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.