The use of theorem-proving techniques in question-answering systems

For the purpose of this paper, a question-answering system is a computer program that has at least the following three characteristics: (1) The ability to accept statements of fact and store them in its memory (2) The ability to search stored information efficiently and to recognize items that are relevant to a particular query (3) The ability to respond appropriately to a question by identifying and presenting the answer if it is present in memory, and by deducing a reasonable logical response from relevant knowledge if the complete answer is not explictly available.

[1]  John McCarthy,et al.  Programs with common sense , 1960 .

[2]  B. Raphael SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL , 1964 .

[3]  L. Wos,et al.  The unit preference strategy in theorem proving , 1899, AFIPS '64 (Fall, part I).

[4]  R. Montague,et al.  Logic : Techniques of Formal Reasoning , 1964 .

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

[6]  T. Hart A Useful Algebraic Property of Robinson's Unification Algorithm , 1965 .

[7]  Robert F. Simmons,et al.  Answering English questions by computer: a survey , 1965, CACM.

[8]  James R. Slagle,et al.  Experiments with a deductive question-answering program , 1965, CACM.

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

[10]  Aspects and applications of symbol manipulation , 1966, CACM.

[11]  D. C. Cooper,et al.  THEOREM-PROVING IN COMPUTERS , 1966 .

[12]  James A. Craig,et al.  DEACON: direct English access and control , 1966, AFIPS '66 (Fall).

[13]  Robert F. Simmons,et al.  An approach toward answering English questions from text , 1966, AFIPS '66 (Fall).

[14]  Joseph Weizenbaum,et al.  ELIZA—a computer program for the study of natural language communication between man and machine , 1966, CACM.

[15]  Kenneth Mark Colby,et al.  Heuristic methods for computer understanding of natural language in context-restricted on-line dialogues , 1967 .

[16]  M. E. Maron,et al.  A computer system for inference execution and data retrieval , 1967, CACM.

[17]  Jane J. Robinson A review of automatic theorem-proving , 1967 .

[18]  James R. Slagle,et al.  Automatic Theorem Proving With Renamable and Semantic Resolution , 1967, JACM.

[19]  L. Coles An on-line question-answering systems with natural language and pictorial input , 1968, ACM National Conference.