Введение
ГЛАВА 2. Асинхронные алгебраические сети 19
ГЛАВА 3. Рассуждающие сети (reasoning net) 23
ГЛАВА 4. Рефлексивные рассуждающие сети 26
4.1.Теория и семантика рефлексивных систем Лефевра. Полиномы Лефевра 27
4.2.Семантика RRN 28
4.3. Структура взаимодействия процессов, реализующих «фантом» Лефевра 29
4.4.Модели взаимодействия процессов 30
4.5. Алгебраические RRN 31
4.6.Пример рефлексивной рассуждающей сети 32
ГЛАВА 5. Элементы теории алгебраических сетей 35
5.1.0сновные определения теории алгебраических сетей 35
5.2.Алгебра абстрактной вычислительной машины (АВМ) и формулы АВМ 39
5.3. Теорема о нахождении (выделении) дерева вывода функции выходной переменной 43
5.4.Критерий противоречивости и разрешимости задачи, поставленной на AN 46
5.5.Рекурсивная (циклическая) АВМ 48
5.6.Интерпретированные АВМ. Основанная теорема AN 50
5.7.Представление вычислительной модели в виде ярусно-параллельной формы 52
ГЛАВА 6. Применение алгебраических сетей для решения практических задач 54
6.1. Моделирование рассуждений членов правительства, решающих единую задачу 54
6.2. Модель бизнес-процесса, основанного на рефлексивном менеджменте 66
6.3 .Моделирование операции «Буря в пустыне» 72
6.4.Алгебраическая сеть, описывающая модель прямолинейного движения тела 84
6.5.Моделирование операции «Террористы против пограничников» 91
Заключение 99
Список литературы 100
