Wissensrepräsentation mit TED&ALAN

Peter Forster, Oliver Eck, Gerrit Burkert
Forschungsbericht Nr. 10/91
PS-File (304 KB, 41 Seiten)

Abstract

Im Bereich Wissensrepräsentation innerhalb der Künstlichen Intelligenz haben semantisch wohlfundierte Formalismen eine große Bedeutung erlangt. Viele dieser Formalismen basieren auf den terminologischen Beschreibungsmitteln von KL-ONE. In diesem Bericht wird ein hybrider Wissensrepräsentations- formalismus beschrieben, der einen terminologischen Teil namens TED und eine assertionale Komponente ALAN umfaßt. Zusätzlich zu einer formalen Beschreibung der Repräsentations- konstrukte werden die Inferenzprozeduren beschrieben und Stärken und Schwächen der aktuellen Implementierung, sowie mögliche Erweiterungen diskutiert.

P. Forster / forster@informatik.uni-stuttgart.de