Конференция, посвященная 90-летию со дня рождения Алексея Андреевича Ляпунова

Россия, Новосибирск, Академгородок, 8 - 11 октября 2001 года,
(номер государственной регистрации 0320300063)

Тезисы докладов

Программирование

Автоматическое построение математических моделей: новое приложение систем автоматического доказательства теорем

Васильев С.Н., Черкашин Е.А., Бычков И.В., Черкашин А.К.*

Институт динамики систем и теории управления (ИДСТУ) СО РАН,
Институт географии СО РАН [*] (Иркутск)

Рассматривается задача автоматизации построения математических моделей (ПМ) с помощью методов искусственного интеллекта (ИИ). В качестве аппарата ИИ используются язык позитивно--образованных формул (первого порядка) и программная система автоматического доказательства теорем в этом языке. Приводится схема процесса ПМ, рассматриваются методы и средства реализации, технология использования этой схемы. Описывается пример построения структуры математической модели динамики и управления древостоем.

Дополнительные материалы: HTML
Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии

[Головная страница]
[Конференции]
[СО РАН]

© 2001, Сибирское отделение Российской академии наук, Новосибирск
© 2001, Объединенный институт информатики СО РАН, Новосибирск
© 2001, Институт вычислительных технологий СО РАН, Новосибирск
© 2001, Институт систем информатики СО РАН, Новосибирск
© 2001, Институт математики СО РАН, Новосибирск
© 2001, Институт цитологии и генетики СО РАН, Новосибирск
© 2001, Институт вычислительной математики и математической геофизики СО РАН, Новосибирск
© 2001, Новосибирский государственный университет
Дата последней модификации 06-Jul-2012 (11:45:21)