Тема 1. Введение в теорию искусственного интеллекта

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

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

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

Тема 3. Стратегии решения задач

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

Тема 4. Формальные системы

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

Тема 5. Примеры формальных систем

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

Список литературы

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

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