4.3.1: Imaging

Um die Konsistenzprobleme, die sich bei einer strengen logischen Interpretation ergeben anzugehen, kann man eine probabilistische Inferenz einführen. Sie schätzt die Wahrscheinlichkeit p(d->q) , dass eine Folgerung gilt - hier: dass die Anfrage q aus dem Dokument d gefolgert werden kann - , ab. Dazu kann man zunächst jedes Dokument als eine " mögliche Welt" ( possible World) betrachten, also als eine Menge von Aussagen mit zugehörigen Wahrheitswerten. Das Prinzip der unsicheren oder probabilistischen Inferenz ist nun folgendes: Es seien zwei Aussagen x und y gegeben. Als Maß der Unsicherheit der Aussage y->x bezüglich einer gegebenen Datenbasis kann der Umfang der kleinsten Informationsmenge gewählt werden, die zu der Datenbasis hinzugefügt werden muss, damit die Aussage y->x gültig ist.

Aus dieser eher vagen Beschreibung leitet van Rijsbergen schrittweise konkreter werdend einen Algorithums ab, mit dem Dokumente in eine Rangfolge bezüglich einer Anfrage gebracht werden können. Dazu benötigt man eine Ähnlichkeitsfunktion zwischen den "möglichen Welten" wW und eine Wahrscheinlichkeitsfunktion p auf dem Grundraum W .

Im Laufe dieser Ableitung wird sich zeigen, dass sich das System dabei im wesentlichen auf ein gewichtetes Vektorraummodell reduziert, bei dem aus dem Korpus gewonnene Ähnlichkeiten zwischen Termen bei der Gewichtung berücksichtigt werden.

Seien nun wieder x und y zwei Aussagen und wW eine "mögliche Welt". Mit

(w,y)

(w,y)

(w,y->x)=((w,y),x)

Die Wahrscheinlichkeit p(y->x) wird nun folgendermaßen definiert:

p(y->x)=_wWp(w)(w,y->x)=_wWp(w)((w,y),x)

Man kann die Imagingtechnik auf Dokumente als "mögliche Welten" anwenden. Dabei ergibt sich aber das Problem, dass auch die Aussage y ein Dokument ist. Nimmt man an, dass ein Dokument in einem anderen Dokument nur dann "gültig" ist, wenn es eine Teilmenge des letzteren ist, könnten beim Imaging nur solche Dokumente verwendet werden, bei denen das eine im anderen enthalten ist. Solche Dokumente sind aber vermutlich selten.

Crestani und van Rijsbergen (1995 [->]) wählen deshalb eine Menge T von Termen als "mögliche Welten". Die Wahrscheinlichkeit der Inferenz von einem Dokument d auf eine Anfrage q ergibt sich dann als

p(d->q)=_tTp(t)((t,d),q)

Inhaltlich kann ein Term im einfachsten Fall als durch die Menge der Dokumente repräsentiert angesehen werden, in denen er auftritt. D. h. ein Dokument bzw. eine Anfrage ist in einem Term "gültig", wenn der Term darin auftaucht. Hat man zusätzlich eine Ähnlichkeitsfunktion zwischen Termen, so wird beim Imaging die Wahrscheinlichkeit eines Terms, der nicht in einem Dokument auftaucht, auf den nächstgelegenen Term aus dem Dokument übertragen.

Die globale Wahrscheinlichkeit p(d->q) für ein Dokument dT und eine Anfrage qT kann folgendermaßen berechnet werden:

• Zunächst wird für jeden Term tT\d der Term t'd bestimmt, der t am ähnlichsten ist.
• Dann wird die Wahrscheinlichkeit p(t) auf die von t' addiert.
• Schließlich werden diese Summen über alle Terme aus der Anfrage q aufaddiert.

Abb. 43: Imaging

Entscheidend für diese Bewertung sind die Wahrscheinlichkeiten der Terme und das Ähnlichkeitsmaß zwischen den Termen. Da sie lediglich an einer Rangordnung der Dokumente interessiert sind, wählen Crestani und van Rijsbergen (1995 [->]) anstelle einer Wahrscheinlichkeit das IDF-Maß

IDF(t_i)=-log(^(n_i)/_(N))

Als Ähnlichkeitsmaß wählen Crestani und van Rijsbergen das EMIM Maß:

Mit den Daten aus der Cranfield Collection wurden Versuche gemacht, wobei zwei Läufe verglichen wurden, einer mit Imaging und einer, in dem lediglich die IDF Werte als Gewichtungen verwendet wurden. Die Ergebnisse zeigen leicht bessere Ergebnisse für Imaging. Der Unterschied ist aber statistisch nicht signifikant.

Abb. 44: Probleme des Imaging