Author: Cordell Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 39
Book Description
Theorem Proving by Resolution as a Basic for Question- Answering Systems
Author: Cordell Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 39
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 39
Book Description
The Application of Theorem Proving to Question-answering Systems
Author: Claude Cordell Green
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 186
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).
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 186
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).
Theorem Proving by Resolution as a Basis for Question Answering Systems
Author: SRI International
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
An Application of Theorem-proving to a Question-answering System Based on the Resolution Method
Author: Fung-Huey Hong
Publisher:
ISBN:
Category :
Languages : en
Pages : 226
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 226
Book Description
The Application of Theorem Proving to Question-answering Systems
Author: Claude Cordell Green
Publisher: Dissertations-G
ISBN:
Category : Computers
Languages : en
Pages : 192
Book Description
Publisher: Dissertations-G
ISBN:
Category : Computers
Languages : en
Pages : 192
Book Description
˜Theœ Application of Theorem Proving to Question-answering Systems
Author: Claude C. Green
Publisher:
ISBN:
Category :
Languages : en
Pages : 324
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 324
Book Description
Symbolic Logic and Mechanical Theorem Proving
Author: Chin-Liang Chang
Publisher: Academic Press
ISBN: 0080917283
Category : Mathematics
Languages : en
Pages : 349
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.
Publisher: Academic Press
ISBN: 0080917283
Category : Mathematics
Languages : en
Pages : 349
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.
Automated Theorem Proving: A Logical Basis
Author: D.W. Loveland
Publisher: Elsevier
ISBN: 1483296776
Category : Computers
Languages : en
Pages : 419
Book Description
Automated Theorem Proving: A Logical Basis
Publisher: Elsevier
ISBN: 1483296776
Category : Computers
Languages : en
Pages : 419
Book Description
Automated Theorem Proving: A Logical Basis
Computational Linguistics
Author: Ralph Grishman
Publisher: Cambridge University Press
ISBN: 9780521310383
Category : Computers
Languages : en
Pages : 204
Book Description
A highly respected introduction to the computer analysis of language. Copyright © Libri GmbH. All rights reserved.
Publisher: Cambridge University Press
ISBN: 9780521310383
Category : Computers
Languages : en
Pages : 204
Book Description
A highly respected introduction to the computer analysis of language. Copyright © Libri GmbH. All rights reserved.
Logic-Based Artificial Intelligence
Author: Jack Minker
Publisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600
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.
Publisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600
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.