Experiments with discrimination-tree indexing and path indexing for term retrieval
Journal of Automated Reasoning
CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
Machine Learning
Question-answering by predictive annotation
SIGIR '00 Proceedings of the 23rd annual international ACM SIGIR conference on Research and development in information retrieval
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Modern Information Retrieval
Journal of Automated Reasoning
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Incremental Theory Reasoning Methods for Semantic Tableaux
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Tree Induction for Probability-Based Ranking
Machine Learning
COGEX: a logic prover for question answering
NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
AI Communications
AI Communications - CASC
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
Introduction to Information Retrieval
Introduction to Information Retrieval
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
Overview of the Clef 2008 multilingual question answering track
CLEF'08 Proceedings of the 9th Cross-language evaluation forum conference on Evaluating systems for multilingual and multimodal information access
Combining logic and machine learning for answering questions
CLEF'08 Proceedings of the 9th Cross-language evaluation forum conference on Evaluating systems for multilingual and multimodal information access
Efficient question answering with question decomposition and multiple answer streams
CLEF'08 Proceedings of the 9th Cross-language evaluation forum conference on Evaluating systems for multilingual and multimodal information access
Evaluating Systems for Multilingual and Multimodal Information Access: 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, ... Applications, incl. Internet/Web, and HCI)
Logical validation, answer merging and witness selection a study in multi-stream question answering
Large Scale Semantic Access to Content (Text, Image, Video, and Sound)
Re-ranking passages with LSA in a question answering system
CLEF'06 Proceedings of the 7th international conference on Cross-Language Evaluation Forum: evaluation of multilingual and multi-modal information retrieval
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
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
First-order tableaux in applications
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A natural language question answering system as a participant in human Q&A portals
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Sibyl, a factoid question-answering system for spoken documents
ACM Transactions on Information Systems (TOIS)
System description: E-KRHyper 1.4: extensions for unique names and description logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |
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 paper, we discuss the requirements to the prover that arise in this application, especially concerning efficiency and robustness. The proposed solution rests on incremental reasoning, relaxation of the query (if no proof of the full query is found), and other techniques. In order to improve the robustness of the approach to gaps of the background knowledge, the results of deductive processing are combined with shallow linguistic features by machine learning.