Диссертация - Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
Содержание
Оглавление
Введение...5
Глава 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
