Введение
Глава 1. Границы развития интенсиональной доктрины 32
1.1. Проблемы и парадоксы экстенсиональной логики 32
1.1.1. Структур а формализованного языка 33
а) Формальная система 33
б) Семантические правила интерпретации 41
1.1.2. Особенности экстенсионального и интенсионального подходов в логической семантике 46
а) Экстенсиональное направление 47
б) Парадоксы интенсионального контекста 51
в) Революция в интенсиональном направлении 53
1.2. От описания корректности работы программ к описанию работы недетерминированных систем 55
1.2.1. Логика Хоара как альтернатива тестированию 55
1.2.2. Средний терм в динамической логике и логике игр 59
а) Динамическая логика 59
б) От процессов к играм 60
в) Динамическая логика игр 63
1.3. Язык как средний терм при переносе информации 65
1.3.1.Компиляторы и их корректность 65
1.3.2.Проблема передачи знания 68
Глава 2. Подходы к описанию параллельных процессов и игр 77
2.1. Опыт описания параллельных процессов 77
2.1.1. Параллелизм в математике, логике и теоретической информатике 78
а) Алгебра параллельных процессов 78
б) Конкурентная динамическая логика 84
в) Мультипликативная линейная логика 87
г) Сети Петри 94
2.1.2. Параллелизм в теории формальных языков 105
а) Индийская и русская параллельные грамматики 107
б) Системы Линденмайера 109
в) Колонии 111
г) Взаимодействующие распределенные системы грамматик 113
д) Системы эко грамматик 115
е) Параллельные коммуникативные системы грамматик 118
ж) Параллельные коммуникативные системы Линденмайера 124
з) Траектории для операции тасования 126
2.2. Смысл параллелизма для логики 128
2.2.1.Естественнонаучные корни метафоры параллелизма 128
2.2.2.Роль коммуникации для параллельных игр 131
2.3. Альтернирующая динамическая логика игр 134
2.3.1. Уточнение семантики 134
2.3.2. Модель АДЛИ1.1 142
2.3.3. Аксиоматика АДЛИ 1.1 149
Глава 3. Модель ограниченной рациональности для динамической логики игр 151
3.1. Введение в теоретико-игровую семантику 151
3.1.1. Экстенсивная форма. Стратегия и отношение вынуждения 153
3.1.2. Стратегическая форма 159
3.1.3. Учет ресурсов при задании игр , 162
3.2. Ограниченная рациональность 164
3.2.1.Виды дефицита информации 164
3.2.2.Подход к описанию игр с ограниченной рациональностью 167
а) Информированность игроков о состояниях, действиях и стратегиях 167
б) Успешные нити и выигрышные стратегии 170
в) Квазивыигрышная стратегия 172
3.3. Базовые элементы семантики динамической логики игр с ограниченной рациональностью 174
3.3.1.Игра и линейная форма ее представления 174
3.3.2. Отношение вынуждения для игр с ограниченной рациональностью 178
3.3.3. От теоретико-игровых состояний к теоретико-модельным мирам 180
3.3.4. Явные и неявные способы описания миров 181
3.4. Параллельные игры с ограниченной рациональностью 184
3.4.1.Игровая форма и модель игры 184
3.4.2. Синтаксис и семантика 187
Заключение 191
Литература 195
