Раздел 12.

Стандарты и проектная документация. Спецификация требований. Стандарты в проектировании ИОС. Проектная документация ИОС, ее состав, содержание и назначение. Технологическая и эксплуатационная документация.

Литература:

1. Гвоздева В. А., Лаврентьева И. Ю. Основы построения автоматизированных информационных систем: учебник. — М.: ИД «ФОРУМ»: ИНФРА-М, 2007. — 320 с.

2. Башмаков А.И., Башмаков И.А. Разработка компьютерных учебников и обучающих систем. – М.: Информационно-издательский дом «Филинъ», 2003. – 616 с

3. Башмаков А.И. Обобщенная модель представления предметной области. – М: МЭИ, 2000. – 299с.

4. Мандел Т. Разработка пользовательского интерфейса.: Пер. с англ.- М.: ДМК Пресс, 2001. – 416 с.

5. Ройс У. Управление проектами по созданию программного обеспечения. Унифицированный подход.: Пер. с англ. – М.: Лори, 2002. – 424 с.

6. Софиев А.Э., Черткова Е.А. Компьютерные обучающие системы. – М.: ДеЛи принт, 2006. – 296 с.

Спецдисциплина 2. Интеллектуальные информационные системы

Раздел 1. Введение в искусственный интеллект.

Предмет, цель и содержание курса. Общие сведения о принципах искусственного интеллекта,сферы приложения искусственного интеллекта: обработка естественного языка, извлечение информации из баз данных, экспертные консультирующие системы, доказательство теорем, автоматическое программирование, комбинаторные задачи, составлений расписаний, роботика, проблемы восприятия (зрительного, слухового) и распознования образов. Основные теоретические проблемы и задачи искусственного интеллекта. История возникновения и развития искусственного интеллекта.

Раздел 2. Знания.

Основные признаки категории знаний. Отличие знаний от данных. Классификация знаний. Характеристики знаний. Логическая модель представления знаний. Предикат. Переменная, константа, терм, элементарный предикат (атом), предикатная формула. Логические связи, кванторы. Интерпретация, общезначимая формула, методология представления знаний в виде логических моделей. Неоднозначность представления, преобразования формул. Представление n-местного предиката в виде 2-местных. Область применения,семантическая модель,сеть, объект, отношение,связь семантической сети с предикатами. Фреймовые модели,свойства фреймов,связь между фреймами и семантической сетью. Методология представления знаний в виде фрейма,структура данных фрейма. Продукционные модели,сфера применения продукции. Классификация продукций. Смешанные модели представления знаний,сценарии. Каузальные сценарии.

Раздел 3. Логический вывод в исчислении предикатов.

Логика рассуждений,силлогизм Аристотеля. Приемы умозаключений.

Правила логического вывода. Модус-Поненс,специализация. Дедуктивные модели. Унификация, подстановки. Тождественные преобразования функции исчисления предикатов во множестве предложений. Резолюция в общем случае,система опровержения на основе резолюции,стратегии поиска на дереве опровержения.

Процесс извлечения ответа. Основные этапы процесса извлечения ответа.

Коэффициенты определенности посылки, импликация и заключение. Логические комбинации посылок в одном правиле. Механизм дедукции на основе Байесовского подхода. Общие положения. Гипотезы, признаки. Учет нескольких признаков при расчете вероятности гипотезы. Определение цены свидетельства. Учет неопределенности в ответе пользователя. Выработка заключения на основе вероятностных характеристик. Обобщенная структура системы вывода на основе Байесовского подхода