Предисловие

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

• 1.1. Обзор приложений символического искусственного интеллекта (477мин.)
• • 1.1.1. Понимание естественного языка и машинный перевод (182мин.)
  • 1.1.2. Интеллектуальные базы данных и вопросно-ответные системы (45мин.)
  • 1.1.3. Экспертные системы и автоматическое доказательство теорем (68мин.)
  • 1.1.4. Автоматическое управление роботом и распознавание образов (114мин.)
  • 1.1.5. Интеллектуальные игры (45мин.)
• 1.2. Место представления знаний в символическом искусственном интеллекте (182мин.)
• • 1.2.1. Итеративный характер решения задач (45мин.)
  • 1.2.2. Знание и незнание (45мин.)
  • 1.2.3. Алгоритмы поиска решения и представление знаний (91мин.)
• 1.3. История искусственного интеллекта (341мин.)
• • 1.3.1. Предыстория искусственного интеллекта (45мин.)
  • 1.3.2. Пионерские исследования (136мин.)
  • 1.3.3. Становление и развитие (68мин.)
  • 1.3.4. Научная консолидация и промышленное внедрение (68мин.)
  • Самая короткая история интеллекта, наверное (0мин.)
• 1.4. Классификации прикладных систем искусственного интеллекта (227мин.)
• • 1.4.1. Виды знаний (23мин.)
  • 1.4.2. Классификация по степени использования различных видов знаний (23мин.)
  • 1.4.3. Классификация по форме представления знаний (23мин.)
  • 1.4.4. Классификация по виду ответа при решении задач (23мин.)
  • 1.4.5. Классификация по степени универсальности (68мин.)
  • 1.4.6. Классификация по архитектуре и инструментальным средствам (45мин.)
• Практикум (182мин.)
• Тест:  Прикладные системы искусственного интеллекта (62мин.)

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

• 2.1. Системы продукций (432мин.)
• • 2.1.1. Терминологические соглашения и содержательная интерпретация (68мин.)
  • 2.1.2. Структура системы неоднородных продукций (91мин.)
  • 2.1.3. Алгоритм работы системы неоднородных продукций (45мин.)
  • 2.1.4. Система продукций как логическое исчисление (68мин.)
  • 2.1.5. Игра в "восемь" (23мин.)
  • 2.1.6. Крестьянин, волк, коза и капуста (45мин.)
  • 2.1.7. Ход конем (68мин.)
• 2.2. Стратегии управления (273мин.)
• • 2.2.1. Критерии сравнения стратегий (45мин.)
  • 2.2.2. Безвозвратный поиск (45мин.)
  • 2.2.3. Поиск с возвратами (45мин.)
  • 2.2.4. Поиск на графе (114мин.)
• 2.3. Специальные системы продукций (250мин.)
• • 2.3.1. Обратные и двусторонние системы продукций (68мин.)
  • 2.3.2. Коммутативные системы продукций (68мин.)
  • 2.3.3. Разложимые системы продукций (91мин.)
• Практикум (159мин.)
• Тест:  Представление знаний системами продукций (64мин.)

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

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

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

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

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

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

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

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

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

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