Betreut wird das ganze von Ute Schmid am Lehrstuhl Methoden der Künstlichen Intelligenz.

Es ist vollbracht!!

Ein stolzer Anti-Unifikator (JPEG, 754K) ... und seine Hervorbringung (PS, 902K)

Worum geht's da?

• mein Exposé (endgültige Version vom 18.01.2000, Postscript, gzip'ped 39K)
• oder auf die Folien des Referats, das ich am 1.7.1999 im Diplomandenkolloquium gehalten habe
• oder mein vorläufiges Paper darüber, wie ich mir den Algorithmus vorstelle (Stand: 8.6.2000, Postscript, 392K)
• oder -- für den groben Überblick -- auf Utes Diplomarbeiten-Seite

Literatur

Wichtig bei jeder Diplomarbeit sind natürlich die Veröffentlichungen der Betreuerin:

• Essentiell ist dabei Schmid/Mercy/Wysotzki, FGML-98.
• Auch nicht eben unwichtig: Schmid/Wysotzki, ECML-98.

Plaza, ICCBR-95

Aus dieser Arbeit stammt der Ansatz zur Anti-Unifikation auf typbehafteten Strukturen (in diesem Falle sind es sog. feature terms).

Die Dissertation von Robert Hasker von der University of Illinois (jetzt Univ. of Wisconsin at Platteville)

-- eine leider nur mäßig lesbare Arbeit zur Anti-Unifikation zweiter Ordnung (aber eine der wenigen überhaupt existierenden)