Логический подход к искусственному интеллекту. Книга 2: От модальной логики к логике баз данных

Титульный лист ......Page 3
Выходные данные ......Page 4
Предисловие редактора перевода ......Page 5
Предисловие ......Page 7
1.1.1. Введение ......Page 18
1.1.2. Естественные и формальные языки ......Page 19
1.1.3. Характеристики естественных языков ......Page 21
1.1.4. Характеристики формальных языков ......Page 23
1.1.5. Логическое исследование естественных языков ......Page 25
1.1.6. Логическая обработка формальных языков ......Page 28
1.1.7. Заключение ......Page 29
1.2.2. Логика высказываний ......Page 30
1.2.3. Синтаксис и семантика модальной логики ......Page 34
1.2.4. Примеры и приложения ......Page 37
1.2.5. Бинарные отношения и схемы формул ......Page 41
1.2.6. Оценки и тавтологии ......Page 42
1.2.7. Логики ......Page 44
1.2.8. Аксиоматические системы ......Page 46
1.2.9. Мультимодальные языки ......Page 48
1.2.10. Временная логика ......Page 49
1.2.11. Динамическая логика ......Page 55
1.2.13. Логика предикатов (первого порядка) ......Page 57
1.2.14. Модель логики первого порядка ......Page 61
1.2.15. Модальная логика предикатов ......Page 63
1.2.16. Модель и семантика модальной логики предикатов ......Page 67
1.2.17. Динамическая логика первого порядка ......Page 69
1.3.2. Модальная логика и формализация веры ......Page 71
1.3.3. Логика предикатов и формализация рассуждений ......Page 75
1.3.4. Логика предикатов и математика ......Page 81
2.1.1. Введение ......Page 85
2.1.2. Формальная семантика и естественный язык ......Page 86
2.1.3. Рекурсивная семантика Девидсона ......Page 88
2.1.4. Нововведения Монтегю ......Page 91
2.1.5. Подход, предложенный Монтегю ......Page 93
2.2.2. Синтаксис и семантика языка высказываний ......Page 95
2.2.3. Абсолютная истина и истина в модели ......Page 99
2.2.4. Синтаксис и семантика логического языка первого порядка ......Page 102
2.2.5. Пример ......Page 106
2.2.6. Функциональное определение семантики ......Page 107
2.2.7. Типизированная форма языка L1 ......Page 111
2.2.8. Логический язык порядка выше 1 ......Page 115
2.2.9. Ламбда-исчисление и язык L1 ......Page 118
2.2.10. Ламбда-исчисление и язык L_t ......Page 120
2.2.11. Мультимодальный язык L_m ......Page 124
2.2.12. Пример ......Page 128
2.3.2. Смысл и денотат ......Page 131
2.3.3. Принцип композиции в контексте без денотата ......Page 132
2.3.4. Интенция и экстенция ......Page 134
2.3.5. Пример ......Page 135
2.3.6. Формализация интенции ......Page 136
2.3.7. Синтаксис интенсиональной логики ......Page 138
2.3.8. Интерпретация интенсиональной логики ......Page 140
2.3.9. Семантика интенсиональной логики ......Page 143
2.3.10. Краткое повторение интенсиональной логики ......Page 144
2.3.11. Наречие «необходимо», относящееся к фразе ......Page 150
2.3.12. Атрибутивные и предикативные прилагательные ......Page 151
2.3.13. Наведение единообразия в семантическом исследовании ......Page 155
3.1.1. Введение ......Page 157
3.1.2. Программа Монтегю ......Page 158
3.1.3. Естественный и формальный языки ......Page 160
3.1.4. Условия адекватности семантики ......Page 162
3.1.5. Формальная семантика естественного языка ......Page 165
3.1.6. Категориальная грамматика ......Page 168
3.1.7. Рекурсивная семантика ......Page 169
3.2.1. Введение ......Page 172
3.2.2. Категориальная грамматика Монтегю ......Page 173
3.2.3. Синтаксис категориальной грамматики ......Page 176
3.2.4. Примеры ......Page 180
3.2.5. Введение в формализм перевода ......Page 186
3.2.6. Перевод базисных выражений ......Page 189
3.2.7. Перевод правил функционального воздействия ......Page 191
3.2.8. Критерий адекватности логики естественного языка ......Page 193
3.2.9. Правила перевода артиклей ......Page 195
3.2.10. Дополнительные правила ......Page 196
3.2.11. Перевод экстенсиональных фраз ......Page 199
3.2.12. Перевод интенсиональных фраз ......Page 201
3.2.13. Постулаты осмысления ......Page 204
3.2.14. Пример постулата осмысления ......Page 206
3.2.15. Примеры перевода фраз, содержащих модальности ......Page 208
3.3.1. Трудности, присущие семантике Монтегю ......Page 209
3.3.2. Теория представления наборов фраз ......Page 211
3.3.3. Семантика ситуаций ......Page 214
3.3.4. Булева семантика ......Page 217
3.3.5. Обобщенные грамматики структуры фразы ......Page 220
4.1.2. Синтаксис линейной временной логики ......Page 222
4.1.3. Семантика линейной временной логики ......Page 223
4.1.5. Аксиоматизация ......Page 227
4.2. Временная логика и конечные автоматы ......Page 230
4.2.1. Конечные автоматы над бесконечными словами ......Page 231
4.2.2. w-регулярные языки ......Page 235
4.2.3. От временной логики к автоматам Бюхи ......Page 241
4.2.4. Автомат Бюхи, ассоциированный с формулой ......Page 245
4.2.5. Построение локального автомата ......Page 247
4.2.6. Построение автомата фатальности ......Page 249
4.2.7. Композиция двух автоматов ......Page 252
4.2.8. Автомат над алфавитом 2^Р ......Page 254
4.2.9. Алгоритмические аспекты ......Page 255
4.2.10. Обобщенная временная логика ......Page 256
4.2.11. Определение обобщенной логики ......Page 258
4.2.12. Автоматы над конечными словами ......Page 262
4.2.13. Заключение ......Page 263
4.3.2. Синтаксис ......Page 265
4.3.3. Семантика ......Page 267
4.3.4. Аксиоматическая система ......Page 269
4.4.1. Введение ......Page 272
4.4.2. Вводный пример ......Page 273
4.4.3. Моделирование программы ......Page 279
4.4.4. Пример: алгоритм Петерсона ......Page 282
4.4.5. Временная теория программы ......Page 284
4.4.6. Свойства программы ......Page 288
4.4.7. Свойства инвариантности алгоритма Петерсона ......Page 289
4.4.8. Правильность алгоритма Петерсона ......Page 291
4.4.9. Верификация во временной логике высказываний ......Page 293
4.4.10. Моделирование программ с помощью конечных автоматов ......Page 295
4.4.11. Автоматы для процессов ......Page 297
4.4.12. Автоматы для переменных ......Page 299
4.4.13. Моделирование гипотезы правильности ......Page 301
4.4.14. Спецификация и верификация ......Page 302
4.5.1. Введение ......Page 304
4.5.2. Синтаксис ......Page 306
4.5.3. Семантика ......Page 307
4.5.4. Логика CTL ......Page 309
4.5.5. Применение к верификации программ ......Page 311
5.1.1. Модифицируемые рассуждения в искусственном интеллекте ......Page 314
5.1.2. Разновидности модифицируемых рассуждений ......Page 315
5.1.3. Свойства немонотонных логик ......Page 317
5.1.4. Подходы, изложенные в [232] ......Page 318
5.1.5. Подходы через минимизацию ......Page 319
5.2.1. Логический язык ......Page 321
5.2.2. Теория доказательств и семантический подход ......Page 323
5.2.3. Эрбрановские канонические модели ......Page 325
5.2.4. Клаузальные формы ......Page 326
5.2.5. Различные подъязыки ......Page 327
5.3.1. Введение ......Page 331
5.3.2. Формальное определение ......Page 332
5.3.3. Свойства и ограничения ......Page 333
5.3.4. Дополнительные соглашения ......Page 336
5.3.5. Ограниченная гипотеза замкнутого мира ......Page 338
5.4.1. Введение ......Page 339
5.4.2. Формальное определение ......Page 341
5.4.3. Пример ......Page 342
5.4.4. Свойства и ограничения ......Page 343
5.4.5. Гипотеза замкнутого мира и пополнение предиката ......Page 345
5.5.1. Применение в логическом программировании ......Page 346
5.5.2. Обобщение на дедуктивные базы данных ......Page 349
5.6.1. Введение ......Page 353
5.6.2. Минимальные модели ......Page 354
5.6.3. Формальное определение ......Page 355
5.6.4. Пример ......Page 356
5.6.5. Свойства ......Page 358
5.7.1. Введение ......Page 361
5.7.2. Избранные модели ......Page 362
5.7.3. Применение к немонотонным логикам ......Page 364
5.7.4. Возможные обобщения ......Page 367
5.7.5. Рациональность модифицируемого рассуждения ......Page 368
5.8. Заключение ......Page 374
6.1. Введение ......Page 376
6.2.1. Значение реляционной модели ......Page 379
6.2.2. Основные реляционные понятия ......Page 380
6.2.3. Реляционная алгебра ......Page 386
6.2.4. Реляционный язык ......Page 389
6.2.5. Замечание по поводу запросов ......Page 392
6.2.6. От реляционного языка к реляционной алгебре ......Page 393
6.3.1. Определение ......Page 396
6.3.2. Семантический подход ......Page 397
6.3.3. Аксиоматический подход ......Page 398
6.3.4. Соответствие между семантическим и аксиоматическим подходами ......Page 401
6.3.5. Резюме ......Page 404
6.4.1. Введение ......Page 405
6.4.2. Дедуктивные базы данных ......Page 406
6.4.3. Семантический подход ......Page 410
6.4.4. Аксиоматический подход ......Page 412
6.4.5. Иерархические базы данных ......Page 414
6.4.6. Рекурсивные правила в строгих базах данных ......Page 419
6.5.1. Введение ......Page 427
6.5.2. ГЗМ и дедуктивные базы данных ......Page 429
6.5.3. Обобщенная гипотеза замкнутого мира ......Page 433
6.5.4. Стратифицированные базы данных ......Page 439
6.6.1. Введение ......Page 447
6.6.2. Синтексис ......Page 450
6.6.3. Семантический подход ......Page 452
6.6.4. Оценка запросов при семантическом подходе ......Page 456
6.6.5. Аксиоматический подход ......Page 460
6.6.6. Выполнение запросов при аксиоматическом подходе ......Page 462
6.6.7. Сравнение семантического и аксиоматического подходов ......Page 466
6.6.8. Другой метод выполнения запросов ......Page 467
6.7. Заключение ......Page 468
Литература ......Page 471
Оглавление ......Page 487
Обложка ......Page 495