Mechanism of deduction in a question-answering system with natural language input

Authors:
Makoto Nagao;Jun-ichi Tsujii
Affiliations:
Dept. Elec. Eng., Kyoto University, Kyoto, Japan;Dept. Elec. Eng., Kyoto University, Kyoto, Japan
Venue:
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Year:
1973

Citing 1
Cited 0

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

ACM '68 Proceedings of the 1968 23rd ACM national conference

Quantified Score

Hi-index	0.01

Visualization

Abstract

Additive AND/OR graphs are defined as AND/ OR graphs without circuits, which can be considered as folded AND/OR trees; i. e. the cost of a common subproblem is added to the cost as many times as the subproblem occurs, but it is computed only once. Additive ...