Implementierung und Erweiterung der Sprache ALCP

Abstract

Diese Dokumentation beschreibt die Implementierung und Erweiterung der Sprache ALCP. ALCP ist eine von [Heinsohn 94a] entwickelte Erweiterung der terminologischen Wissensrepräsentationssprache ALC um eine probabilistische Komponente, so daß auch unsicheres Wissen repräsentiert und für Inferenzen verwendet werden kann. Nach einer Einführung in die grundlegenden Bereiche der Wahrscheinlichkeitstheorie und der Wissensrepräsentation erfolgt eine kurze Beschreibung der Sprache ALCP. Anschließend werden die bei der Implementierung verwendeten Konzepte vorgestellt und die benutzten Datenstrukturen und Algorithmen werden beschrieben und erläutert. Der praktische Aspekt der Verwendung der Sprache ALCP wird durch eine Beschreibung der verwendbaren Funktionen, eine Bedienungsanleitung und eine Beispielsitzung abgedeckt. Desweiteren wird die Mächtigkeit der Sprache ALCP anhand einiger Beispiele veranschaulicht.