Рассел С., Норвиг П. Искусственный интеллект. Современный подход (2-е изд., 2006) (1245267), страница 2
Текст из файла (страница 2)
Применение локального поиска для решения задач удовлетворения ограничений 5.4. Структура задач 5.5. Резюме Библиографические и исторические заметки Упражнения ГЛАВА 6. ПОИСК В УСЛОВИЯХ ПРОТИВОДЕЙСТВИЯ 6.1. Игры 6.2. Принятие оптимальных решений в играх Оптимальные стратегии Минимаксный алгоритм Оптимальные решения в играх с несколькими игроками 6.3. Альфа-бета-отсечение 6.4. Неидеальные решения, принимаемые в реальном времени Функции оценки Прекращение поиска 6.5. Игры, которые включают элемент случайности Оценка позиции в играх с узлами жеребьевки Сложность оценки ожидаемых минимаксных значений Карточные игры 6.6. Современные игровые программы 6.7, Обсуждение изложенных сведений 6.8. Резюме Библиографические и исторические заметки Упражнения ЧАСТЬ 111.
ЗНАНИЯ И РАССУЖДЕНИЯ ГЛАВА 7. ЛОГИЧЕСКИЕ АГЕНТЫ 7.1. Агенты, основанные на знаниях 7.2. Мир вампуса 7.3. Логика 7.4. Пропозициональная логика: очень простая логика Синтаксис Семантика Простая база знаний Логический вывод Эквивалентность, допустимость и выполнимость 7.5. Шаблоны формирования рассуждений в пропозициональной логике Резолюция Прямой и обратный логический вывод 7.6. Эффективный пропозициональный логический вывод Полный алгоритм поиска с возвратами 240 240 242 242 245 246 247 252 252 254 257 260 261 262 264 268 270 271 276 282 284 286 290 294 295 296 299 300 301 303 306 311 316 316 Содержание 318 320 322 322 324 325 330 332 333 337 ГЛАВА 8.
ЛОГИКА ПЕРВОГО ПОРЯДКА порядка 380 Алгоритмылокального поиска Трудные задачи определения выполнимости 7.7. Агенты, основанные на пропозициональной логике Поиск ям и вампусов с помощью логического вывода Слежение за местонахождением и ориентацией Агенты на основе логических схем Сопоставление двух описанных типов агентов 7.8. Резюме Библиографические и исторические заметки Упражнения 8.1. Дополнительные сведения о представлении 8.2.
Синтаксис и семантика логики первого порядка Модели для логики первого порядка Символы и интерпретации Термы Атомарные высказывания Сложные высказывания Кванторы Равенство 8.3. Использование логики первого порядка Утверждения и запросы в логике первого порядка Проблемная область родства Числа, множества и списки Мир вампуса 8.4. Инженерия знаний с применением логики первого Процесс инженерии знаний Проблемная область электронных схем 8.5.
Резюме Библиографические и исторические заметки Упражнения ГЛАВА 9. ЛОГический ВЫВОД В лОГике пеРВОГО пОРЯДкА 9.1. Сравнение методов логического вывода в пропозициональной логике и логике первого порядка Правила логического вывода для кванторов Приведение к пропозициональному логическому выводу 9.2. Унификация и поднятие Правило вывода в логике первого порядка Унификация Хранение и выборка 9.3. Прямой логический вывод Определенные выражения в логике первого порядка Простой алгоритм прямого логического вывода Эффективный прямой логический вывод 341 341 347 347 349 351 351 352 352 357 357 358 358 361 363 366 367 369 374 374 376 381 381 382 384 384 386 388 390 390 392 394 12 Содержание 483 484 9.4.
Обратный логический вывод Алгоритм обратного логического вывода Логическое программирование Эффективная реализация логических программ Избыточный логический вывод и бесконечные циклы Логическое программирование в ограничениях 9.5. Резолюция Конъюнктивная нормальная форма для логики первого порядка Правило логического вывода с помощью резолюции Примеры доказательств Полнота резолюции Учет отношения равенства Стратегии резолюции Средства автоматического доказательства теорем 9.6. Резюме Библиографические и исторические заметки Упражнения ГЛАВА 10. ПРЕДСТАВЛЕНИЕ ЗНАНИЙ 10.1.
Онтологическая инженерия 10.2. Категории и объекты Физическая композиция Меры Вещества и объекты 10.3. Действия, ситуации и события Онтология ситуационного исчисления Описание действий в ситуационном исчислении Решение проблемы представительного окружения Решение проблемы выводимого окружения Исчисление времени и событий Обобщенные события Процессы Интервалы Флюентные высказывания и обьекты 10.4.
Мыслительные события и мыслимые объекты Формальная теория убеждений Знания и убеждения Знания, время и действия 10.5. Мир покупок в 1псегпес Сравнение коммерческих предложений 10.6. Системы формирования рассуждений о категориях Семантические сети Описательные логики 10.7. Формирование рассуждений с использованием информации, заданной по умолчанию Открытые и закрытые миры 399 399 401 403 406 408 409 410 412 413 416 420 421 423 428 429 435 440 440 443 445 448 449 451 451 453 455 457 459 460 462 464 465 466 467 469 470 471 476 477 478 482 13 Содержание 486 488 491 494 495 503 Отрицание как недостижение цели и устойчивая семантика модели Логика косвенного описания и логика умолчания 10.8.
Системы поддержки истинности 10.9. Резюме Библиографические и исторические заметки Упражнения ЧАСТЬ 1Ч. ПЛАНИРОВАНИЕ ГЛАВА 11. ОСНОВЫ ПЛАНИРОВАНИЯ 511 512 11.1. Задачапланирования Язык задач планирования Выразительность и расширения языка Пример: воздушный грузовой транспорт Пример: задача с запасным колесом Пример: мир блоков 11.2. Планирование с помощью поиска в пространстве состояний Прямой поиск в пространстве состояний Обратный поиск в пространстве состояний Эвристики для поиска в пространстве состояний 11.3. Планирование с частичным упорядочением Пример планирования с частичным упорядочением Планирование с частичным упорядочением и несвязанными переменными Эвристики для планирования с частичным упорядочением 11.4.
Графы планирования Применение графов планирования для получения эвристической Алгоритм Отар!тр1ап Завершение работы алгоритма Огар1тр1ап 11.5. Планирование с помощью пропозициональной логики Описание задач планирования в пропозициональной логике Сложности, связанные с использованием пропозициональных кодировок !!.6. Анализ различных подходов к планированию ! 1.7. Резюме Библиографические и исторические заметки Упражнения 513 514 516 518 519 520 521 522 523 525 527 532 534 535 536 539 541 544 545 546 оценки 549 551 553 554 558 564 564 567 570 572 574 ГЛАВА 12. ПлАниРОВАние и Осу!цествлениедействий В РеАЛьном миРе 12.1.
Время, расписания и ресурсы Составление расписаний с ресурсными ограничениями 12.2. Планирование иерархической сети задач Представление декомпозиций действий Модификация планировщика для его использования в сочетании с декомпозициями 14 Содержание 577 621 ГЛАВА 13. НВОПРЕДЕЛВННОСТЬ 622 660 660 Обсуждение вопроса 12.3. Планирование и осуществление действий в недетерминированных проблемных областях 12.4. Условноепланирование Условное планирование в полностью наблюдаемых вариантах среды Условное планирование в частично наблюдаемых вариантах среды 12.5. Контроль выполнения и перепланирование 12.6.
Непрерывное планирование 12.7. Мультиагентное планирование Кооперация: совместные цели и планы Многотельное планирование Механизмы координации Конкуренция 12.8. Резюме Библиографические и исторические заметки Упражнения ЧАСТЬ Ч. НЕОПРЕДЕЛЕННЫЕ ЗНАНИЯ И РАССУЖДЕНИЯ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ 13.1. Действия в условияхнеопределенности Учет наличия неопределенных знаний Неопределенность и рациональные решения Проект агента, действующего в соответствии с теорией решений 13.2.
Основная вероятностная система обозначений Высказывания Атомарные события Априорная вероятность Условная вероятность 13.3. Аксиомы вероятностей Использование аксиом вероятностей Теоретическое обоснование аксиом вероятностей 13.4. Логический вывод с использованием полных совместных распределений 13.5. Независимость 13.6. Правило Байеса и его использование Применение правила Байеса: простой случай Использование правила Байеса: комбинирование свидетельств 13.7.
Еще одно возвращение в мир вампуса 13.8. Резюме Библиографические и исторические заметки Упражнения ГЛАВА 14. ВеРОЯтностные РАссУжДениЯ 14.! . Представление знаний в неопределенной проблемной области 580 584 584 589 594 600 605 605 606 608 610 611 612 616 622 623 626 627 628 628 629 630 632 635 635 636 638 642 644 644 646 648 652 653 656 15 Содержание 664 664 669 669 675 676 678 681 682 683 684 690 694 699 700 703 704 706 707 712 14.2.
Семантика байесовских сетей Представление полного совместного распределения Отношения условной независимости в байесовских сетях 14.3. Эффективное представление распределений условных вероятностей 14.4. Точный вероятностный вывод в байесовских сетях Вероятностный вывод с помощью перебора Алгоритм устранения переменной Сложность точного вероятностного вывода Алгоритмы кластеризации 14.5. Приближенный вероятностный вывод в байесовских сетях Методы непосредственной выборки Вероятностный вывод по методу моделирования цепи Маркова 14.6. Распространение вероятностных методов на представления в логике первого порядка 14.7.
Другие подходы к формированию рассуждений в условиях неопределенности Методы на основе правил для формирования рассуждений в условиях неопределенности Представление незнания: теория Демпстера — Шефера Представление неосведомленности: нечеткие множества и нечеткая логика 14.8. Резюме Библиографические и исторические заметки Упражнения ГЛАВА 15. ВеРОЯтностные РАссуждениЯ ВО ВРемени 15.1. Время и неопределенность Состояния и наблюдения Стационарные процессы и марковское предположение 15.2. Вероятностный вывод во временных моделях Фильтрация и предсказание Сглаживание Поиск наиболее вероятной последовательности 15.3. Скрытые марковские модели Упрощенные матричные алгоритмы 15.4.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
