ОГЛАВЛЕНИЕ

Предисловие........................................................................................ 4

Введение..............................................................................................11

Глава 1 Общие принципы локальной организации систем   ... 26

1.1. Математическое моделирование систем................................... 26

1.1.1. Общая теория систем (27)

1.1.2. Исследование операций и теория игр (29)

1.1.3. Игровое децентрализованное управление (30)

1.2. Примеры систем, требующих локальной организации  ............ 31

1.3. Методика изучения локально-организованной системы ...........34

1.4. Исторические предпосылки и библиография............................... 40

1.5. Выводы по главе 1........................................................................... 45

Глава 2 Методы исследования локальной организации в дискретных моделях   47

2.1. Асимптотический ( с ростом глубины памяти) анализ   .............. 49

2.1.1. Формулировка игры автоматов (50)

2.1.2. Полный анализ на ЭВМ игры двух автоматов путем моделирования представительной совокупности вариантов (52)

2.1.3. Асимптотическая оптимальность последовательности коллективов автоматов в игре с одной партией Нэша (55)

2.1.4. Асимптотическое описание произвольных игр автоматов (59)

2.1.5. Свойства вспомогательных цепей Маркова, построенных для некоторых примеров игр (60)

2.1.6. Доказательство использованной леммы и теоремы(65)

2.2. Анализ потоков вероятности............................................................. 67

2.2.1. Примеры вычисления финальных вероятностей(69)

2.2.2. Теорема М.Л.Цетлина о глубоком состоянии автомата (необходимое условие) (72)

2.3. Приближенный анализ коллективного поведения при большом числе участников  ......... 76

2.3.1. Модель формирования мнения (76)

2.3.2. Вывод уравнения процесса формирования мнения и его анализ (80)

2.3.3. Исследование приближенного уравнения процесса при нечетных k=2l+1 (81)

2.4. Комбинированное исследование модели памяти ............................................................... 82

2.4.1. Качественное описание памяти со случайной выборкой и примеры (83)

2.4.2. "Закон квадратного корня" (85)

2.4.3. "Естественный" алгоритм образования и уничтожения копий слов(87)

2.4.4. Использование "геометрических" соображений (88)

2.4.5. "Явные" алгоритмы оптимизации (89)

2.4.6. Поиск без возвращения (93)

2.4.7. Другие характеристики модели памяти со случайной выборкой (94)

2.5. Выводы по главе 2................................................................................................................... 95

Глава 3 Локальная организация целесообразного поведения в непрерывных моделях   97

3.1. Исследование роли взаимодействия при локальном управлении  .......................................100

3.1.1. Устойчивость локального управления в невзаимодействующем (иерархическом) коллективе (101)

3.1.2. Неэластичность поведения для широкого класса критериев в локально-организованной системе (103)

3.1.3. Доказательство теорем 3.1 и 3.2 (106)

3.2. Содержательные условия устойчивости локального управления   ....................................112

3.2.1. "Обобщенная локальная устойчивость"(113)

3.2.2. Дифференциальная форма содержательных условий устойчивости(114)

3.2.3. Устойчивость в малом (116)

3.3. Поведение коллектива автоматов в задаче о регулировке мощности ...........................118

3.3.1. Моделирование систем связи (138)

3.3.2. Математическая модель коллектива радиостанций (119)

3.3.3. Конструкция автоматов регулировки мощности (143)

3.3.4. Устойчивость регулировки мощности (122)

3.3.5. Регулировка мощности с запаздыванием (124)

3.3.6. Заключительные замечания (132)

3.4. Одна теорема об М-матрицах и ее применения .............................................................. 134

3.4.1. Выпуклость множества (140)

3.4.2. Об одном условии невырожденности произвольной матрицы (144)

3.4.3. О взаимопомощи в коллективе автоматов (144)

3.5. Локально-организованное управление многозвенным манипулятором  .................. 149

3.5.1. Модель манипулятора (150)

3.5.2. Двухуровневая система управления (151)

3.6. Выводы по главе 3............................................................................................................. 152

