Diploma Thesis DIP-1192

BibliographyDiener, 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-SchemaI.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
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 dateApril 23, 1996
   Publ. Computer Science