The Application Of Theorem Proving To Question Answering Systems

Author : Claude Cordell Green
Publisher :
ISBN 13 :
Total Pages : 186 pages
Book Rating : 4.18/5 ( download)

DOWNLOAD NOW!

Download or read book The Application of Theorem Proving to Question-answering Systems written by Claude Cordell Green and published by . This book was released on 1970 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 13 :
Total Pages : 324 pages
Book Rating : 4.01/5 ( download)

DOWNLOAD NOW!

Download or read book ˜Theœ Application of Theorem Proving to Question-answering Systems written by Claude C. Green and published by . This book was released on 1977 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Author : Claude Cordell Green
Publisher : Dissertations-G
ISBN 13 :
Total Pages : 192 pages
Book Rating : 4.36/5 ( download)

DOWNLOAD NOW!

Download or read book The Application of Theorem Proving to Question-answering Systems written by Claude Cordell Green and published by Dissertations-G. This book was released on 1980 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Author : Chin-Liang Chang
Publisher : Academic Press
ISBN 13 : 0080917283
Total Pages : 331 pages
Book Rating : 4.83/5 ( download)

DOWNLOAD NOW!

Download or read book Symbolic Logic and Mechanical Theorem Proving written by Chin-Liang Chang and published by Academic Press. This book was released on 2014-06-28 with total page 331 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 13 : 3642819559
Total Pages : 641 pages
Book Rating : 4.51/5 ( download)

DOWNLOAD NOW!

Download or read book Automation of Reasoning written by J. Siekmann and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 641 pages. Available in PDF, EPUB and Kindle. Book excerpt: "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 : United States. National Aeronautics and Space Administration. Scientific and Technical Information Office
Publisher :
ISBN 13 :
Total Pages : 340 pages
Book Rating : 4.72/5 ( download)

DOWNLOAD NOW!

Download or read book A Forecast of Space Technology, 1980-2000 written by United States. National Aeronautics and Space Administration. Scientific and Technical Information Office and published by . This book was released on 1976 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Author :
Publisher :
ISBN 13 :
Total Pages : 340 pages
Book Rating : 4.99/5 ( download)

DOWNLOAD NOW!

Download or read book A Forecast of Space Technology, 1980-2000 written by and published by . This book was released on 1976 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Author :
Publisher : Academic Press
ISBN 13 : 9780080566474
Total Pages : 294 pages
Book Rating : 4.72/5 ( download)

DOWNLOAD NOW!

Download or read book Advances in Computers written by and published by Academic Press. This book was released on 1976-11-15 with total page 294 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advances in Computers

Author : Charles Rich
Publisher : Morgan Kaufmann
ISBN 13 : 1483214427
Total Pages : 624 pages
Book Rating : 4.29/5 ( download)

DOWNLOAD NOW!

Download or read book Readings in Artificial Intelligence and Software Engineering written by Charles Rich and published by Morgan Kaufmann. This book was released on 2014-06-28 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: Readings in Artificial Intelligence and Software Engineering covers the main techniques and application of artificial intelligence and software engineering. The ultimate goal of artificial intelligence applied to software engineering is automatic programming. Automatic programming would allow a user to simply say what is wanted and have a program produced completely automatically. This book is organized into 11 parts encompassing 34 chapters that specifically tackle the topics of deductive synthesis, program transformations, program verification, and programming tutors. The opening parts provide an introduction to the key ideas to the deductive approach, namely the correspondence between theorems and specifications and between constructive proofs and programs. These parts also describes automatic theorem provers whose development has be designed for the programming domain. The subsequent parts present generalized program transformation systems, the problems involved in using natural language input, the features of very high level languages, and the advantages of the programming by example system. Other parts explore the intelligent assistant approach and the significance and relation of programming knowledge in other programming system. The concluding parts focus on the features of the domain knowledge system and the artificial intelligence programming. Software engineers and designers and computer programmers, as well as researchers in the field of artificial intelligence will find this book invaluable.

Author : Lance J. Rips
Publisher : MIT Press
ISBN 13 : 0262517213
Total Pages : 465 pages
Book Rating : 4.18/5 ( download)

DOWNLOAD NOW!

Download or read book The Psychology of Proof written by Lance J. Rips and published by MIT Press. This book was released on 2003-01-01 with total page 465 pages. Available in PDF, EPUB and Kindle. Book excerpt: Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life. In this provocative book, Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life. Rips argues that certain inference principles are so central to our notion of intelligence and rationality that they deserve serious psychological investigation to determine their role in individuals' beliefs and conjectures. Asserting that cognitive scientists should consider deductive reasoning as a basis for thinking, Rips develops a theory of natural reasoning abilities and shows how it predicts mental successes and failures in a range of cognitive tasks. In parts I and II of the book, Rips builds insights from cognitive psychology, logic, and artificial intelligence into a unified theoretical structure. He defends the idea that deduction depends on the ability to construct mental proofs—actual memory units that link given information to conclusions it warrants. From this base Rips develops a computational model of deduction based on two cognitive skills: the ability to make suppositions or assumptions and the ability to posit sub-goals for conclusions. A wide variety of original experiments support this model, including studies of human subjects evaluating logical arguments as well as following and remembering proofs. Unlike previous theories of mental proof, this one handles names and variables in a general way. This capability enables deduction to play a crucial role in other thought processes, such as classifying and problem solving. In part III, Rips compares the theory to earlier approaches in psychology which confined the study of deduction to a small group of tasks, and examines whether the theory is too rational or too irrational in its mode of thought.