Предисловие

Глава 1. Прикладные системы искусственного интеллекта

• 1.1. Обзор приложений символического искусственного интеллекта (325мин.)
• • 1.1.1. Понимание естественного языка и машинный перевод (124мин.)
  • 1.1.2. Интеллектуальные базы данных и вопросно-ответные системы (31мин.)
  • 1.1.3. Экспертные системы и автоматическое доказательство теорем (46мин.)
  • 1.1.4. Автоматическое управление роботом и распознавание образов (77мин.)
  • 1.1.5. Интеллектуальные игры (31мин.)
• 1.2. Место представления знаний в символическом искусственном интеллекте (124мин.)
• • 1.2.1. Итеративный характер решения задач (31мин.)
  • 1.2.2. Знание и незнание (31мин.)
  • 1.2.3. Алгоритмы поиска решения и представление знаний (62мин.)
• 1.3. История искусственного интеллекта (232мин.)
• • 1.3.1. Предыстория искусственного интеллекта (31мин.)
  • 1.3.2. Пионерские исследования (93мин.)
  • 1.3.3. Становление и развитие (46мин.)
  • 1.3.4. Научная консолидация и промышленное внедрение (46мин.)
  • Самая короткая история интеллекта, наверное (0мин.)
• 1.4. Классификации прикладных систем искусственного интеллекта (155мин.)
• • 1.4.1. Виды знаний (15мин.)
  • 1.4.2. Классификация по степени использования различных видов знаний (15мин.)
  • 1.4.3. Классификация по форме представления знаний (15мин.)
  • 1.4.4. Классификация по виду ответа при решении задач (15мин.)
  • 1.4.5. Классификация по степени универсальности (46мин.)
  • 1.4.6. Классификация по архитектуре и инструментальным средствам (31мин.)
• Практикум (124мин.)
• Тест:  Прикладные системы искусственного интеллекта (62мин.)

Глава 2. Представление знаний системами продукций

• 2.1. Системы продукций (294мин.)
• • 2.1.1. Терминологические соглашения и содержательная интерпретация (46мин.)
  • 2.1.2. Структура системы неоднородных продукций (62мин.)
  • 2.1.3. Алгоритм работы системы неоднородных продукций (31мин.)
  • 2.1.4. Система продукций как логическое исчисление (46мин.)
  • 2.1.5. Игра в "восемь" (15мин.)
  • 2.1.6. Крестьянин, волк, коза и капуста (31мин.)
  • 2.1.7. Ход конем (46мин.)
• 2.2. Стратегии управления (186мин.)
• • 2.2.1. Критерии сравнения стратегий (31мин.)
  • 2.2.2. Безвозвратный поиск (31мин.)
  • 2.2.3. Поиск с возвратами (31мин.)
  • 2.2.4. Поиск на графе (77мин.)
• 2.3. Специальные системы продукций (170мин.)
• • 2.3.1. Обратные и двусторонние системы продукций (46мин.)
  • 2.3.2. Коммутативные системы продукций (46мин.)
  • 2.3.3. Разложимые системы продукций (62мин.)
• Практикум (108мин.)
• Тест:  Представление знаний системами продукций (64мин.)

Глава 3. Алгоритмы поиска решения

• 3.1. Эвристический поиск (139мин.)
• • 3.1.1. Общий алгоритм (31мин.)
  • 3.1.2. Эвристические алгоритмы (31мин.)
  • 3.1.3. Оценочная функция (62мин.)
• 3.2. Свойства алгоритма А* (108мин.)
• • 3.2.1. Теорема о состоятельности (46мин.)
  • 3.2.2. Сравнение оценочных функций (31мин.)
  • 3.2.3. Монотонное ограничение (15мин.)
  • 3.2.4. Область применимости алгоритма А* (15мин.)
• 3.3. Алгоритмы сопоставления с образцом (201мин.)
• • 3.3.1. Неформальное обсуждение проблемы (31мин.)
  • 3.3.2. Структуры данных алгоритма Rete (108мин.)
  • 3.3.3. Соображения по эффективности и реализации (46мин.)
