Synergy of all-purpose static solver and temporal reasoning tools in dynamic integrated expert systems

Galina Rybina, Alexey Mozgachev, Dmitry Demidov

The paper discusses scientific and technological problems of dynamic integrated expert systems development. Extensions of problem-oriented methodology for dynamic integrated expert…