Machine Learning and Natural Language Processing Lab

Diskriminatives... |--| Logische Markov... |--| SeqLog und Theo... |--| Logical Decisio... |--| Implementierung... |--| Learning from G... |--| Learning Patter... |--| SCGEM - A Fast ... |--| Informationsext... |--| Tranformation-B... |--| EM and Gradient... |--| KDD Cup 2002 - ... |--| Analysis of Res... |--| Objektorientier... |--|

Student's Project

SeqLog und Theory Revision

Thorsten Seddig, 2004

Informatik ist eine Wissenschaft, die sich mit der maschinellen Informationsverarbeitung beschäftigt. Die dabei auftretenden Probleme versucht man unter anderem mittels Grammatiken zu formalisieren. Mathematische Methoden dienen dabei oft der abstrakten Darstellung der Problematik. Konkreter wird es, wenn man versucht, die erkannten abstrakten Problemstrukturen und ihre Lösungen mit einer bestimmten Sprache zu erfassen. Die auf abstrakter Ebene entworfenen Algorithmen zur Lösung eines Problems werden dann in einer ausgesuchten Grammatik implementiert. Das Thema dieser Studienarbeit ist die Darstellung der Übertragbarkeit von Techniken aus Theory Refinement (speziell - Theory Revision) in die Logik SeqLog. SeqLog ist eine Logik, deren Entwicklung aus den Erfordernissen des Data-Mining entsprang. Man suchte nach ausdrucksstarken Beschreibungsmitteln für die Daten. Die Grundlage für die Darstellung der Übertragbarkeit ist ein bekanntes Theory Revision System, CIGOL. Die dort entwickelten Operatoren Absorption und Truncation werden auf SeqLog übertragen und in Prolog implementiert. Aufbauend auf dem Operator Absorption wird der Operator Identification entwickelt und ebenfalls implementiert. Ergänzend dazu wird anhand des Absorption-Operators für Regeln in DUCE angedeutet, wie die Operatoren aus dem DUCE System in ähnlicher Weise in SeqLog überführt werden können. Der Zweck dieser Übertragung in SeqLog ergibt sich aus der Interpretation der Daten, die mittels SeqLog dargestellt und analysiert werden.