Skip to Main Content
Existing search engines and question-answering (QA) systems have made possible processing large volumes of textual information. Current work on QA has mainly focused on answering two basic types of questions: factoid and definition questions. However, the capability to synthesize an answer to a query by drawing on bodies of information which reside in various parts of the knowledge base is not among the capabilities of those systems. In this paper, a system oriented to infer query answers from a collection of propositions expressed in natural language is introduced. By means of a specific example, it is outlined how the system proceeds to face those situations. This approach is based on the use of formal constraining relations modeling copulative and comparative sentences. Combining those propositions with others contained in different knowledge bases and applying deduction rules, the desired answer could be obtained.