14580

Автор(ов): 

2

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