ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тест

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тест включает в свой состав задания и вопросы по семи основным разделам курса: «Системы ИИ, основные положения инженерии знаний, экспертные системы (ЭС) – общие определения, принципы функционирования, области использования, средства разработки» ; «Продукционная модель представления знаний» ; «Методы ненадежного вывода в ЭС» ; «Логическая модель представления знаний» ; «Основы логического программирования. Язык PROLOG» ; «Методы нечеткого вывода» ; «Модели представления знаний на основе теории фреймов и семантических сетей» В состав теста по каждой теме (кроме тем 1 и 7 ) входят задания двух типов: Тип А - вопросы предназначенные для оценки знаний основных определений, характеристик, свойств систем ИИ, ЭС, моделей преставления знаний, методов вывода; Тип В - задания направленные на оценку основных навыков программирования, конструирования ЭС, знания деталей конкретных методов и моделей.

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема 1: «Системы ИИ, экспертные системы (ЭС) – общие определения, принципы функционирования, области использования, средства разработки» . Перечень основных понятий используемых для формирования заданий типа А: Основные направления теории ИИ. Нейрокибернетика. Кибернетика «черного ящика» . Инженерия знаний. Архитектура СИИ. Экспертная система. Классы ЭС. Базовая архитектура ЭС. Модели представления знаний: классификация, характеристики. Области использования ЭС. Понятие «знание» : факты, эвристики, алгоритмы. Способы реализации ЭС. Этапы создания ЭС. Теоретические аспекты инженерии знаний. Поле знаний. Семиотическая модель поля знаний. Семантика. Синтаксис.

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема 2. «Продукционная модель представления знаний» . Перечень основных понятий используемых для формирования заданий типа А: Характеристика, свойства продукционной модели. Процесс логического вывода с использованием продукционной модели. Прямой вывод. Обратный вывод. Управление выводом, метаправила. Конфликты типа «И» , «ИЛИ» - способы их разрешения. Использование реляционной модели для представления продукционной модели. Возможности СУБД для реализации логического вывода. Виды заданий типа В: 1. Записать содержимое рабочей области для заданной БЗ и предпосылок в случае прямого и обратного вывода. 2. В заданном графе «И-ИЛИ» указать наличие конфликта и его тип. 3. Идентифицировать тип связей. 4. Представить заданный граф «И-ИЛИ» в форме реляционного отношения. 5. Записать SQL ( QBE ) запрос, реализующий прямой (обратный) вывод для заданной структуры БЗ.

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема 3. «Методы ненадежного вывода в ЭС» . Перечень основных понятий используемых для формирования заданий типа А: Источники ненадежности. Методы ненадежного вывода. «Точная» вероятностная схема. Типы связей и правила расчета. Основные допущения. Методы MYCIN и EMYCIN : основные положения. Понятие степени уверенности. Биполярная схема. Типы связей и правила расчета. Связь типа «КОМБ» , особенности расчета. Обратимая и необратимая продукция. Субъективный байесовский метод. Априорная и апостериорная вероятности. Априорный и апостериорный шансы. Типы связей и правила расчета. Графическая интерпретация метода. Метод Демпстера- Шаффера - понятия базовой, верхней и нижней вероятностей. Виды заданий типа В: 1. Для заданного фрагмента графа «И-ИЛИ» и заданных исходных данных (данные эксперта и предпосылки) получить степень уверенности (вероятность, нижняя вероятность и т. д. ) результата с использованием указанного метода.

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема 4. «Логическая модель представления знаний» . Перечень основных понятий используемых для формирования заданий типа А: Логика предикатов первого порядка. Предикат. Символы предикативной логики. Понятие правильно построенной формулы (ППФ). Вывод в логической модели. Метод резолюции. Префиксная нормальная форма. Сколемовская нормальная форма. Конъюнктивная нормальная форма. Наиболее общий унификатор (НОУ). Подстановка. Поиск НОУ. Виды заданий типа В: Для заданной ППФ построить: префиксную нормальную форму; сколемовскую нормальную форму; конъюнктивную нормальную форму. Для заданной последовательности дизъюнктов определить НОУ. Для заданной последовательности высказываний и теоремы записать ППФ для реализации метода резолюции

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема 5. «Основы логического программирования. Язык PROLOG» . Перечень основных понятий используемых для формирования заданий типа А: Общая характеристика языка PROLOG. Основные секции программы и их назначение. Программа с внешней и внутренней целью. Внутренний алгоритм логического вывода в PROLOG. Управление выводом в языке PROLOG , предикаты ! и fail. Базы данных в языке PROLOG, предикаты по работе с БД. Списки в языке PROLOG , принципы сопоставления. Свободные и связанные переменные. Прямая и обратная цепочка рассуждений в языке PROLOG. Пользовательские и служебные предикаты. Виды заданий типа В: Для заданного фрагмента программы и заданной внешней цели записать результат логического вывода. Для заданной БД сформулировать секцию goal реализующую заданный запрос. Для заданного фрагмента программы и секции goal указать значения переменных.

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема 6. «Методы нечеткого вывода» . Перечень основных понятий используемых для формирования заданий типа А: Лингвистическая переменная. Нечеткая величина. Функция принадлежности. Основные операции теории нечетких множеств: дополнение, пересечение, объединение, отношение, свертка. Стратегии вывода в нечеткой среде. Стратегия Мамдани, Ларсена. Фазификация и дефазификация. Процессы логического вывода для различного типа продукций. Алгоритм нечеткого поиска. Виды заданий типа В: Для заданных нечетких величин выполнить операцию: дополнения, пересечения, объединения, свертки, построить отношение для продукции. Реализовать процедуру нечеткого вывода для заданного фрагмента графа «И-ИЛИ» . Выполнить фазификацию ( дефазификацию ) для заданной нечеткой величины. Получить результат нечеткого поиска для заданной сети поиска.

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема 7. «Модели представления знаний на основе теории фреймов и семантических сетей» Перечень основных понятий используемых для формирования заданий типа А: Семантическая сеть Куилиана. Типы связей, свойства. Принципы логического вывода на семантической сети. Достоинства, недостатки. Принцип разделения семантической сети. Падежные рамки. Теория фреймов. Структура фрейма. Основные принципы: базовый класс, сопоставление, наследование, подстановка, подобие. Подобие по Уинстону. Демоны. Присоединенные процедуры. Принципы вывода в фреймовой модели.

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Тема задание В Суммарное А количество баллов по теме 1 4 - 4*2=8 2 2 2*2+2*5=14 3 2 2*2+2*5=14 4 2 1 2*2+1*5=9 5 2 2*2+2*5=14 6 2 2*2+2*5=14 7 3 - 3*2=6 Итого 17 (max 9 (max 23 (max ∑=79) ∑=34) ∑=45)

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Таким образом тестовое задание содержит 17 тестовых вопросов типа А по всем темам и 9 тестовых заданий типа В по темам 2 -6. Общее время тестирования 50 минут. Принцип (правила оценивания) по результатам тестирования. При оценивании учитывается общее количество баллов, полученное при тестировании и уровень выполнения лабораторных работ. <= 40 баллов - "неудовлетворительно" при любых условиях; [41 - 50] баллов - "удовлетворительно" при любых условиях; [51 - 69] баллов - "хорошо" при условии положительного отзыва о выполнении лабораторных работ, «хорошей» или «отличной» оценки по курсовой работе, или продолжение экзамена в случае несогласия студента с оценкой; [70 - 79] баллов - "отлично", при условии положительного отзыва о выполнении лабораторных работ.

