Von der Prädikatenlogik zur unternehmerischen Entscheidungsunterstützung

Mit der Expert ensystemshell SPIRIT steht ein mächtiges Instrument zur unternehmerischen Entscheidungsunterstützung auf der Basis probabilistischen konditionalen Wissens zur Verfügung. In mehreren Arbe iten - wie zum Beispiel [5], [3]-wurde über ihren professionellen Praxiseinsatz berichtet. Wegen der hohen Komplexität der Entscheidungsmechanismen bedarf es zumeist intensiver Gespräche bis zur Akzeptanz der zugrunde Iiegenden Theorien; letzte Zweifel werden jedoch häufig nicht ganz ausgeräumt. Mit diesem Beitrag wird nun für die Verwendung von SPIRIT ein neues Einsatzgebiet gewähit und damit ein noch nicht da gewesener Zugang geschaffen.Konditionalmodelle sind auch zur Lösung prädikatenlogisch er Aufgaben geeignet,wie sie beispielsweise in sogenannten Logikrätseln gestellt werden.Damit wird gleichsam für derartige Aufgaben eindrucksvoll nachgewiesen,dass die Fähigkeit des Menschen zur Deduktion von Wissen aus Wissen auf dem Computer formalisierbar ist.Nach der verbalen Formulierung einer beispielhaft ausgewählten prädikatenlogischen Aufgabe wird diese in der Shell SPIRIT kausal modeIIiert und fiir verschiedenartige FragesteIIungen eindeutig gelöst.1m letzten Teil des Beitrags wird durch Aufzeigen von Analogien deutlich, dass der Weg von »Logeleien« zu ernsthaften ökonomlschen Anwendungen nicht weitist.Mit dem Verstandnis des Mechanismus zur ModeIIierung und Lösung prädikatenlogischer Aufgaben kann so vielleicht der Widerstand gegen die Verwendung robabilistischer, mathematisch fundierter Konzepte abgebaut werden.