A user inputs a retrieval query represented by a set of propositions using a modal operator through an interface. The retrieval query is passed to a document set gathering unit through a retrieval input unit. The document set gathering unit refers to an index, gathers a set of documents having a true proposition, and writes it to a work area. A similarity computation unit computes the similarity of the gathered set of documents and writes it to the work area. The retrieval result output unit refers to the work area, ranks the gathered sets of documents in consideration of a true/false value and a similarity, and the ranking result to the interface as a retrieval result. A common keyword extraction unit extracts a keyword for output from the ranked sets of documents, and outputs the keyword after adding a corresponding modal operator to the keyword to the interface.

Ein Benutzer gibt eine verschlüsselte Suchfrage ein, die durch einen Satz Angelegenheiten mit einem modalen Operator durch eine Schnittstelle dargestellt wird. Die verschlüsselte Suchfrage wird zu einem Dokumentsatz geführt, der Maßeinheit durch eine Wiederherstellung Eingang Maßeinheit erfaßt. Der Dokumentsatz, der Maßeinheit erfaßt, bezieht sich einen auf Index, erfaßt einen Satz Dokumente, die eine zutreffende Angelegenheit haben und schreibt ihn zu einem Arbeit Bereich. Eine Ähnlichkeitberechnung Maßeinheit berechnet die Ähnlichkeit des erfaßten Satzes der Dokumente und schreibt sie zum Arbeit Bereich. Die Wiederherstellung Resultat Ausgang Maßeinheit bezieht sich den auf Arbeit Bereich, ordnet die erfaßten Sätze der Dokumente in der Betrachtung eines true/false Wertes und der Ähnlichkeit und das Klassifizierungresultat zur Schnittstelle als Wiederherstellung Resultat. Eine allgemeine Schlüsselwortextraktionmaßeinheit extrahiert ein Schlüsselwort für Ausgang von den geordneten Sätzen der Dokumente und gibt das Schlüsselwort aus, nachdem sie einen entsprechenden modalen Operator dem Schlüsselwort zur Schnittstelle hinzugefügt hat.