A deductive question-answerer for natural language inference

The question-answering aspects of the Protosynthex III prototype language processing system are described and exemplified in detail. The system 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.

[1]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[2]  J. Katz,et al.  An integrated theory of linguistic descriptions , 1964 .

[3]  Daniel G. Bobrow,et al.  A question-answering system for high school algebra word problems , 1899, AFIPS '64 (Fall, part I).

[4]  Robert F. Simmons,et al.  Indexing and dependency logic for answering english questions , 1964 .

[5]  Bertram Raphael,et al.  A computer program which "understands" , 1964, AFIPS '64 (Fall, part I).

[6]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[7]  M. E. Maron,et al.  RELATIONAL DATA FILE: A TOOL FOR MECHANIZED INFERENCE EXECUTION AND DATA RETRIEVAL , 1965 .

[8]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[9]  Jared L. Darlington,et al.  Machine methods of proving logical arguments expressed in English , 1965, Mech. Transl. Comput. Linguistics.

[10]  Sheldon Klein,et al.  DISEMINER : a distributional-semantics inference maker , 1966 .

[11]  W. Teitelman.  PILOT: A STEP TOWARDS MAN-COMPUTER SYMBIOSIS , 1966 .

[12]  Dave L. Londe,et al.  AN ANALYSIS OF ENGLISH DISCOURSE STRUCTURE, WITH PARTICULAR ATTENTION TO ANAPHORIC RELATIONSHIPS. , 1967 .

[13]  Bertram Raphael,et al.  RESEARCH ON INTELLIGENT QUESTION-ANSWERING SYSTEMS , 1967 .

[14]  Peter S. Rosenbaum.  A grammar base question-answering procedure , 1967, CACM.

[15]  James R. Slagle,et al.  Experiments With a Multipurpose, Theorem-Proving Heuristic Program , 1968, JACM.

[16]  Robert F. Simmons,et al.  A computational model of verbal understanding , 1899, AFIPS '68 (Fall, part I).

[17]  L. Stephen Coles,et al.  Talking with a Robot in English , 1969, IJCAI.

[18]  Robert M. Schwarcz.  Towards a Computational Formalization of Natural Language Semantics , 1969, COLING.