An application of automated reasoning in natural language question answering
Titel:
An application of automated reasoning in natural language question answering
Auteur:
Furbach, Ulrich Glöckner, Ingo Pelzer, Björn
Verschenen in:
AI communications
Paginering:
Jaargang 23 (2010) nr. 2-3 pagina's 241-265
Jaar:
2010-03-04
Inhoud:
The LogAnswer system is an application of automated reasoning to the field of open domain question answering. In order to find answers to natural language questions regarding arbitrary topics, the system integrates an automated theorem prover in a framework of natural language processing tools. The latter serve to construct an extensive knowledge base automatically from given textual sources, while the automated theorem prover makes it possible to derive answers by deductive reasoning. In the paper, we discuss the requirements to the prover that arise in this application, especially concerning efficiency and robustness. The proposed solution rests on incremental reasoning, relaxation of the query (if no proof of the full query is found), and other techniques. In order to improve the robustness of the approach to gaps of the background knowledge, the results of deductive processing are combined with shallow linguistic features by machine learning.