rpd000011809 (230400 (09.03.02).Б3 Информационные системы испытаний космических ЛА)
Описание файла
Файл "rpd000011809" внутри архива находится в следующих папках: 230400 (09.03.02).Б3 Информационные системы испытаний космических ЛА, 230400.Б3. Документ из архива "230400 (09.03.02).Б3 Информационные системы испытаний космических ЛА", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000011809"
Текст из документа "rpd000011809"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000011809)
Теория экспертных систем
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Информационные системы и технологии | |||||
Квалификация (степень) выпускника | Бакалавр | |||||
Профиль подготовки | Информационные системы испытаний космических ЛА | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | 308 | |||||
Обеспечивающая кафедра | 308 | |||||
Кафедра-разработчик рабочей программы | 308 | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
7 | 108 | 34 | 0 | 16 | 31 | 27 | Э |
Итого | 108 | 34 | 0 | 16 | 31 | 27 |
Москва
2011
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 230400 Информационные системы и технологии
Авторы программы:
Гусев А.В. | _________________________ |
Заведующий обеспечивающей кафедрой 308 | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой 308 _________________________ | Декан выпускающего факультета 3 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Теория экспертных систем является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | Знать основные виды и состав экспертных систем, способы представления знаний. | |
2 | Приобрести профессиональные навы¬ки в решении задач с использованием современных интеллектуальных систем. | |
3 | Иметь навыки работы с основными видами экспертных систем, методами извлечения и структурирования данных для экспертных систем, перспективами их развития. |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ОК-6 | Владение широкой общей подготовкой (базовыми знаниями) для решения практических задач в области информационных систем и технологий |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 3 зачетных(ые) единиц(ы), 108 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Теория экспертных систем | Назначение и особенности экспертных систем. Классификация экспертных систем | 4 | 0 | 0 | 1 | 5 | 108 |
Продукционные экспертные системы | 2 | 0 | 0 | 1 | 3 | ||
Представление знаний | 2 | 0 | 4 | 4 | 10 | ||
Методы поиска решений в экспертных системах | 2 | 0 | 0 | 1 | 3 | ||
Логика первого порядка. Метод резолюции | 2 | 0 | 0 | 1 | 3 | ||
Рекурсивные структуры данных. Списки и деревья | 2 | 0 | 4 | 5 | 11 | ||
Отрицание в логическом программировании | 2 | 0 | 0 | 1 | 3 | ||
Представление неопределенности знаний и данных | 2 | 0 | 0 | 1 | 3 | ||
Приобретение знаний | 2 | 0 | 0 | 1 | 3 | ||
Эвристическая классификация | 2 | 0 | 0 | 1 | 3 | ||
Иерархическое построение и проверка гипотез | 2 | 0 | 0 | 1 | 3 | ||
Решение проблем конструирования | 2 | 0 | 0 | 1 | 3 | ||
Средства формирования пояснений. Инструментальные средства разработки экспертных систем | 2 | 0 | 4 | 5 | 11 | ||
Система отслеживания истинности предположений | 2 | 0 | 0 | 1 | 3 | ||
Формирование знаний на основе машинного обучения. Сети доверия | 2 | 0 | 4 | 5 | 11 | ||
Проблемы и перспективы создания экспертных систем | 2 | 0 | 0 | 1 | 3 | ||
Всего | 34 | 0 | 16 | 31 | 81 | 108 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
- 1. Назначение и особенности экспертных систем
- 2. Классификация экспертных систем
- 3. Продукционные экспертные системы
- 4. Представление знаний
- 5. Методы поиска решений в экспертных системах
- 6. Логика первого порядка
- 7. Метод резолюции
- 8. Рекурсивные структуры данных. Списки и деревья
- 9. Отрицание в логическом программировании
- 10. Представление неопределенности знаний и данных
- 11. Приобретение знаний
- 12. Эвристическая классификация
- 13. Иерархическое построение и проверка гипотез
- 14. Решение проблем конструирования
- 15. Средства формирования пояснений
- 16. Инструментальные средства разработки экспертных систем
- 17. Система отслеживания истинности предположений
- 18. Формирование знаний на основе машинного обучения
- 19. Сети доверия
- 20. Проблемы и перспективы создания экспертных систем
-
Лекции
№ п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
1 | 1.1.Назначение и особенности экспертных систем. Классификация экспертных систем | 4 | Смысл экспертного анализа. Характеристики экспертных систем. Базовые функции экспертных систем | 1, 2 |
2 | 1.3.Продукционные экспертные системы | 2 | Системы с множеством правил. Система MYCIN | 3 |
3 | 1.4.Представление знаний | 2 | Управление процессом поиска решения | 4 |
4 | 1.5.Методы поиска решений в экспертных системах | 2 | Поиск в пространстве состояний. Эвристический поиск. Схемы представления знаний | 5 |
5 | 1.6.Логика первого порядка. Метод резолюции | 2 | Исчисление высказываний. Исчисление предикатов. Язык PROLOG. Принцип резолюций. Поиск доказательства в системе резолюций. Правила поиска в PROLOG | 6, 7 |
6 | 1.8.Рекурсивные структуры данных. Списки и деревья | 2 | Ассоциативные сети и системы фреймов. Определение дерева. Двоичное дерево. Основные понятия концепции фреймов | 8 |
7 | 1.9.Отрицание в логическом программировании | 2 | Формальные языки | 9 |
8 | 1.10.Представление неопределенности знаний и данных | 2 | Источники неопределенности. Экспертные системы и теория вероятностей. Коэффициенты уверенности и условные вероятности. Нечеткие множества. Нечеткая ло | 10 |
9 | 1.11.Приобретение знаний | 2 | Теоретический анализ процесса приобретения знаний. Оболочки экспертных систем. Методы приобретения знаний | 11 |
10 | 1.12.Эвристическая классификация | 2 | Классификация. Общность эвристической классификации. Инструментальные средства и задачи, решаемые экспертной системой | 12 |
11 | 1.13.Иерархическое построение и проверка гипотез | 2 | Влияние сложности пространства гипотез на организацию работы системы | 13 |
12 | 1.14.Решение проблем конструирования | 2 | Система R1/XCON. Компоненты и ограничения. Архитектура систем планирования и метапланирования | 14 |
13 | 1.15.Средства формирования пояснений. Инструментальные средства разработки экспертных систем | 2 | Подсистема формирования пояснений в MYCIN. Формирование пояснений на основе фреймов. Организация вывода пояснений в системе CENTAUR. | 15, 16 |
14 | 1.17.Система отслеживания истинности предположений | 2 | Отслеживание зависимостей. Работа со множеством контекстов | 17 |
15 | 1.18.Формирование знаний на основе машинного обучения. Сети доверия | 2 | Индуктивное обучение. Система Meta-DENDRAL. Сравнение методов неточных рассуждений. Теория Демпстера—Шеффера | 18, 19 |
16 | 1.20.Проблемы и перспективы создания экспертных систем | 2 | Представление знаний. Языки программирования систем искусственного интеллекта. Решение практических проблем | 20 |
Итого: | 34 |
-
Практические занятия
№ п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
Итого: |
-
Лабораторные работы
№ п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
1 | 1.4.Представление знаний | Исчисление предикатов. Разработка программы построения отношений с использованием языка Пролог.Исследование инструментальных средств экспертных систем | 4 | 4, 7 | |
2 | 1.8.Рекурсивные структуры данных. Списки и деревья | Методика разработки экспертных систем на основе учебной экспертной системы.Разработка экспертных систем на примере учебной экспертной системы | 4 | 8, 14 | |
3 | 1.15.Средства формирования пояснений. Инструментальные средства разработки экспертных систем | Построение Машины вывода для экспертной системы реляционного типа. Создание интерфейса экспертной системы | 4 | 15, 16 | |
4 | 1.18.Формирование знаний на основе машинного обучения. Сети доверия | Алгоритмы принятия решений. Создание блока объяснений. Тестирование и отладка экспертной системы. Байесовские сети доверия – средство разработки ЭС | 4 | 17, 18, 19 | |
Итого: | 16 |
-
Типовые задания
№ п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
Итого: |
-
Курсовые работы и проекты по дисциплине
-
Рубежный контроль
-
Промежуточная аттестация
1. Экзамен (7 семестр)