Теоретический курс

Таблица 3

Теоретический курс

Раздел, тема учебной дисциплины, содержание темы	Номер лекции	Количество часов
лекции	СРС
Раздел 1 Базовые понятия и Архитектура систем искусственного интеллекта.
Тема 1. Базовые понятия систем ИИ. 1.1. История развития систем ИИ, Различные подходы к построению систем ИИ. Вспомогательные системы нижнего уровня (распознавание образов зрительных и звуковых, идентификация, моделирование, жесткое программирование) и их место в системах ИИ.
1.2. Этапы разработки систем основанных на знаниях. Теоретические аспекты инженерии знаний.
Тема 2. Представление знаний и рассуждений. Логическое представление. 2.1. Синтаксис логики предикатов. Примеры. Преобразование унарных предикатов в бинарные. Примеры. Преобразование m-арных предикатов в произведение бинарных. Явное представление ссылок. Представление функциями. Примеры. Семантика логики предикатов.
2.2.Модальная логика предикатов. Модальные операторы. Примеры модальных операторов. Синтаксис модальной логики предикатов. Примеры. Трехзначная семантика для модальной логики предикатов. Пример. Рассуждения по поводу знаний. Системы прямой дедукции. Системы обратной дедукции.
Тема 3. Представление знаний и рассуждений. Сетевое представление. 3.1.Концептуальные графы. Пример и терминология. Семантические сети. Правила конъюнкции и упрощения. Представления контекста. Пример введения кванторов. Временные и модальные операторы.
3.2.Канонические графы. Правила построения. Унаследованные свойства. Решетки типов, иерархия типов. Определение типа посредством рода и различия. Прототипы. Схемы и схематические кластеры. Рассуждения, использующие семантические сети.
Тема 4. Представление знаний и рассуждений. Объектное представление. 4.1. Сцепки. Фреймы и слоты. Явные фреймы. Функциональные фреймы. Рассуждения, использующие объектное представление. Паросочетание.
4.2.Функциональные атрибуты. Автоматические рассуждения, использующие фреймы. Иерархические рассуждения, использующие фреймы. Рассуждения с умолчаниями.
Тема 5. Логический подход к построению систем ИИ. 5.1. Неформальные процедуры. Алгоритмические модели. Продукционные модели. Режим возвратов. Логический вывод. Зависимость продукции. Продукционные системы с исключениями.
5.2. Пролог и логическое программирование. Термы и объекты. Факты и элементарные вопросы. Конъюнкция. Переменные. Анонимные переменные. Правила. Рекурсивные правила. Дизъюнкция. Отрицание. Области действия имен. Сложные термы, или структуры. Операторы. Синтаксис операторов. Арифметические действия. Синтаксис списков. Представление списков. Некоторые операции над списками. Синтаксис строк. Соответствие и унификация. Вычисление ответа. Декларативный и процедурный смысл пролог программ. Получение структурированной информации из базы данных. Задача о восьми ферзях. Управление перебором. Примеры, использующие отсечение.
5.3.Основные стратегии решения задач. Предварительные понятия и примеры. Стратегия поиска в глубину. Поиск в ширину.
5.4. Экспертные системы. Функции, выполняемые экспертной системой. Структура экспертной системы. Правила «если-то» для представления знаний. Разработка оболочки.
Итого

Дата добавления: 2015-07-10