MOSES - Ein System zur frameorientierten Wissensrepräsentation für zeitorientierte Modelle

Ausgangspunkt der Entwicklung von MOSES (MOdel1bi1dungs- und SimulationsEntwicklungsSystem) war die Suche nach einem Metasystem für vorhandene SimulationsSoftware für qualitative Modelle (SPIN, McLEAN) und System-Dynamics-Model1e (SISSY, RETTI), das die Möglichkeit einer flexiblen Typdefinition, einer expliziten Strukturierung eines Modells und einer expliziten Definition modell bezogener Experimente sowie einer Unterstützung bei der Organisation durchzuführender Experimente (Simulationsläufe) bietet. Aufgrund dieser Zielsetzung liegt der Schwerpunkt in der Entwicklung einer möglichst flexiblen Wissensrepräsentation. Da bereits einige Systeme, die auf Methoden der Artificial Intelligence (AI) aufbauen, auf dem Anwendungsgebiet ereignisorientierter Simulation erfolgreich sind (z. B. Rule Oriented Simulation System, McARTHUR et. al; Knowledge Based Simulation, REDDY et. al.) und Wi ssensrepr’äsentat i on an sich ein Teilgebiet der AI darstellt, werden AI-Konzepte in MOSES eingesetzt und spezifisch für den Prozeß der Modellbildung und Simulation weiterentwickelt. Das dynamische Modellverhalten kann als ein formaler Schluß aus der Struktur eines Modells aufgefaßt werden. Der dynamische Inferenzprozeß über der Wissensbasis erfolgt mit dem Simu1ationssystem SISSY4. Damit erlaubt MOSES gegenwärtig die Simulation von Modellen, deren Dynamik durch Differenzen- und gewöhnliche Differentialgleichungen erster Ordnung bestimmt ist.