Sciweavers

Share
CADE
2008
Springer

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

8 years 4 months ago
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
Ulrich Furbach, Ingo Glöckner, Hermann Helbig
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CADE
Authors Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
Comments (0)
books