Введение
Глава 1. Основные понятия 23
1.1. Понятие агент 23
1.2. Интеллектуальный агент 24
Глава 2. Модель интеллектуального агента 27
2.1. Формальные модели распределенных систем 27
2.2. Модель интеллектуального агента 36
2.3. Знания и представления агента 37
2.4. Цели и желания агента 40
2.5. Планирование 43
2.6. BDI-агент 45
Глава 3. Модель мультиагентной системы 48
3.1. Коммуникация агентов , 49
3.2. Расширенные представления 52
3.3. Коалиции 53
Глава 4. Логика спецификации интеллектуального агента . 59
4.1. Спецификация поведения системы 59
4.2. Спецификация ментальных состояний 80
4.3. Логика спецификации интеллектуального агента 103
Глава 5. Алгоритмы верификации для логики спецификации интеллектуального агента 117
5.1. Символические алгоритмы 117
5.2. Алгоритмы верификации 129
Глава 6. Логика спецификации мультиагентной системы 140
6.1. Синтаксис 140
6.2. Семантика 141
6.3. Алгоритмы верификации 145
6.4. Пример 149
Глава 7. Планирование в ограничениях 157
7.1. Существующие подходы к планированию 157
7.2. Постановка задачи 166
7.3. Основная структура алгоритма 167
7.4. Построение планов для формул 172
Глава 8. Накопление и анализ опыта 182
8.1. Символическое представление опыта и операции с ним 182
8.2. Методы анализа и построения обобщений 189
Заключение
