LogAnswer - A Deduction-Based Question Answering System (System Description)

LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer operates on a large axiom set in first-order logic, representing a formalized semantic network acquired from extensive textual knowledge bases. The logicbased approach allows the formalization of semantics and background knowledge, which play a vital role in deriving answers. We present the functional LogAnswer prototype, which consists of automated theorem provers for logical answer derivation as well as an environment for deep linguistic processing.

[1]  Ingo Glöckner.  Towards Logic-Based Question Answering under Time Constraints , 2008 .

[2]  Fredric C. Gey,et al.  ENSM-SE at CLEF 2006 : Fuzzy Proximity Method with an Adhoc Influence Function in Evaluation of Multilingual and Multi-modal Information Retrieval 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain , 2007 .

[3]  Dan I. Moldovan,et al.  Automatic Answer Validation using COGEX , 2006, CLEF.

[4]  Hermann Helbig.  Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies) , 2005 .

[5]  Dan I. Moldovan,et al.  A Temporally-Enhanced PowerAnswer in TREC 2006 , 2006, TREC.

[6]  Ingo Glöckner,et al.  Exploring Robustness Enhancements for Logic-Based Passage Filtering , 2008, KES.

[7]  Hermann Helbig,et al.  Knowledge Representation and the Semantics of Natural Language , 2005, Cognitive Technologies.

[8]  Björn Pelzer,et al.  System Description: E-KRHyper , 2007, CADE.

[9]  Ingo Gl.  University of Hagen at QA@CLEF 2006: Answer Validation Exercise , 2006 .

[10]  Johannes Leveling.  IRSAW – Towards Semantic Annotation of Documents for Question Answering , 2007 .

[11]  Paulo Quaresma,et al.  The Senso Question Answering Approach to Portuguese QA@CLEF-2007 , 2007, CLEF.

[12]  Geoff Sutcliffe,et al.  The TPTP Problem Library , 1994, Journal of Automated Reasoning.

[13]  Sven Hartrumpf,et al.  Hybrid disambiguation in natural language analysis , 2003 .

[14]  Peter Baumgartner,et al.  Hyper Tableaux with Equality , 2007, CADE.