Cogex: A semantically and contextually enriched logic prover for question answering

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%.

[1]  Maria Paola Bonacina,et al.  Automated Reasoning , 2014, Lecture Notes in Computer Science.

[2]  R. Hursthouse.  THE LOGIC OF DECISION AND ACTION , 1969 .

[3]  Ellen M. Voorhees,et al.  Overview of the TREC 2004 Novelty Track. , 2005 .

[4]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[5]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[6]  James F. Allen.  Time and time again: The many ways to represent time , 1991, Int. J. Intell. Syst..

[7]  Sanda M. Harabagiu,et al.  Experiments and Analysis of LCC's two QA Systems over TREC 2004 , 2004 .

[8]  Larry Wos,et al.  Automated reasoning - 33 basic research problems , 1988 .

[9]  Nicholas Rescher,et al.  The Logic of Decision and Action , 1967 .

[10]  Sanda M. Harabagiu,et al.  Temporal Context Representation and Reasoning , 2005, IJCAI.

[11]  Sanda M. Harabagiu,et al.  COGEX: A Logic Prover for Question Answering , 2003, NAACL.

[12]  Dan I. Moldovan,et al.  Moving QA towards reading comprehension using context and default reasoning , 2005, AAAI 2005.

[13]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[14]  Vasile Rus,et al.  Logic Form Transformation of WordNet and its Applicability to Question Answering , 2001, ACL.

[15]  Michael Collins,et al.  Head-Driven Statistical Models for Natural Language Parsing , 2003, CL.

[16]  Dan Moldovan,et al.  Using Knowledge Extraction and Maintenance Techniques To Enhance Analytical Performance , 2005 .

[17]  Dan I. Moldovan,et al.  Lexical Chains for Question Answering , 2002, COLING.