Разработка и реализация методов формально-логической спецификации самонастраивающихся мультиагентных систем с временными ограничениями

Оглавление
Введение.
Глава 1. Основные понятия
1.1. Понятие агент
1.2. Интеллектуальный агент.
Глава 2. Модель интеллектуального агента
2.1. Формальные модели распределенных систем
2.2. Модель интеллектуального агента
2.3. Знания и представления агента .
2.4. Цели и желания агента
2.5. Планирование
2.6. ВIагент
Глава 3. Модель мультиагентной системы
3.1. Коммуникация агентов.
3.2. Расширенные представления
3.3. Коалиции.
Глава 4. Логика спецификации интеллектуального агента
4.1. Спецификация поведения системы
4.2. Спецификация ментальных состояний .
4.3. Логика спецификации интеллектуального агента
Глава 5. Алгоритмы верификации для логики спецификации интеллектуального агента.
5.1. Символические алгоритмы
5.2. Алгоритмы верификации
Глава 6. Логика спецификации мультиагентной системы
6.1. Синтаксис
6.2. Семантика
6.3. Алгоритмы верификации.
6.4. Пример .
Глава 7. Планирование в ограничениях
7.1. Существующие подходы к планированию.
7.2. Постановка задачи.
7.3. Основная структура алгоритма .
7.4. Построение планов для формул .
Глава 8. Накопление и анализ опыта
8.1. Символическое представление опыта и операции с ним
8.2. Методы анализа и построения обобщений
Заключение .
Приложение А. Анализ алгоритмов
А.1. Анализ алгоритмов верификации интеллектуального агента . . . 8 А.2. Анализ алгоритмов верификации мультиагентной системы 8 А.З. Анализ алгоритмов планирования.
Приложение Б. Реализация алгоритмов.
Б.1. Формат входных файлов
Б.2. Алгоритмы верификации.
Б.З. Алгоритмы планирования .
Б.4. Тестовые приложения.
Литература