Аннотация:
Данная статья посвящена развитию методов представления и обработки знаний для автоматизации решения некоторых классов задач, в том числе поиска логических выводов, синтеза условий существования выводов и планирования действий. Возможности методов иллюстрируются на примерах задач достижимости целевых состояний в динамических и интеллектуальных системах.
Ключевые слова:динамические системы, интеллектуальные системы, теория управления, математическая логика, искусственный интеллект, управляемость, функции Ляпунова.
Полный текст:
PDF файл (266 kB)