• 3.4. Поиск на графах И/ИЛИ (108мин.)
• • 3.4.1. Граф И/ИЛИ (31мин.)
  • 3.4.2. Алгоритм поиска на графе И/ИЛИ (31мин.)
  • 3.4.3. Пример применения процедуры поиска на графе И/ИЛИ (46мин.)
• 3.5. Поиск на игровых деревьях (139мин.)
• • 3.5.1. Игровые деревья (15мин.)
  • 3.5.2. Минимакс (46мин.)
  • 3.5.3. α-β-отсечение (46мин.)
  • 3.5.4. Эффективность α-β-отсечения (31мин.)
• Практикум (232мин.)
• Тест:  Алгоритмы поиска решения (56мин.)

Глава 4. Представление знаний формулами исчисления предикатов

• 4.1. Метод резолюций (403мин.)
• • 4.1.1. Формальные теории (31мин.)
  • 4.1.2. Выводимость, интерпретация и логическое следование (93мин.)
  • 4.1.3. Язык исчисления предикатов первого порядка (46мин.)
  • 4.1.4. Приведение формулы к стандартному виду (62мин.)
  • 4.1.5. Правило резолюции (31мин.)
  • 4.1.6. Унификация (62мин.)
  • 4.1.7. Опровержение методом резолюций (15мин.)
  • 4.1.8. Программная реализация метода резолюций (62мин.)
• 4.2. Стратегии поиска опровержения методом резолюций (124мин.)
• • 4.2.1. Полные и неполные стратегии (31мин.)
  • 4.2.2. Хорновские предложения и язык Пролог (31мин.)
  • 4.2.3. Извлечение результата (да/нет) (31мин.)
  • 4.2.4. Извлечение результатов (факты) (15мин.)
  • 4.2.5. Извлечение результатов (термы) (15мин.)
• 4.3. Системы дедукции на основе правил (217мин.)
• • 4.3.1. Потеря импликативности (15мин.)
  • 4.3.2. Размножение литералов (15мин.)
  • 4.3.3. Естественное направление дедукции (15мин.)
  • 4.3.4. Форма И/ИЛИ (15мин.)
  • 4.3.5. Прямая система дедукции (46мин.)
  • 4.3.6. Обратная система дедукции (31мин.)
  • 4.3.7. Комбинация прямой и обратной систем (31мин.)
  • 4.3.8. Метазнания в системах дедукции (46мин.)
• Практикум (77мин.)
• Тест:  Представление знаний формулами исчисления предикатов (64мин.)

Глава 5. Автоматический синтез программ

• 5.1. Задача автоматического синтеза программ (124мин.)
• • 5.1.1. Классификация подходов к синтезу программ (31мин.)
  • 5.1.2. История развития синтеза программ (46мин.)
  • 5.1.3. Схема дедуктивного синтеза (15мин.)
  • 5.1.4. Тотальная корректность (15мин.)
  • 5.1.5. Реализуемость (15мин.)
• 5.2. Дедуктивный синтез программ (155мин.)
• • 5.2.1. Синтез программы в функциональной форме (46мин.)
  • 5.2.2. Синтез блок-схемы (31мин.)
  • 5.2.3. Синтез невыполнимой программы (15мин.)
  • 5.2.4. Примитивная резолюция (15мин.)
  • 5.2.5. Синтез циклических программ (46мин.)
• 5.3. Структурный синтез программ (139мин.)
• • 5.3.1. Предпосылки и история (31мин.)
  • 5.3.2. Синтез программ в концептуальных базах знаний (15мин.)
  • 5.3.3. Семантическая вычислительная сеть (15мин.)
  • 5.3.4. Алгоритм прямой волны (15мин.)
  • 5.3.5. Предварительная обработка модели предметной области (15мин.)
  • 5.3.6. Алгоритм синтеза линейных программ (31мин.)
  • 5.3.7. Расширения и границы применимости (15мин.)
• Практикум (31мин.)
• Тест:  Автоматический синтез программ (40мин.)

Новые издания по дисциплине "Искусственный интеллект" и смежным дисциплинам

Предметный указатель

Завершение курса

• Тест:  Итоговое тестирование (48мин.)