Введение
1 Базовые определения и результаты 22
1.1 Логики 22
1.2 Примеры 32
1.2.1 Задача о монетках 32
1.2.2 Угадывание числа 35
2 Алгоритмические проблемы комбинированных логик 39
2.1 Комбинирование знании и неподвижных точек 40
2.2 Алгоритмические проблемы для комбинированных логик . 43
2.3 Асинхронные системы с забывающими агентами 40
2.4 Синхронные системы с абсолютной памятью 49
2.5 Проверка на модели приобретения знании 54
2.6 Формулы с ограниченной глубиной знаний 5G
3 Аппроксимациониый алгоритм для //-исчисления 64
3.1 Проверка на модели для //-исчисления С4
3.2 Специальная префиксная форма G5
3.3 Полиномиальная проверка на модели 67
4 Аффинное представление данных 71
4.1 Модели 72
4.1.1 Синтаксис 72
4.1.2 Семантика 73
4.1.3 От нечисловых к числовым 78
4.1.4 Пример: игра в числа 79
4.2 Ограниченные аффинные множества 80
4.2.1 Представление пропозициональных констант и действий 81
4.2.2 Операции на аффинных множествах 83
4.2.3 Оптимизация 87
4.2.4 Проверка включения 89
4.3 Векторно-аффинные множества 92
4.3.1 Представление пропозициональных констант и действий 93
4.3.2 Операции на векторно-аффинных множествах 95
4.3.3 Оптимизация 99
4.3.4 Проверка включения 101
4.4 Векторно-аффинные множества versus BDD 104
4.5 Аффинная проверка на моделях комбинированных логик 108
4.5.1 Агенты в описании моделей 108
4.5.2 Агенты и забывающие агенты 111
4.5.3 Агенты с абсолютной памятью 113
4.5.4 Представление пропозициональных констант и действий 113
4.5.5 Операции на аффинных деревьях 115
4.5.G Оптимизация 121
4.5.7 Проверка включения 122
5 На пути к реализации 125
5.1 Система проверки на модели Экзаменатор 125
5.2 Интерфейс и параметры программы 127
5.3 Эксперимент 127
Заключение 129
Комбинированные логики 129
