Исследование методов и разработка алгоритмов планирования и моделирования целенаправленного поведения

• Автор: Тарханов, Тимур Сейфединович
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2004
• Место защиты: Переславль-Залесский
• Количество страниц: 119 с. : ил.

Содержание
Введение

Актуальность работы

Цель работы ититиииимимииимтммтмИтмммиитимиимиииииииммммиммм6 МСТОДЫ исследования имммиммммиммммммммммимммммммммиммммммнммммимимм
Научная новизна М4ММММИМММММММММ4ММММММММИММММИММММНМИМИ мимм7 Практическая значимость работы ММНМММЧИИНМНИЧН1ИММИНИ1МИМММИММТ Апробация работы

Структура н объм рзиоты. ми .

Содержание работы. .мм м. м . . . м.

Глава 1. Методы интеллектуального планирования

1.1. Введение

1 Л. Хронология подходов интеллектуального планировании при классических допущениях

. Планирование как доказательство теорем

1.4. Поиск в пространстве состояний инммиичииммиминтчминм
1.4.1. Постановка залами Iпланирования.
1.4.2. Алгоритм I .
1.4.3. Неполнота алгоритма I. Аномалия Суссмана.
1.4.5. Вычислительная сложность задачи Iпланирования .
1.4.6. Языковые средства описания доменов планирования.
1.5. Поиск в пространстве планов ммьммянмФнниммистмнимямн
1.5.1. Основная идея .
1.5.2. Основные определения
1.5.3. Алгоритм .
1.5.4. Принцип малой связности
1.6. Планирование как задача удовлетворения ограничений.
1.6.1. Постановка задачи удовлетворения ограничений
1.6.2. Синтез планов на основе техники прямого распространения ораничений .
1.6.2.1. Основные определения .
1.3. Алгоритм .
1.7. Выводы мнммтимчмчтмммимммчмтмминммммиимчяммимчммм Глава 2. Синтез планов на основе преобразования взаимов.ияний действии
2.1 8ндсниет. .
2.2. Постановка задачи .
. Прогрессивная и регрессивная модели среды
2.4. Взаимовлияние действии конфликты и согласия
2.5. Преобразования
тммитииииниитимньимииимммииммммммтмммммимч
2.5.1. Преобразование последовательностей действий
2.5.2. Преобразование взаимовлияний
2.6. Минимальные планы. Бесполезные действия
2.7. Синтез планов на основе разрешении конфликтов.
2.7.1. Планирование на основе преобразования взаимовлияний
2.7.2. Планирование на основе полного разрешения конфликтов
2.7.3. Планирование за конечное время
2.8. Эффективность алгоритма .
2.9. Заключение итии1имии1нмми1инчмчи4тиичичичминиимммнммимим1мнинмт
Глава 3. Моделирование целенаправленного поведения динамических интеллектуальных систем
3.1. Динамические интеллектуальные системы
3.2. Основные определения м1минммн1аммннми
. Постановка задачи моделирования целенаправленного поведения.
3.4. Реализация средств моделирования целенаправленного поведения для динамических интеллектуальных систем иии1мчиамимимнмч
3.4.1. Архитектура инструментальных программных средств.
3.4.2. Средства представления знаний .
3.4.3. Средства моделирования динамики и целенаправленного поведения.
3.5. Выводы
Заключение в .
Литература


Таким образом, представляются достаточно актуальными задачи создания эффективных методов интеллектуального планирования и моделирования целенаправленного поведения, том числе, в условиях динамической внешней среды. Настоящая работа посвящена исследованию и решению некоторых возникающих в этой области задач. Тема . Тема . Создание инструментальных программных средств динамических систем, основанных на знаниях. Проект Миннауки РФ ГНТП 4. Разработка инструментальных программных средств интегрированных интеллектуальных систем для моделирования поведения сложных систем. Проект РФФИ 5 Планироване поведения в динамических системах, основанных на знаниях. Комплексная программа научных исследований Президиума РАН Интеллектуальные компьютерные системы Проект 2. Инструментальные программные средства динамических интеллектуальных систем. Союзного государства Разработка и освоение в серийном производстве семейства высокопроизводительных вычислительных систем с параллельной архитектурой суперкомпьютеров и создание прикладных программноаппаратных комплексов на их основе шифр СКИФ, тема . Целью диссертационной работы является исследование существующих методов автоматического синтеза планов, разработка нового эффективного алгоритма интеллектуального планирования и построение на этой основе архитектуры программных средств моделирования целенаправленного поведения в динамических предметных областях со сложной структурой. Разработан и реализован новый алгоритм моделирования целенаправленного поведения интеллектуальной системы в динамических средах. Новый алгоритм синтеза планов при классических допущениях может быть использован для повышения производительности средств моделирования целенаправленного поведения. VII национальная конференция по искусственному интеллекту с международным участием КИИ в г. XXVIII международная конференция Информационные технологии в науке, образовании, телекоммуникации и бизнесе 1Т8Е в г. Искусственный интеллект в веке 1САГ в п. Исследовательского центра искусственного интеллекта ИПС РАН г. ПереславльЗалесский. По теме диссертации опубликовано 6 печатных работ. Общий объм основного текста диссертации 9 страниц, список литературы содержит 1 наименований. В работе рисунков и 1 таблица. Показана вычислительная сложность классической задачи планирования при некоторых ограничениях. Описана хронология подходов интеллектуального планирования. На примерах работы конкретных алгоритмов продемонстрированы основные подходы к планированию. Отмечены недостатки каждого из подходов. Во второй главе рассматривается новая техника планирования на основе разрешения конфликтов. Сформулированы понятия полного эффекта и полного предусловия действий. Даны определения конфликтного и согласованного взаимовлияния действий в последовательности. Покачано, что план, решающий задачу планирования, не содержит конфликтующих действий. Введено понятие бесполезной подпоследовательности действий и показано, что последовательности, содержащие бесполезные подпоследовательности действий, можно не рассматривать как кандидаты в планы. Определены операции преобразования последовательностей действий и преобразования взаимовлияний. Описан новый алгоритм синтеза планов на основе разрешения конфликтов, использующий поиск в пространстве п 1лнов. Дана модификация алгоритма, являющаяся разрешающей процедурой для задачи планирования, и доказаны теоремы о его конечности и полноте. Дана характеристика областей планирования, в которых применение предлагаемого алгоритма наиболее эффективно. Приведены оценки эффективности алгоритма. В третьей главе представлена архитектура подсистемы моделирования целенаправленного поведения. Даны основные определения и факты теории динамических интеллектуальных систем. Дана постановка задачи моделирования целенаправленного поведения для динамических интеллектуальных систем. Описана архитектура инструментальных программных средств для разработки динамических интеллектуальных систем, в разработке и реализации которых принимал участие автор. В заключении перечислены основные результаты, полученные в рамках диссертационной работы.