Behebung von Inkonsistenzen in der probabilistischen Expertensystem-Shell SPIRIT

Die Expertensystem-Shell SPIRIT ist ein professionelles Instrument zur Akquisition und Deduktion vonWissen. Diese Schritte vollziehen sich durch Aufbau und Transformation von Wahrscheinlichkeitsverteilungen, unterWahrung des Prinzips maximaler Entropie bzw. minimaler relativer Entropie. Die Kommunikationssprache zwischen Benutzerund Wissensbasis besteht in der Zuweisung von Wahrscheinlichkeiten zu Konditionalen über endlichwertigen propositionalenVariablen sowie zu Konjunktionen, Disjunktionen und Negationen solcher Konditionale. Sogar bedingte Konditionale sindbildbar, womit dem Benutzer bei Akquisition und Wissensverarbeitung ein reiches linguistischen Kommunikationsmittel zurVerfügung steht. Der Reichtum der Sprache birgt jedoch das Risiko inkompatibler oder inkonsistenter Sprachelemente und inFolge das Risiko fehlerhafter Inferenz. Drei Vorgehensweisen zur Behebung von Inkonsistenzen werden vorgestellt. Die erstebesteht in der Zuweisung von Wahrscheinlichkeitsintervallen statt Wahrscheinlichkeiten zu Konditionalen, die zweite imAbgleich verschiedener, in sich jeweils konsistenter Wissenswelten und die dritte in der Minimierung eines Inkonsistensmaßes.Ein Demonstrationsbeispiel führt durch die drei Alternativen in SPIRIT.....