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

• Type: Conference
• Year: 2008
• Where: CADE
• Authors: Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
• Keywords: Automated Theorem Provers, CADE 2008, Logical Reasoning, Open Domain Question, Textual Knowledge Bases