Cogex: A semantically and contextually enriched logic prover for question answering |
| |
Authors: | Dan Moldovan Christine Clark Sanda Harabagiu Daniel Hodges |
| |
Affiliation: | aLanguage Computer Corporation, Richardson, Texas 75080, USA |
| |
Abstract: | This paper presents the architecture and functionality of a logic prover designed for question answering. The approach transforms questions and answer passages into logic representations based on syntactic, semantic and contextual information. World knowledge supplements the linguistic, ontological, and temporal axioms supplied to the prover which renders a deep understanding of the relationship between the question and answer text. The trace of the proofs provides a basis for generating human comprehensible answer justifications. The results show that the prover boosts the performance of the Question Answering system on TREC 2004 questions by 12%. |
| |
Keywords: | Question answering Natural language processing Temporal reasoning Automated reasoning Ontologies |
本文献已被 ScienceDirect 等数据库收录! |