Глава 4 Локальный подход к решению фундаментальных задач искусственного интеллекта   154

4.1. Локальный подход к выбору представления задач .............................................................................. 155

4.1.1. Принцип семиотической интроспекции (156)

4.1.2. Семиотическая интроспекция в задаче «крепкий орешек» (158)

4.2. Вариации на тему задачи “крепкий орешек”......................................................................................... 160

4.2.1. Иерархия проблем (161)

4.2.2. Работа с произвольным массивом клеток (172)

4.2.3. Локальное управление потоками такси (178)

4.2.4. Имитационное моделирование (180)

4.3. Локальный подход при эволюционном конструировании (182)

4.3.1. Аргументы в сравнении со знаниями (184)

4.4. Локальное формирование простых фреймов............................................................................................ 186

4.4.1. Суть проведенных экспериментов (186)

4.4.2. Эксперименты с программой формирования фреймов (187)

4.4.3. Оценка целесообразности обобщения ситуаций (195)

4.5. Формальная теория представления знаний и локального обучения...................................................... 197

4.5.1. Основные определения (198)

4.5.2. Примеры конкретизации теории в приложениях (201)

4.5.3. Сети образцов (202)

4.5.4. Сети продукций ( р -сети) (207)

4.6. Некоторые аспекты теории локально-организованных человеко-машинных (экспертных) систем ......... 209

4.6.1. Экспертные системы метауровня (209)

4.6.2. Использование нечеткой логики (211)

4.6.3. Получение закона объединения свидетельств (213)

4.6.4. Взаимозависимость свидетельств (214)

4.6.5. Принцип максимального доверия свидетельствам (216)

4.7. Выводы по главе 4............................................................................................................................................. 218

Глава 5 Использование локальной организации при разработке
прикладных программных и человеко-машинных систем
.................................................................... 220

5.1. Локальный подход в программировании........................................................................................................ 222

5.1.1. Проблема взаимодействия подпрограмм в локально-организованной программе (224)

5.1.2. Рекурсивное взаимодействие при вычислении арифметических функций (230)

5.1.3. Наглядное программирование вычислений (234)

5.1.4. Интерактивная система программирования ЭКЛИСП (236)

5.1.5. Комментирующая система для языка Лисп (236)

5.2. Интеллектуальная операционная система на локальных принципах  ...................................................... 239

5.3. Локальная организация гибкого обслуживания в системе Лисп   .............................................................242

5.3.1. Принципы организации системы (242)

5.3.2. Формальное описание системы (243)

5.3.3. Представление знаний в системе flex (246)

5.3.4. Описание составных частей системы flex (248)

5.3.5. flex как экспертная система (251)

5.4. Локально обучающаяся система поддержки ввода информации............................................................... 253

5.4.1. Диалоговая система как автомат (254)

5.4.2. Описание системы prompter в виде формальной модели (255)

5.4.3. Теоретико-категорное описание системы (257)

5.4.4. Выбор параметров в системе prompter (260)

5.4.5. Применение системы prompter при работе с портовой документацией (262)

5.4.6. Детали реализации (265)

5.5. Использование знаний экспертов при выявлении последовательности оснований ДНК .................. 267

5.5.1. Постановка задачи (268)

5.5.2. Близкие работы (270)

5.5.3. Различные взгляды на определение последовательности оснований (270)

5.5.4. Локальный топологический подход (273)

5.5.5. Заключение (274)

5.6. Профилактика заражения компьютерным вирусом и получения спама через электронную почту...... 275

5.6.1. Активный фильтр для вирусов и спама (276)

5.6.2. Активный фильтр антиспам (278)

5.7. Выводы по главе 5.............................................................................................................................................. 281

П.1. Некоторые характеристики памяти со случайной выборкой в сравнении со "стопкой книг"  ..............284

П.2. Двухуровневая система управления манипулятором .................................................................................287

П.3. Примеры построения категорий для традиционных операций со знаниями в искусственном интеллекте  ......... 292

П.4. Учет побочных эффектов и организация программы снятия рекурсии ....................................................298

Список литературы....................................................................................................................................................... 307