Diplomarbeit DIP-1192

Bibliograph.
Daten
Diener, Martin: Ein Tool zum Lernen von Klauselbeschreibungen aus Hornklauseln für Miles.
Universität Stuttgart, Fakultät Informatik, Diplomarbeit Nr. 1192 (1995).
88 Seiten, deutsch.
CR-Klassif.I.2.3 (Deduction and Theorem Proving)
I.2.6 (Artificial Intelligence Learning)
I.2.8 (Problem Solving, Control Methods, and Search)
KeywordsSuchraumbeschraenkungen; CTL; MILES; ILP; Maschinelles Lernen; BIAS
Kurzfassung

Die bekannten Verfahren des Maschinellen Lernens, die den Prinzipien der Induktiven Logischen Programmierung folgen, beschneiden den Raum der möglichen erlernbaren Regeln. Dies ist notwendig, um in endlicher Zeit überhaupt Regeln lernen zu können. Diese Suchraumbeschränkungen sind zumeist ein fester Teil der implementierten Algorithmen. Somit kennt man verschiedene Verfahren, die mit mehr oder weniger großem Erfolg Regeln in bestimmten, unterschiedlichen Bereichen erlernen. Zur deklarativen, und damit bereichsunabhängigen Beschränkung von Hypothesenräumen bei Lernverfahren der ILP wurde von Birgit Tausend die Beschreibungssprache MILES-CTL entworfen. Damit besteht die Möglichkeit, Lernsysteme an verschiedene Lernaufgaben unterschiedlicher Domänen anzupassen. In Rahmen der vorliegenden Arbeit wurde ein Werkzeug entwickelt, mit dem gezeigt werden konnte, daß MILES-CTL Beschreibungen aus bereits bekanntem Hintergrundwissen der Domäne automatisiert abgeleitet werden können.

Volltext und
andere Links
PostScript (979268 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Abteilung(en)Universität Stuttgart, Institut für Informatik, Intelligente Systeme (Prof. Lehmann)
Eingabedatum23. April 1996
   Publ. Informatik