engleski

Explaining dynamic systems by combining qualitative and numerical simulation

In this work I present a Prolog program MARK, I developed, for the simulation of dynamic systems, capable of qualitatively explaining the simulated system. To generate qualitative explanation, the program combines a numerical and a qualitative simulator. The program was tested on a number of simple ecological models. The work is motivated by educational needs: such "explanatory simulations" are better suited for tutorial purposes than the traditional purely numerical simulations.

qualitative simulation, numerical simulation, ecological models

nije evidentirano