Автор(ы): Ульянов С. А. (ИПУ РАН, Лаборатория 42) НЕАКТУАЛЬНАЯ ЗАПИСЬВасильев В. Ю. (ИПУ РАН, Бухгалтерия) НЕАКТУАЛЬНАЯ ЗАПИСЬАвтор(ов): 2 Параметры публикацииТип публикации: ДокладНазвание: Об одном подходе к верификации продукционных системНаименование конференции: 10-я международная научно-техническая мультиконференция «Актуальные проблемы информационно-компьютерных технологий, мехатроники и робототехники» (ИКТМР-2009, Таганрог)Город: ТаганрогИздательство: ТТИ ЮФУГод издания: 2009Страницы: 57-60 АннотацияПредлагается новый подход к верификации продукционных систем при использовании искусственного интеллекта в управлении. Библиографическая ссылка: Ульянов С.А., Васильев В.Ю. Об одном подходе к верификации продукционных систем / . Таганрог: ТТИ ЮФУ, 2009. С. 57-60.