Verbundprojekt: Intelligente Informationsverarbeitung 2 (IntelliInfo 2); Teilprojekte: Analyse von Struktur- und Prozessmodellen, Algebraische Semantikverarbeitung

Abstract

Ziel des Projekts war die Modellierung und Optimierung von kontinuierlichen Industrieprozessen durch mathematische Methoden der symbolischen künstlichen Intelligenz. Dabei sollten die Erkenntnisse und Verfahren des vorangegangenen Projekts "Intelligente Informationsverarbeitung 1" (01/22-01/24) generalisiert und weiterentwickelt werden, um den Einsatz für weitere Anwendungsfälle zu ermöglichen. Die nachfolgende Darstellung bezieht sich hier insbesondere auf das Teilprojekt "Analyse von Struktur und Prozessmodellen, Algebraische Semantikverarbeitung", damit insb. auf die Arbeitspakete AP3.x (TP 3) und AP4.x (TP 4) sowie projektübergreifende Arbeiten der AP1.x (TP 1). Die Aufgabenstellung von TP 3 "Analyse von Struktur- und Prozessmodellen" befasst sich mit der Überführung des G.E.O.S.-Modells in ein Constraint-Problem, wobei die Komplexität möglichst gering gehalten werden soll um das Modell skalierbar für größere Anwendungsszenarien zu halten und Abweichungen der Norm bearbeiten zu können. Das entwickelte CSP soll auf Implikationen, d.h. Invarianten und das frühzeitige Erkennen von Konflikten hin untersucht werden. Damit sollen Methoden zur automatischen Modellanalyse, -vervollständigung und -optimierung entworfen werden. Das gesammelte Kontextwissen soll die weitere Bearbeitung von TP 3, TP 4 und TP 5 unterstützen. Das Arbeitsziel des Teilprojekts TP 4 "Algebraische Semantikverarbeitung", Benutzeranfragen und Signalpartituren durch spezielle Methoden der Texttechnologie in semantische Darstellungen zu übersetzen, wobei Zeichenketten (TP 2) und Signalpartituren (TP 5) als Ausgangspunkt dienen.