Von der Prädikatenlogik zur unternehmerischen Entscheidungsunterstützung

Mit der Expertensystemshell SPIRIT steht ein mächtiges Instrumentzur unternehmerischen Entscheidungsunterstützung auf der Basis probabilistischenkonditionalen Wissens zur Verfügung. In mehreren Arbeiten - wie zumBeispiel [5], [3] - wurde über ihren professionellen Praxiseinsatz berichtet. Wegender hohen Komplexität der Entscheidungsmechanismen bedarf es zumeist intensiverGespräche bis zur Akzeptanz der zugrunde liegenden Theorien; letzte Zweifelwerden jedoch häufig nicht ganz ausgeräumt. Mit diesem Beitrag wird nun für dieVerwendung von SPIRIT ein neues Einsatzgebiet gewählt und damit ein noch nichtda gewesener Zugang geschaen. Konditionalmodelle sind auch zur Lösung prädikatenlogischerAufgaben geeignet, wie sie beispielsweise in sogenannten Logikrätselngestellt werden. Damit wird gleichsam für derartige Aufgaben eindrucksvoll nachgewiesen,dass die Fähigkeit des Menschen zur Deduktion von Wissen aus Wissenauf dem Computer formalisierbar ist. Nach der verbalen Formulierung einer beispielhaftausgewählten prädikatenlogischen Aufgabe wird diese in der Shell SPIRITkausal modelliert und für verschiedenartige Fragestellungen eindeutig gelöst.Im letzten Teil des Beitrags wird durch Aufzeigen von Analogien deutlich, dassder Weg von Logeleien zu ernsthaften ökonomischen Anwendungen nicht weitist. Mit dem Verständnis des Mechanismus zur Modellierung und Lösung prädikatenlogischerAufgaben kann so vielleicht der Widerstand gegen die Verwendungprobabilistischer, mathematisch fundierter Konzepte abgebaut werden.....