Bibliography | Novotny, Bernd: Integration von Regelinferenzen in ein terminologisches Wissenspräsentationssystem. University of Stuttgart, Faculty of Computer Science, Student Thesis No. 1250 (1993). 91 pages, german.
|
CR-Schema | I.2.3 (Deduction and Theorem Proving) I.2.4 (Knowledge Representation Formalisms and Methods)
|
Abstract | Im Rahmen dieser Arbeit wurden Regelinferenzen in das auf KL-ONE basierende Wissensrepräsentationssystem TED&ALAN integriert. Dadurch können auf einfache Weise regelhafte Beziehungen zwischen Konzepten und Rollen beschrieben werden. Die assertionale Komponente von TED&ALAN fungiert dabei als Faktendatenbasis für die Regelinferenzen. Die Anwendung der Regeln erfolgt zum Zeitpunkt der Anfrage an die Wissensbasis, wobei die Regelkomponente die Aufgabe hat, zusätzliches Wissen zu dem in der terminologischen und assertionalen Komponente verfügbaren Wissen bereitzustellen. Die Regelkomponente verändert weder die Terminologie noch die assertionalen Daten. Sie ordnet sich in diesem Sinne also TED&ALAN unter.
Um auf die besonderen Probleme, die sich durch die Integration dieser unterschiedlichen Wissensrepräsentationsansätze ergeben, näher eingehen zu können, wurden einige Einschränkungen vorgenommen. So wird nur ein Teil der von TED&ALAN bereitgestellten Konstrukte betrachtet. Außerdem beschränkt sich die Regelkomponente auf einfache Regeln, die stark an die Regeln aus PROLOG angelehnt sind.
|
Full text and other links | PostScript (919409 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 | May 14, 1996 |
---|