A system and method for searching on a computer. The method involves generating a knowledge base. The knowledge base includes information. The method further involves specifying an evidence set to include a proper subset of the information. The method also entails deriving the evidence set from the knowledge base.

Ein System und eine Methode für das Suchen auf einem Computer. Die Methode bezieht mit ein, eine Wissensbasis zu erzeugen. Die Wissensbasis schließt Informationen ein. Die weitere Methode bezieht mit ein, einen Beweissatz zu spezifizieren, um eine korrekte Teilmenge der Informationen einzuschließen. Die Methode hat auch zur Folge, den Beweis abzuleiten, der von der Wissensbasis eingestellt wird.