An application of automated reasoning in natural language question answering

  title={An application of automated reasoning in natural language question answering},
  author={U. Furbach and Ingo Gl{\"o}ckner and B. Pelzer},
  journal={AI Commun.},
  • U. Furbach, Ingo Glöckner, B. Pelzer
  • Published 2010
  • Computer Science
  • AI Commun.
  • The LogAnswer system is an application of automated reasoning to the field of open domain question answering. In order to find answers to natural language questions regarding arbitrary topics, the system integrates an automated theorem prover in a framework of natural language processing tools. The latter serve to construct an extensive knowledge base automatically from given textual sources, while the automated theorem prover makes it possible to derive answers by deductive reasoning. In the… CONTINUE READING
    The RatioLog Project: Rational Extensions of Logical Reasoning
    • 7
    • PDF
    Logic-Based Question Answering
    • 16
    Extending a Logic-Based Question Answering System for Administrative Texts
    • 3
    • PDF
    Ripple Down Rules for question answering
    • 11
    • PDF
    Automated Reasoning in the Wild
    • 1
    • PDF
    Resubmission of SWJ # 956-2167 , Ripple Down Rules for Question Answering
    • 2015


    Publications referenced by this paper.
    Combining Theorem Proving with Natural Language Processing
    • 7
    • PDF
    LogAnswer-A Deduction-Based Question Answering System
    • 10
    • PDF
    COGEX: A Logic Prover for Question Answering
    • 196
    • PDF
    Towards Logic-Based Question Answering under Time Constraints
    • 17
    • PDF
    Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment
    • 4
    • PDF
    Exploring Robustness Enhancements for Logic-Based Passage Filtering
    • 13
    • PDF
    The Senso Question Answering Approach to Portuguese QA@CLEF-2007
    • 19
    • PDF