The Application Of Theorem Proving To Question Answering Systems

Author : Claude Cordell Green
Publisher : Unknown
Page : 186 pages
File Size : 46,9 Mb
Release : 1970
Category : Algorithms
ISBN : UCSD:31822014335418

Get Book

The Application of Theorem Proving to Question-answering Systems by Claude Cordell Green Pdf

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 : Unknown
Page : 324 pages
File Size : 45,8 Mb
Release : 1977
Category : Electronic
ISBN : OCLC:1072679001

Get Book

˜Theœ Application of Theorem Proving to Question-answering Systems by Claude C. Green Pdf

Author : Claude Cordell Green
Publisher : Dissertations-G
Page : 192 pages
File Size : 50,9 Mb
Release : 1980
Category : Computers
ISBN : STANFORD:36105031586436

Get Book

The Application of Theorem Proving to Question-answering Systems by Claude Cordell Green Pdf

Author : Chin-Liang Chang,Richard Char-Tung Lee
Publisher : Academic Press
Page : 349 pages
File Size : 42,9 Mb
Release : 2014-06-28
Category : Mathematics
ISBN : 9780080917283

Get Book

Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang,Richard Char-Tung Lee Pdf

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,G. Wrightson
Publisher : Springer Science & Business Media
Page : 641 pages
File Size : 41,5 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9783642819551

Get Book

Automation of Reasoning by J. Siekmann,G. Wrightson Pdf

"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 : Unknown
Page : 340 pages
File Size : 42,7 Mb
Release : 1976
Category : Interstellar communication
ISBN : UIUC:30112008647072

Get Book

A Forecast of Space Technology, 1980-2000 by United States. National Aeronautics and Space Administration. Scientific and Technical Information Office Pdf

Author : Anonim
Publisher : Unknown
Page : 340 pages
File Size : 40,8 Mb
Release : 1976
Category : Aerospace engineering
ISBN : STANFORD:36105024707999

Get Book

A Forecast of Space Technology, 1980-2000 by Anonim Pdf

Author : Anonim
Publisher : Academic Press
Page : 294 pages
File Size : 40,9 Mb
Release : 1976-11-15
Category : Computers
ISBN : 0080566472

Get Book

Advances in Computers by Anonim Pdf

Advances in Computers

Author : Charles Rich,Richard C. Waters
Publisher : Morgan Kaufmann
Page : 625 pages
File Size : 45,8 Mb
Release : 2014-06-28
Category : Computers
ISBN : 9781483214429

Get Book

Readings in Artificial Intelligence and Software Engineering by Charles Rich,Richard C. Waters Pdf

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 : D.W. Loveland
Publisher : Elsevier
Page : 419 pages
File Size : 55,6 Mb
Release : 2016-08-19
Category : Computers
ISBN : 9781483296777

Get Book

Automated Theorem Proving: A Logical Basis by D.W. Loveland Pdf

Automated Theorem Proving: A Logical Basis

Author : Lance J. Rips
Publisher : MIT Press
Page : 465 pages
File Size : 55,9 Mb
Release : 2003-01-01
Category : Psychology
ISBN : 9780262517218

Get Book

The Psychology of Proof by Lance J. Rips Pdf

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.

Author : NASA Study Group on Machine Intelligence and Robotics
Publisher : Unknown
Page : 274 pages
File Size : 45,7 Mb
Release : 1980
Category : Artificial intelligence
ISBN : UCR:31210024943456

Get Book

Machine Intelligence and Robotics by NASA Study Group on Machine Intelligence and Robotics Pdf

Author : W. W. Bledsoe,American Mathematical Society. Meeting
Publisher : American Mathematical Soc.
Page : 360 pages
File Size : 44,8 Mb
Release : 1984
Category : Mathematics
ISBN : 9780821850275

Get Book

Automated Theorem Proving: After 25 Years by W. W. Bledsoe,American Mathematical Society. Meeting Pdf

Author : M.L. Brodie,J. Mylopoulos,J.W. Schmidt
Publisher : Springer Science & Business Media
Page : 508 pages
File Size : 41,9 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781461251965

Get Book

On Conceptual Modelling by M.L. Brodie,J. Mylopoulos,J.W. Schmidt Pdf

The growing demand for systems of ever-increasing complexity and precision has stimulated the need for higher level concepts, tools, and techniques in every area of Computer Science. Some of these areas, in particular Artificial Intelligence, Databases, and Programming Lan guages, are attempting to meet this demand by defining a new, more abstract level of system description. We call this new level conceptual in recognition of its basic conceptual nature. In Artificial Intelligence, the problem of designing an expert system is seen primarily as a problem of building a knowledge base that repre sents knowledge about an enterprise. Consequently, Knowledge Repre sentation is viewed as a central issue in Artificial Intelligence research. Database design methodologies developed during the last five years are almost unanimous in offering semantic data models in terms of which the designer directly and naturally models an enterprise before proceed ing to a detailed logical and physical database design. In Programming Languages, different forms of abstraction which allow implementation independent specifications of data, functions, and control have been a major research theme for a decade. To emphasize the common goals of these three research efforts, we call this new activity conceptual modelling.

Author : Ijcai
Publisher : Elsevier
Page : 1196 pages
File Size : 41,5 Mb
Release : 1979
Category : Computers
ISBN : 0934613478

Get Book

IJCAI Proceedings 1979 by Ijcai Pdf