Предисловие от редакции

ГЛАВА 1. Введение в теорию искусственного интеллекта

• 1.1. О понятии «искусственный интеллект» (23мин.)
• • Самая короткая история интеллекта, наверное (0мин.)
• 1.2. Направления исследований в искусственном интеллекте (23мин.)
• 1.3. Предмет и метод искусственного интеллекта (23мин.)
• 1.4. Основные задачи искусственного интеллекта (69мин.)
• 1.5. Теоретические основы искусственного интеллекта (23мин.)
• 1.6. Основные понятия искусственного интеллекта (46мин.)
• 1.7. О компьютерах пятого поколения (23мин.)
• Тест:  Введение в теорию искусственного интеллекта (26мин.)

ГЛАВА 2. Представление задач на естественном и формализованном языках

• 2.1. Что такое «представление задачи» (23мин.)
• 2.2. Способы и средства представления задач (276мин.)
• • 2.2.1. Первый способ формализации задач (46мин.)
  • 2.2.2. Второй способ формализации задач (23мин.)
  • 2.2.3. Графическое представление пространства состояний (69мин.)
  • 2.2.4. Графическое представление пространства подзадач (92мин.)
• 2.3. Общий подход к решению задачи (23мин.)
• 2.4. Стратегии и процедуры решения задачи (46мин.)
• Тест:  Представление задач на естественном и формализованном языках (18мин.)

ГЛАВА 3. Стратегии решения задач

• 3.1. Формализованное представление задачи (23мин.)
• 3.2. Стратегия поиска в глубину (92мин.)
• 3.3. Стратегия поиска в ширину (46мин.)
• 3.4. Эвристический поиск (46мин.)
• 3.5. Алгоритм А* (46мин.)
• 3.6. Пример применения алгоритма А* (46мин.)
• 3.7. Сравнение вариантов алгоритма А* (23мин.)
• 3.8. Алгоритм программы GPS (46мин.)
• 3.9. Пример использования алгоритма программы GPS (69мин.)
• Тест:  Стратегии решения задач (12мин.)

ГЛАВА 4. Формальные системы

• 4.1. Общее представление о формальной системе (46мин.)
• 4.2. Аксиоматический метод в геометрии (46мин.)
• 4.3. Определение и свойства формальной системы (115мин.)
• 4.4. Определение понятия модели (46мин.)
• 4.5. Свойства формальных теорий. Понятие метатеории (46мин.)
• 4.6. Понятие алгоритма и разрешимости теории (23мин.)
• 4.7. Доказуемость и истинность (46мин.)
• Тест:  Формальные системы (22мин.)

ГЛАВА 5. Примеры формальных систем

• 5.1. Исчисление высказываний (207мин.)
• • 5.1.1. Определение исчисления высказываний (92мин.)
  • 5.1.2. Конъюнктивная и дизъюнктивная нормальные формы (46мин.)
  • 5.1.3. Алгоритм преобразования формулы в КНФ и ДНФ (46мин.)
  • 5.1.4. Интерпретация логики высказываний (23мин.)
• 5.2. Исчисление предикатов первого порядка (207мин.)
• • 5.2.1. Определение логики предикатов (69мин.)
  • 5.2.2. Описание алфавита логики предикатов (46мин.)
  • 5.2.3. Синтаксис логики предикатов (23мин.)
  • 5.2.4. Семантика логики предикатов (69мин.)
• 5.3. Формальная арифметика (23мин.)
• 5.4. Продукционные системы (46мин.)
• Тест:  Примеры формальных систем (18мин.)

Библиографический список

• Рекомендуемая литература (46мин.)
• Новые издания по дисциплине «Интеллектуальные системы» и смежным дисциплинам (23мин.)

Приложение

• Вопросы к итоговому испытанию (69мин.)

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

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