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

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

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

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

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

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

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

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

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

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

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

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

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