Conference devoted to the 90th anniversary of Alexei A. Lyapunov

Akademgorodok, Novosibirsk, Russia, October 8-11, 2001,
(state registration number 0320300064)

Abstracts

Programmirung

Automatic syntesis of mathematical models

Vasilyev S.N., Cherkashin E.A., Bychkov I.V., Cherkashin A.K.*

Insitute of system dinamics SB RAS,
Insitute of geography SB RAS [*] (Irkutsk)

The problem of automatizing the mathematical model synthesis (MS) by means of artificial intelligence (AI) methods is considered. The logical (first--order) language of positively constructed formulas and corresponding automatical theorem proving software are used as AI engine. A scheme of MS, methods, implementation technics, and usage technology are considered. A structure synthesis example of a model of forest dynamics and control is described.

Full Text in Russian: HTML
Note. Abstracts are published in author's edition

Comments

[Home]
[Conference]

©2001, Siberian Branch of Russian Academy of Science, Novosibirsk
©2001, United Institute of Computer Science SB RAS, Novosibirsk
©2001, Institute of Computational Techologies SB RAS, Novosibirsk
©2001, A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk
©2001, Institute of Mathematics SB RAS, Novosibirsk
©2001, Institute of Cytology and Genetics SB RAS, Novosibirsk
©2001, Institute of Computational Mathematics and Mathematical Geophysics SB RAS, Novosibirsk
©2001, Novosibirsk State University
Last modified 06-Jul-2012 (11:45:21)