An Application of Theorem-proving to a Question-answering System Based on the Resolution Method
Author: Fung-Huey Hong
Publisher:
Published: 1983
Total Pages: 226
ISBN-13:
DOWNLOAD EBOOKRead and Download eBook Full
Author: Fung-Huey Hong
Publisher:
Published: 1983
Total Pages: 226
ISBN-13:
DOWNLOAD EBOOKAuthor: Claude Cordell Green
Publisher:
Published: 1970
Total Pages: 186
ISBN-13:
DOWNLOAD EBOOKThe 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: Dissertations-G
Published: 1980
Total Pages: 192
ISBN-13:
DOWNLOAD EBOOKAuthor: Claude C. Green
Publisher:
Published: 1977
Total Pages: 324
ISBN-13:
DOWNLOAD EBOOKAuthor: SRI International
Publisher:
Published: 1968
Total Pages:
ISBN-13:
DOWNLOAD EBOOKAuthor: Cordell Green
Publisher:
Published: 1968
Total Pages: 39
ISBN-13:
DOWNLOAD EBOOKAuthor: Claude Cordell Green
Publisher:
Published: 1968
Total Pages:
ISBN-13:
DOWNLOAD EBOOKAuthor: Jorge Lobo
Publisher: MIT Press
Published: 1992
Total Pages: 344
ISBN-13: 9780262121651
DOWNLOAD EBOOKAuthor: Jack Minker
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 600
ISBN-13: 146151567X
DOWNLOAD EBOOKThe 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.
Author: Mark I. Halpern
Publisher: Elsevier
Published: 2014-05-17
Total Pages: 317
ISBN-13: 1483153282
DOWNLOAD EBOOKComputer Science and Technology and their Application is an eight-chapter book that first presents a tutorial on database organization. Subsequent chapters describe the general concepts of Simula 67 programming language; incremental compilation and conversational interpretation; dynamic syntax; the ALGOL 68. Other chapters discuss the general purpose conversational system for graphical programming and automatic theorem proving based on resolution. A survey of extensible programming language is also shown.