ПЗ ЛАБОРАТОРНЫЙ ПРАКТИКУМ 1. Использование экспертных оболочек для создания ЭС на основе продукционной модели. 2. Использование реляционной модели данных для представления знаний. 3. Разработка элементов ЭС средствами языка Prolog. 4. Обработка ненадежных и нечетких знаний в информационных системах

ПЗ Домашнее индивидуальное задание по дисциплине «Представление знаний в информационных системах» предназначено для закрепления практических навыков по представлению знаний в информационных системах с использованием различных моделей, разработке и программной реализации компонент ЭС. Объем часов отводимый на выполнение задания - 17 часов. Домашнее индивидуальное задание должно включать в свой состав следующий обязательный перечень разделов: • постановка задачи; • описание заданной или выбранной предметной области; • разработка и описание формальной модели представления знаний для заданной предметной области (граф «И-ИЛИ» для продукционной модели представления знаний); • разработка реляционной модели и основных запросов на языке SQL реализующих прямой и обратный вывод; • формальное представление и пример расчета степени уверенности с использованием заданного метода ненадежного вывода; • формальное представление и пример расчета результата нечеткого вывода с использованием заданной стратегии;

ПЗ СОДЕРЖАНИЕ ЭКЗАМЕНА – ПРОЦЕДУРА ОЦЕНИВАНИЯ Время: Группа 4 -4 а: консультация – 11. 01. 2010 – 12. 00 кафедра АСУ Экзамен: 12. 01. 2010 – 9. 00 ауд. 320 лк. Группа 4 -6: консультация – 12. 01. 2010 – 14. 00 кафедра АСУ Экзамен: 14. 01. 2010 – 9. 00 ауд. 321 лк.

ПЗ ВОЗМОЖНОСТЬ КОНСУЛЬТИРОВАНИЯ

ПЗ ВОЗМОЖНОСТЬ КОНСУЛЬТИРОВАНИЯ

ПЗ

ПЗ

ПЗ