Theorem-Proving by Resolution as a Basis for Question-Answering Systems

Abstract

This paper shows how a question-answering system can be constructed using first-order logic as its language and a resolution-type theorem-prover as its deductive mechanism. A working computer program, qa3, based on these ideas is described. The performance of the program compares favorably with several other general question-answering systems. 1. QUESTION… (More)

Topics

1 Figure or Table

Cite this paper

@inproceedings{Green1969TheoremProvingBR, title={Theorem-Proving by Resolution as a Basis for Question-Answering Systems}, author={Cordell Green}, year={1969} }