Логический подход к искусственному интеллекту. Книга 1: От классической логики к логическому программированию

Титульный лист ......Page 3
Выходные данные ......Page 4
Предисловие редактора перевода ......Page 5
Предисловие ......Page 7
1.1.2. Словарь ......Page 11
1.1.3. Синтаксис исчисления высказываний ......Page 12
1.1.4. Семантика исчисления высказываний ......Page 15
1.1.5. Исчисление высказываний и естественный язык ......Page 16
1.1.6. Выполнимые и общезначимые формулы ......Page 20
1.1.7. Алгоритмическая точка зрения ......Page 23
1.1.8. Алгоритм редукции ......Page 26
1.1.9. Алгебраический подход ......Page 27
1.1.10. Дизъюнкты и нормальные формы ......Page 30
1.1.11. Алгоритм Девиса и Патнема ......Page 33
1.1.12. Принцип резолюций ......Page 37
1.1.13. Доказательства невыполнимости, основанные на принципе резолюций ......Page 38
1.1.14. Приложения и примеры использования метода резолюций ......Page 42
1.1.15. Неклаузальное правило резолюций ......Page 44
1.1.16. Хорновские дизъюнкты ......Page 45
1.1.17. Хорновские дизъюнкты и КС-грамматики ......Page 49
1.1.18. Теорема компактности ......Page 51
1.2.1. Введение ......Page 54
1.2.2. Словарь ......Page 57
1.2.3. Синтаксис исчисления предикатов ......Page 58
1.2.4. Свободные и связанные переменные, область действия ......Page 59
1.2.5. Семантика исчисления предикатов ......Page 62
1.2.6. Подстановка и конкретизация ......Page 66
1.2.7. Предваренная и нормальные формы ......Page 69
1.2.8. Сколемовские и клаузальные формы ......Page 72
1.2.9. Эрбранова интерпретация и компактность ......Page 76
1.2.10. Два простых примера ......Page 80
1.2.11. Алгоритм Куайна, Девиса и Патнема ......Page 83
1.2.12. Фундаментальная резолюция ......Page 84
1.2.13. Унификация ......Page 85
1.2.14. Метод резолюций ......Page 87
1.2.15. Принцип логического программирования ......Page 89
2.1.1. Введение ......Page 92
2.1.2. Свойства аксиоматических систем ......Page 93
2.1.3. Простая аксиоматическая система исчисления высказываний ......Page 94
2.1.4. Несколько интересных теорем ......Page 95
2.1.5. Полнота ......Page 98
2.1.6. Польза аксиоматических систем ......Page 100
2.1.7. Система натурального вывода ......Page 102
2.1.8. Классические аксиомы для квантификации ......Page 105
2.1.9. Натуральный вывод в логике предикатов ......Page 107
2.1.10. Равенство в исчислении предикатов ......Page 108
2.2.1. Введение ......Page 111
2.2.2. Неформальные и формальные теории ......Page 112
2.2.3. Польза теорий ......Page 114
2.2.4. Теория частичного Порядка ......Page 117
2.2.5. Модели теории ......Page 119
2.2.6. Алгоритмы и разрешимость ......Page 123
2.2.7. Алгоритмический язык Тьюринга ......Page 127
2.2.8. Алгоритмический язык Гёделя ......Page 131
2.2.9. Кодирование и тезис Чёрча ......Page 133
2.2.10. Класс вычислимых функций ......Page 136
2.2.11. Проблема остановки ......Page 139
3.1.1. Введение ......Page 141
3.1.2. Синтаксис логики предикатов ......Page 142
3.1.4. Преобразование унарных предикатов в бинарные ......Page 144
3.1.5. Примеры ......Page 145
3.1.6. Преобразование m-арных предикатов в произведение бинарных ......Page 146
3.1.7. Явное представление ссылок ......Page 148
3.1.9. Примеры ......Page 149
3.1.10. Семантика логики предикатов ......Page 150
3.1.11. Модальная логика предикатов ......Page 152
3.1.12. Модальные операторы ......Page 153
3.1.13. Примеры модальных операторов ......Page 154
3.1.15. Примеры ......Page 155
3.1.16. Трехзначная семантика для модальной логики предикатов ......Page 157
3.1.17. Семантика возможных миров ......Page 158
3.1.18. Ламбда-исчисление ......Page 160
3.1.19. Рассуждения, использующие логические формулы ......Page 162
3.1.20. Пример ......Page 163
3.1.21. Рассуждения по поводу знаний ......Page 165
3.1.22. Системы прямой дедукции ......Page 166
3.1.23. Системы обратной дедукции ......Page 167
3.2.1. Введение ......Page 168
3.2.2. Концептуальные графы ......Page 169
3.2.3. Пример и терминология ......Page 170
3.2.4. Семантические сети ......Page 172
3.2.6. Представление контекста ......Page 173
3.2.7. Представление «совокупность-ссылка» ......Page 175
3.2.9. Пример введения кванторов ......Page 177
3.2.10. Временные и модальные операторы ......Page 179
3.2.11. Канонические графы ......Page 181
3.2.12. Правила построения ......Page 182
3.2.13. Унаследованные свойства ......Page 183
3.2.14. Решетки типов; иерархии типов ......Page 185
3.2.15. Решетки множеств и решетки типов ......Page 186
3.2.16. Определение типа посредством рода и различия ......Page 188
3.2.17. Прототипы ......Page 189
3.2.18. Схемы и схематические кластеры ......Page 190
3.2.19. Рассуждения, использующие семантические сети ......Page 192
3.2.20. Заключение ......Page 194
3.3.1. Введение ......Page 196
3.3.3. Фреймы и слоты ......Page 197
3.3.4. Явные фреймы ......Page 198
3.3.6. V-квантификация ......Page 199
3.3.8. Паросочетание ......Page 200
3.3.9. Функциональные атрибуты ......Page 202
3.3.10. Автоматические рассуждения, использующие фреймы ......Page 203
3.3.11. Иерархические рассуждения, использующие фреймы ......Page 204
3.3.12. Рассуждения с умолчаниями ......Page 206
3.3.13. Заключение ......Page 208
4.1.2. Логика как средство для представления знаний и рассуждений ......Page 209
4.1.3. Логика как формализм ссылок ......Page 213
4.1.4. Неизбежность логики ......Page 214
4.1.5. Анализ знаний и рассуждений ......Page 215
4.1.6. Заключение ......Page 216
4.2.2. Классическая логика и общезначимые рассуждения ......Page 217
4.2.3. Характеристики немонотонных логик ......Page 220
4.2.4. Зацикливание правил немонотонного вывода ......Page 223
4.2.6. Различные формы немонотонных рассуждений ......Page 225
4.3.1. Введение ......Page 227
4.3.3. Примеры применения умолчаний ......Page 229
4.3.4. Расширения теорий с умолчаниями ......Page 231
4.3.5. Примеры расширений теорий с умолчаниями ......Page 232
4.3.6. Нормальные теории ......Page 233
4.3.7. Теория доказательств для нормальных теорий ......Page 234
4.3.8. Полунормальные теории ......Page 236
4.3.9. Наследственные системы с исключениями ......Page 237
4.4.2 Некоторые элементарные модальные системы ......Page 239
4.4.3. Семантика возможных миров ......Page 242
4.5. Немонотонные логики Мак-Дермотта ......Page 245
4.5.2. Язык логики Мак-Дермотта ......Page 246
4.5.3. Пример немонотонной аксиоматической системы ......Page 247
4.5.5. Ценность логики Мак-Дермотта ......Page 252
4.6.1. Введение ......Page 253
4.6.2. Язык и семантика ......Page 254
4.6.3. Характеризагция синтаксиста ......Page 256
4.6.4. Анализ немонотонной логики ......Page 257
4.6.5. Семантика возможных миров ......Page 260
4.6.6. Пример ......Page 263
4.6.7. Области применения ......Page 265
5.1.1. Введение ......Page 266
5.1.2. КС-грамматики ......Page 268
5.1.3. Формальное определение КС-грамматики ......Page 270
5.1.4. КС-грамматика и хорновские дизъюнкты ......Page 274
5.1.5. ОК-грамматики ......Page 278
5.1.6. ОК-грамматики и логика ......Page 283
5.1.7. Построение синтаксического дерева ......Page 287
5.1.8. ОК-грамматики в Прологе ......Page 290
5.1.9. Пример ......Page 293
5.1.10. Графическое представление и стратегии ......Page 295
5.2.1. Введение ......Page 299
5.2.2. Регулярные грамматики ......Page 300
5.2.3. Конечные автоматы ......Page 301
5.2.4. Пример ......Page 304
5.2.5. КС-грамматики и стековые автоматы ......Page 305
5.2.6. Пример ......Page 308
5.2.7. Грамматики и языки Хомского типа 1 ......Page 310
5.2.8. Машины Тьюринга и грамматики типа 0 ......Page 311
5.3.1. Введение ......Page 314
5.3.2. Конечные автоматы и диаграммы переходов ......Page 315
5.3.3. Базовые сети переходов ......Page 316
5.3.4. Пример ......Page 318
5.3.5. Рекурсивные сети переходов ......Page 320
5.3.6. Пример ......Page 323
5.3.7. Усиленные сети переходов ......Page 326
5.3.8. Пример ......Page 327
5.3.9. Построение синтаксического дерева ......Page 328
5.3.10. УП-сети и ОК-грамматики ......Page 330
6.1.1. Введение ......Page 333
6.1.2. Термы и объекты ......Page 335
6.1.3. Факты и элементарные вопросы ......Page 337
6.1.5. Переменные ......Page 340
6.1.6. Анонимные переменные ......Page 344
6.1.7. Правила ......Page 345
6.1.9. Дизъюнкция ......Page 348
6.1.10. Отрицание ......Page 349
6.1.11. Области действия имен ......Page 350
6.1.12. Операторы ......Page 351
6.2.1. Введение ......Page 352
6.2.2. Соответствие и унификация ......Page 354
6.2.3. Вычисление ответа ......Page 358
6.2.4. Встроенные предикаты ......Page 362
6.2.5. Отсечение ......Page 366
6.3.2. Вычислительные процедуры ......Page 371
6.3.3. Списки ......Page 376
6.3.4. Операции над списками ......Page 378
6.3.5. Перестановки и сортировки ......Page 380
6.3.6. Представление списка в виде разности списков ......Page 384
6.3.7. Ввод-вывод ......Page 385
6.3.8. Примеры ввода-вывода ......Page 387
6.3.9. Анализ и построение термов ......Page 389
6.3.10. Объявление оператора ......Page 391
6.3.11. Поиск в пространстве решений ......Page 394
6.4.2. Распознавание КС-фраз ......Page 399
6.4.3. Анализ КС-фраз ......Page 403
6.4.4. ОК-грамматики и атрибутные грамматики ......Page 407
Литература ......Page 411
Предметный указатель ......Page 418
Оглавление ......Page 424