Bibliography | Diener, Martin: Ein Tool zum Lernen von Klauselbeschreibungen aus Hornklauseln für Miles. University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1192 (1995). 88 pages, german.
|
CR-Schema | I.2.3 (Deduction and Theorem Proving) I.2.6 (Artificial Intelligence Learning) I.2.8 (Problem Solving, Control Methods, and Search)
|
Keywords | Suchraumbeschraenkungen; CTL; MILES; ILP; Maschinelles Lernen; BIAS |
Abstract | 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.
|
Full text and other links | PostScript (979268 Bytes) Access to students' publications restricted to the faculty due to current privacy regulations |
Department(s) | University of Stuttgart, Institute of Computer Science, Intelligent Systems (Prof. Lehmann)
|
Entry date | April 23, 1996 |
---|