Автор(ы): Васильев С. Н. (ИПУ РАН, Лаборатория 38)Пономарев Г. М. (ИПУ РАН, Лаборатория 63) НЕАКТУАЛЬНАЯ ЗАПИСЬАвтор(ов): 2 Параметры публикацииТип публикации: Статья в журнале/сборникеНазвание: Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами.Наименование источника: Труды института математики и механики УрО РАНОбозначение и номер тома: Т. 17, № 2Город: ЕкатеринбургИздательство: ИММ УрО РАНГод издания: 2011Страницы: 35-52 АннотацияДанная статья посвящена развитию методов представления и обработки знаний для автоматизации решения некоторых классов задач, в том числе поиска логических выводов, синтеза условий существования выводов и планирования действий. Возможности методов иллюстрируются на примерах задач достижимости целевых состояний в динамических и интеллектуальных системах. Библиографическая ссылка: Васильев С.Н., Пономарев Г.М. Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами. // Труды института математики и механики УрО РАН. 2011. Т. 17, № 2. С. 35-52.
