摘要 |
A method, system and computer program product are disclosed for searching for information using a knowledge base. In one embodiment, the method comprises receiving a query; formulizing the query, including dividing the query into a plurality of parts; for each of the parts, identifying a source, using the knowledge, that addresses that part; and combining the sources to answer the query. In one embodiment, the query includes text; the text is separated into a plurality of segments; and, for each of the segments, at least one source is identified addressing the segment. In an embodiment, a logical proof is formulated having a conclusion that is an answer to the query, and a sequence of statements that establish said conclusion; and a proof of this conclusion is generated by identifying two or more documents that assert the sequence of statements.
|