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

Обложка ......Page 1
Титульный лист ......Page 4
Выходные данные ......Page 5
Предисловие редактора перевода ......Page 6
Предисловие ......Page 8
1.1.2. Словарь ......Page 12
1.1.3. Синтаксис исчисления высказываний ......Page 13
1.1.4. Семантика исчисления высказываний ......Page 16
1.1.5. Исчисление высказываний и естественный язык ......Page 17
1.1.6. Выполнимые и общезначимые формулы ......Page 21
1.1.7. Алгоритмическая точка зрения ......Page 24
1.1.8. Алгоритм редукции ......Page 27
1.1.9. Алгебраический подход ......Page 28
1.1.10. Дизъюнкты и нормальные формы ......Page 31
1.1.11. Алгоритм Девиса и Патнема ......Page 34
1.1.12. Принцип резолюций ......Page 38
1.1.13. Доказательства невыполнимости, основанные на принципе резолюций ......Page 39
1.1.14. Приложения и примеры использования метода резолюций ......Page 43
1.1.15. Неклаузальное правило резолюций ......Page 45
1.1.16. Хорновские дизъюнкты ......Page 46
1.1.17. Хорновские дизъюнкты и КС-грамматики ......Page 50
1.1.18. Теорема компактности ......Page 52
1.2.1. Введение ......Page 55
1.2.2. Словарь ......Page 58
1.2.3. Синтаксис исчисления предикатов ......Page 59
1.2.4. Свободные и связанные переменные, область действия ......Page 60
1.2.5. Семантика исчисления предикатов ......Page 63
1.2.6. Подстановка и конкретизация ......Page 67
1.2.7. Предваренная и нормальные формы ......Page 70
1.2.8. Сколемовские и клаузальные формы ......Page 73
1.2.9. Эрбранова интерпретация и компактность ......Page 77
1.2.10. Два простых примера ......Page 81
1.2.11. Алгоритм Куайна, Девиса и Патнема ......Page 84
1.2.12. Фундаментальная резолюция ......Page 85
1.2.13. Унификация ......Page 86
1.2.14. Метод резолюций ......Page 88
1.2.15. Принцип логического программирования ......Page 90
2.1.1. Введение ......Page 93
2.1.2. Свойства аксиоматических систем ......Page 94
2.1.3. Простая аксиоматическая система исчисления высказываний ......Page 95
2.1.4. Несколько интересных теорем ......Page 96
2.1.5. Полнота ......Page 99
2.1.6. Польза аксиоматических систем ......Page 101
2.1.7. Система натурального вывода ......Page 103
2.1.8. Классические аксиомы для квантификации ......Page 106
2.1.9. Натуральный вывод в логике предикатов ......Page 108
2.1.10. Равенство в исчислении предикатов ......Page 109
2.2.1. Введение ......Page 112
2.2.2. Неформальные и формальные теории ......Page 113
2.2.3. Польза теорий ......Page 115
2.2.4. Теория частичного Порядка ......Page 118
2.2.5. Модели теории ......Page 120
2.2.6. Алгоритмы и разрешимость ......Page 124
2.2.7. Алгоритмический язык Тьюринга ......Page 128
2.2.8. Алгоритмический язык Гёделя ......Page 132
2.2.9. Кодирование и тезис Чёрча ......Page 134
2.2.10. Класс вычислимых функций ......Page 137
2.2.11. Проблема остановки ......Page 140
3.1.1. Введение ......Page 142
3.1.2. Синтаксис логики предикатов ......Page 143
3.1.4. Преобразование унарных предикатов в бинарные ......Page 145
3.1.5. Примеры ......Page 146
3.1.6. Преобразование m-арных предикатов в произведение бинарных ......Page 147
3.1.7. Явное представление ссылок ......Page 149
3.1.9. Примеры ......Page 150
3.1.10. Семантика логики предикатов ......Page 151
3.1.11. Модальная логика предикатов ......Page 153
3.1.12. Модальные операторы ......Page 154
3.1.13. Примеры модальных операторов ......Page 155
3.1.15. Примеры ......Page 156
3.1.16. Трехзначная семантика для модальной логики предикатов ......Page 158
3.1.17. Семантика возможных миров ......Page 159
3.1.18. Ламбда-исчисление ......Page 161
3.1.19. Рассуждения, использующие логические формулы ......Page 163
3.1.20. Пример ......Page 164
3.1.21. Рассуждения по поводу знаний ......Page 166
3.1.22. Системы прямой дедукции ......Page 167
3.1.23. Системы обратной дедукции ......Page 168
3.2.1. Введение ......Page 169
3.2.2. Концептуальные графы ......Page 170
3.2.3. Пример и терминология ......Page 171
3.2.4. Семантические сети ......Page 173
3.2.6. Представление контекста ......Page 174
3.2.7. Представление «совокупность-ссылка» ......Page 176
3.2.9. Пример введения кванторов ......Page 178
3.2.10. Временные и модальные операторы ......Page 180
3.2.11. Канонические графы ......Page 182
3.2.12. Правила построения ......Page 183
3.2.13. Унаследованные свойства ......Page 184
3.2.14. Решетки типов; иерархии типов ......Page 186
3.2.15. Решетки множеств и решетки типов ......Page 187
3.2.16. Определение типа посредством рода и различия ......Page 189
3.2.17. Прототипы ......Page 190
3.2.18. Схемы и схематические кластеры ......Page 191
3.2.19. Рассуждения, использующие семантические сети ......Page 193
3.2.20. Заключение ......Page 195
3.3.1. Введение ......Page 197
3.3.3. Фреймы и слоты ......Page 198
3.3.4. Явные фреймы ......Page 199
3.3.6. V-квантификация ......Page 200
3.3.8. Паросочетание ......Page 201
3.3.9. Функциональные атрибуты ......Page 203
3.3.10. Автоматические рассуждения, использующие фреймы ......Page 204
3.3.11. Иерархические рассуждения, использующие фреймы ......Page 205
3.3.12. Рассуждения с умолчаниями ......Page 207
3.3.13. Заключение ......Page 209
4.1.2. Логика как средство для представления знаний и рассуждений ......Page 210
4.1.3. Логика как формализм ссылок ......Page 214
4.1.4. Неизбежность логики ......Page 215
4.1.5. Анализ знаний и рассуждений ......Page 216
4.1.6. Заключение ......Page 217
4.2.2. Классическая логика и общезначимые рассуждения ......Page 218
4.2.3. Характеристики немонотонных логик ......Page 221
4.2.4. Зацикливание правил немонотонного вывода ......Page 224
4.2.6. Различные формы немонотонных рассуждений ......Page 226
4.3.1. Введение ......Page 228
4.3.3. Примеры применения умолчаний ......Page 230
4.3.4. Расширения теорий с умолчаниями ......Page 232
4.3.5. Примеры расширений теорий с умолчаниями ......Page 233
4.3.6. Нормальные теории ......Page 234
4.3.7. Теория доказательств для нормальных теорий ......Page 235
4.3.8. Полунормальные теории ......Page 237
4.3.9. Наследственные системы с исключениями ......Page 238
4.4.2 Некоторые элементарные модальные системы ......Page 240
4.4.3. Семантика возможных миров ......Page 243
4.5. Немонотонные логики Мак-Дермотта ......Page 246
4.5.2. Язык логики Мак-Дермотта ......Page 247
4.5.3. Пример немонотонной аксиоматической системы ......Page 248
4.5.5. Ценность логики Мак-Дермотта ......Page 253
4.6.1. Введение ......Page 254
4.6.2. Язык и семантика ......Page 255
4.6.3. Характеризагция синтаксиста ......Page 257
4.6.4. Анализ немонотонной логики ......Page 258
4.6.5. Семантика возможных миров ......Page 261
4.6.6. Пример ......Page 264
4.6.7. Области применения ......Page 266
5.1.1. Введение ......Page 267
5.1.2. КС-грамматики ......Page 269
5.1.3. Формальное определение КС-грамматики ......Page 271
5.1.4. КС-грамматика и хорновские дизъюнкты ......Page 275
5.1.5. ОК-грамматики ......Page 279
5.1.6. ОК-грамматики и логика ......Page 284
5.1.7. Построение синтаксического дерева ......Page 288
5.1.8. ОК-грамматики в Прологе ......Page 291
5.1.9. Пример ......Page 294
5.1.10. Графическое представление и стратегии ......Page 296
5.2.1. Введение ......Page 300
5.2.2. Регулярные грамматики ......Page 301
5.2.3. Конечные автоматы ......Page 302
5.2.4. Пример ......Page 305
5.2.5. КС-грамматики и стековые автоматы ......Page 306
5.2.6. Пример ......Page 309
5.2.7. Грамматики и языки Хомского типа 1 ......Page 311
5.2.8. Машины Тьюринга и грамматики типа 0 ......Page 312
5.3.1. Введение ......Page 315
5.3.2. Конечные автоматы и диаграммы переходов ......Page 316
5.3.3. Базовые сети переходов ......Page 317
5.3.4. Пример ......Page 319
5.3.5. Рекурсивные сети переходов ......Page 321
5.3.6. Пример ......Page 324
5.3.7. Усиленные сети переходов ......Page 327
5.3.8. Пример ......Page 328
5.3.9. Построение синтаксического дерева ......Page 329
5.3.10. УП-сети и ОК-грамматики ......Page 331
6.1.1. Введение ......Page 334
6.1.2. Термы и объекты ......Page 336
6.1.3. Факты и элементарные вопросы ......Page 338
6.1.5. Переменные ......Page 341
6.1.6. Анонимные переменные ......Page 345
6.1.7. Правила ......Page 346
6.1.9. Дизъюнкция ......Page 349
6.1.10. Отрицание ......Page 350
6.1.11. Области действия имен ......Page 351
6.1.12. Операторы ......Page 352
6.2.1. Введение ......Page 353
6.2.2. Соответствие и унификация ......Page 355
6.2.3. Вычисление ответа ......Page 359
6.2.4. Встроенные предикаты ......Page 363
6.2.5. Отсечение ......Page 367
6.3.2. Вычислительные процедуры ......Page 372
6.3.3. Списки ......Page 377
6.3.4. Операции над списками ......Page 379
6.3.5. Перестановки и сортировки ......Page 381
6.3.6. Представление списка в виде разности списков ......Page 385
6.3.7. Ввод-вывод ......Page 386
6.3.8. Примеры ввода-вывода ......Page 388
6.3.9. Анализ и построение термов ......Page 390
6.3.10. Объявление оператора ......Page 392
6.3.11. Поиск в пространстве решений ......Page 395
6.4.2. Распознавание КС-фраз ......Page 400
6.4.3. Анализ КС-фраз ......Page 404
6.4.4. ОК-грамматики и атрибутные грамматики ......Page 408
Литература ......Page 412
Предметный указатель ......Page 419
Оглавление ......Page 425