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

Authors:
Ulrich Furbach;Ingo Glöckner;Hermann Helbig;Björn Pelzer
Affiliations:
Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Koblenz 56070;Intelligent Information and Communication Systems Group (IICS), University of Hagen, Hagen, Germany 59084;Intelligent Information and Communication Systems Group (IICS), University of Hagen, Hagen, Germany 59084;Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Koblenz 56070
Venue:
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Year:
2008

Citing 7
Cited 3

The TPTP Problem Library

Journal of Automated Reasoning
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)

Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
Hyper Tableaux with Equality

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
System Description: E- KRHyper

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Exploring Robustness Enhancements for Logic-Based Passage Filtering

KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part I
Automatic answer validation using COGEX

CLEF'06 Proceedings of the 7th international conference on Cross-Language Evaluation Forum: evaluation of multilingual and multi-modal information retrieval
University of Alicante at QA@CLEF2006: answer validation exercise

CLEF'06 Proceedings of the 7th international conference on Cross-Language Evaluation Forum: evaluation of multilingual and multi-modal information retrieval

Extending a logic-based question answering system for administrative texts

CLEF'09 Proceedings of the 10th cross-language evaluation forum conference on Multilingual information access evaluation: text retrieval experiments
Interfacing virtual agents with collaborative knowledge: open domain question answering using wikipedia-based topic models

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
System description: E-KRHyper 1.4: extensions for unique names and description logic

CADE'13 Proceedings of the 24th international conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.