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

  • Ulrich Furbach
  • Ingo Glöckner
  • Hermann Helbig
  • Björn Pelzer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5195)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bos, J.: Doris 2001: Underspecification, resolution and inference for discourse representation structures. In: ICoS-3 - Inference in Compuational Semantics, Workshop Proceedings (2001)Google Scholar
  2. 2.
    Moldovan, D., Bowden, M., Tatu, M.: A temporally-enhanced PowerAnswer in TREC 2006. In: Proc. of TREC 2006, Gaithersburg, MD (2006)Google Scholar
  3. 3.
    Saias, J., Quaresma, P.: The Senso question answering approach to Portuguese QA@CLEF-2007. In: Working Notes for the CLEF 2007 Workshop, Budapest, Hungary (2007)Google Scholar
  4. 4.
    Tatu, M., Iles, B., Moldovan, D.: Automatic answer validation using COGEX. In: Peters, C., Clough, P., Gey, F.C., Karlgren, J., Magnini, B., Oard, D.W., de Rijke, M., Stempfhuber, M. (eds.) CLEF 2006. LNCS, vol. 4730. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Glöckner, I.: University of Hagen at QA@CLEF 2007: Answer validation exercise. In: Working Notes for the CLEF 2007 Workshop, Budapest (2007)Google Scholar
  6. 6.
    Hartrumpf, S.: Hybrid Disambiguation in Natural Language Analysis. Der Andere Verlag, Osnabrück, Germany (2003)Google Scholar
  7. 7.
    Helbig, H.: Knowledge Representation and the Semantics of Natural Language. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  8. 8.
    Leveling, J.: IRSAW – towards semantic annotation of documents for question answering. In: CNI Spring 2007 Task Force Meeting, Phoenix, Arizona (2007)Google Scholar
  9. 9.
    Glöckner, I.: Towards logic-based question answering under time constraints. In: Proc.of ICAIA 2008, Hong Kong, pp. 13–18 (2008)Google Scholar
  10. 10.
    Glöckner, I., Pelzer, B.: Exploring robustness enhancements for logic-based passage filtering. In: Proceedings of KES 2008. LNCS. Springer, Heidelberg (to appear, 2008)Google Scholar
  11. 11.
    Pelzer, B., Wernhard, C.: System Description: E-KRHyper. In: Automated Deduction - CADE-21, Proceedings, pp. 508–513 (2007)Google Scholar
  12. 12.
    Baumgartner, P., Furbach, U., Pelzer, B.: Hyper Tableaux with Equality. In: Automated Deduction - CADE-21, Proceedings, pp. 492–507 (2007)Google Scholar
  13. 13.
    Sutcliffe, G., Suttner, C.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning 21(2), 177–203 (1998)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ulrich Furbach
    • 1
  • Ingo Glöckner
    • 2
  • Hermann Helbig
    • 2
  • Björn Pelzer
    • 1
  1. 1.Department of Computer Science, Artificial Intelligence Research GroupUniversity of Koblenz-LandauKoblenz
  2. 2.Intelligent Information and Communication Systems Group (IICS)University of HagenHagenGermany

Personalised recommendations