The Use of Semantic Information in Deductive Question-answering Systems
Author : James Robb McSkimin
Publisher :
Page : 642 pages
File Size : 35,72 MB
Release : 1976
Category : Database management
ISBN :
Author : James Robb McSkimin
Publisher :
Page : 642 pages
File Size : 35,72 MB
Release : 1976
Category : Database management
ISBN :
Author : James R. McSkimin
Publisher :
Page : 36 pages
File Size : 43,39 MB
Release : 1977
Category :
ISBN :
Author : Robert M. Schwarcz
Publisher :
Page : 53 pages
File Size : 39,81 MB
Release : 1968
Category :
ISBN :
The paper describes and exemplifies in detail the question-answering aspects of the Protosynthex III prototype language processing system, which is written in LISP 1.5 and operates on the Q-32 time-sharing system. The system's data structures and their semantic organization, the deductive question-answering formalism of relational properties and complex-relation-forming operators, and the question-answering procedures which employ these features in their operation are all described and illustrated. Examples of the system's performance and of the limitations of its question-answering capability are presented and discussed. It is shown that the use of semantic information in deductive question answering greatly facilitates the process, and that a top-down procedure which works from question to answer enables effective use to be made of this information. It is concluded that the development of Protosynthex III into a practically useful system to work with large data bases is possible but will require changes in both the data structures and the algorithms used for question answering. (Author).
Author : Hervé Gallaire
Publisher : Springer Science & Business Media
Page : 454 pages
File Size : 21,91 MB
Release : 2012-12-06
Category : Computers
ISBN : 1468433849
Author :
Publisher :
Page : 388 pages
File Size : 41,66 MB
Release : 1969
Category : Aeronautics
ISBN :
Author : Defense Documentation Center (U.S.)
Publisher :
Page : 294 pages
File Size : 28,25 MB
Release : 1973
Category : Programming languages (Electronic computers)
ISBN :
Author : Chin-Liang Chang
Publisher : Academic Press
Page : 349 pages
File Size : 44,57 MB
Release : 2014-06-28
Category : Mathematics
ISBN : 0080917283
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 : Herve Gallaire
Publisher :
Page : 468 pages
File Size : 34,6 MB
Release : 2014-09-01
Category :
ISBN : 9781468433852
Author : Hervé Gallaire
Publisher : Springer Science & Business Media
Page : 426 pages
File Size : 45,69 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461582970
This is the third book devoted to theoretical issues in data bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book "Logic and Databases" should be considered Volume 0 of this series.
Author : Leonard Bolc
Publisher :
Page : 326 pages
File Size : 43,57 MB
Release : 1980
Category : Computational linguistics
ISBN :