Об авторе

Принятые сокращения

Предисловие

Глава 1. Основные понятия теории искусственного интеллекта

• 1.1. Основные этапы развития работ по проблемам искусственного интеллекта (167мин.)
• 1.2. Классификация решаемых человеком задач (17мин.)
• 1.3. Основные понятия и определения (167мин.)
• 1.4. Модель предметной области как знаковая система (50мин.)
• 1.5. Процедура решения задач (67мин.)
• 1.6. Инженерия знаний в интеллектуальных системах (33мин.)
• • 1.6.1. Методы инженерии знаний (17мин.)
  • 1.6.2. Теоретические аспекты получения знаний (33мин.)
• 1.7. Методы извлечения явных знаний (100мин.)
• • 1.7.1. Коммуникативные методы (84мин.)
  • 1.7.2. Текстологические методы (17мин.)
• 1.8. Методы выявления скрытых знаний (17мин.)
• 1.9. Проблемы структурирования и сборки знаний в единую модель предметной области (50мин.)
• • 1.9.1. Структурирование знаний (33мин.)
  • 1.9.2. Проблемы сборки знаний в единую модель предметной области (17мин.)
• Вопросы и задания для самоконтроля (33мин.)
• Тест:  Основные понятия теории искусственного интеллекта (72мин.)

Глава 2. Методы поиска решений в пространстве состояний

• 2.1. Пространство состояний (33мин.)
• 2.2. Метод полного перебора в ширину (17мин.)
• 2.3. Метод полного перебора в глубину (33мин.)
• 2.4. Эвристические методы поиска в пространстве состояний (33мин.)
• 2.5. Решение задач методом разбиения на подзадачи (84мин.)
• • 2.5.1. Представление задачи в виде И/ИЛИ-графа (33мин.)
  • 2.5.2. Механизм сведения задачи к подзадачам (50мин.)
• 2.6. Достоинства и недостатки методов поиска в пространстве состояний (33мин.)
• Практические задания (17мин.)
• Вопросы и задания для самоконтроля (17мин.)
• Тест:  Методы поиска решений в пространстве состояний (24мин.)

Глава 3. Формально-логические модели представления знаний

• 3.1. Классификация моделей представления знаний (50мин.)
• 3.2. Модель представления знаний в исчислении высказываний (385мин.)
• • 3.2.1. Понятие «высказывание» (100мин.)
  • 3.2.2. Правила вывода (33мин.)
  • 3.2.3. Логический вывод в исчислении высказываний (67мин.)
  • 3.2.4. Свойства исчисления высказываний как аксиоматической системы (17мин.)
  • 3.2.5. Алгоритмическая проблема разрешения в исчислении высказываний (17мин.)
  • 3.2.6. Теорема дедукции (50мин.)
  • 3.2.7. Принцип резолюций (33мин.)
  • 3.2.8. Пример построения модели предметной области в исчислении высказываний (50мин.)
• 3.3. Исчисление предикатов как метод представления знаний (402мин.)
• • 3.3.1. Понятие предиката (100мин.)
  • 3.3.2. Преобразование формул в исчислении предикатов (151мин.)
  • 3.3.3. Примеры применения метода резолюций в исчислении предикатов (151мин.)
• Практические задания (17мин.)
• Вопросы и задания для самоконтроля (33мин.)
• Тест:  Формально-логические модели представления знаний (30мин.)

Глава 4. Сетевые, фреймовые и продукционные модели представления знаний

• 4.1. Продукционная модель представления знаний (301мин.)
• • 4.1.1. Форма представления продукционной модели знаний (33мин.)
  • 4.1.2. Механизм вывода в продукционной системе знаний (84мин.)
  • 4.1.3. Взаимодействие правил в процессе рассуждений (67мин.)
  • 4.1.4. Эвристические принципы управления правилами (17мин.)
  • 4.1.5. Достоинства и недостатки продукционной модели (33мин.)
  • 4.1.6. Пример работы механизма продукционной модели (50мин.)
• 4.2. Представление знаний в виде семантической сети (368мин.)
• • 4.2.1. Общие понятия и определения (100мин.)
  • 4.2.2. Предикатные семантические сети (50мин.)
  • 4.2.3. Атрибутивные семантические сети (33мин.)
  • 4.2.4. Вывод на семантических сетях (50мин.)
  • 4.2.5. Исторические примеры семантических сетей (84мин.)
  • 4.2.6. Методика построения предикатной семантической сети (33мин.)
  • 4.2.7. Достоинства и недостатки семантических сетей (17мин.)
• 4.3. Представление знаний в виде фреймов (134мин.)
• • 4.3.1. Фрейм, его структура и свойства (50мин.)
  • 4.3.2. Вывод на фреймах (33мин.)
  • 4.3.3. Методика построения модели предметной области в виде сети фреймов (33мин.)
  • 4.3.4. Достоинства и недостатки фреймового представления (17мин.)
• 4.4. Гибридные модели представления знаний (17мин.)
• 4.5. Представление нечетких знаний (335мин.)
• • 4.5.1. Общие понятия (33мин.)
  • 4.5.2. Нечеткие множества (67мин.)
  • 4.5.3. Операции над нечеткими множествами (100мин.)
  • 4.5.4. Отношения и операции над ними (17мин.)
  • 4.5.5. Нечеткие отношения (67мин.)
  • 4.5.6. Лингвистическая переменная (17мин.)
  • 4.5.7. Нечеткий вывод (33мин.)
  • 4.5.8. Нечеткая импликация (17мин.)
• Практические задания (17мин.)
• Вопросы и задания для самоконтроля (33мин.)
• Тест:  Сетевые, фреймовые и продукционные модели представления знаний (38мин.)

Глава 5. Методологические и теоретические основы ситуационного анализа и проектирования модели предметной области

• 5.1. Методологические основы ситуационного анализа (84мин.)
• • 5.1.1. Базовые идеи ситуационного анализа (17мин.)
  • 5.1.2. Ситуационная абстракция и ее свойства (17мин.)
  • 5.1.3. Семиотический подход к описанию объектов управления и моделирования (17мин.)
  • 5.1.4. Основы метода ситуационного управления (33мин.)
• 5.2. Методология концептуального анализа и проектирования (17мин.)
• 5.3. Метод ситуационного анализа и проектирования модели предметной области (100мин.)
• 5.4. Концептуальная модель предметной области (318мин.)
• • 5.4.1. Операции над концептуальной структурой единичного решения (151мин.)
  • 5.4.2. Взаимодействие концептуальных структур единичных решений (50мин.)
  • 5.4.3. Концептуальная структура пространства решений (50мин.)
  • 5.4.4. Особенности элементов знания концептуальной модели предметной области (17мин.)
  • 5.4.5. Схема технологии проектирования концептуальной модели предметной области (33мин.)
• 5.5. Система приобретения знаний «Помощник эксперта» (117мин.)
• 5.6. Инструментальная система «Малый Решатель Проблем» (33мин.)
• Практические задания (17мин.)
• Вопросы и задания для самоконтроля (33мин.)
• Тест:  Методологические и теоретические основы ситуационного анализа и проектирования модели предметной области (20мин.)

Литература

Приложения

Приложение А

Приложение B

Приложение C

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

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