Studienarbeit STUD-1250

Bibliograph.
Daten
Novotny, Bernd: Integration von Regelinferenzen in ein terminologisches Wissenspräsentationssystem.
Universität Stuttgart, Fakultät Informatik, Studienarbeit Nr. 1250 (1993).
91 Seiten, deutsch.
CR-Klassif.I.2.3 (Deduction and Theorem Proving)
I.2.4 (Knowledge Representation Formalisms and Methods)
Kurzfassung

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.

Volltext und
andere Links
PostScript (919409 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)
Eingabedatum14. Mai 1996
   Publ. Abteilung   Publ. Institut   Publ. Informatik