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)

B. F. Green, Jr., A. K. Wolf, C. Chomsky, K. Laughery

1963

Programs with common sense. Symposium mechanization of thought

1958

2 Excerpts

Similar Papers

Loading similar papers…

Cite this paper

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