rpd000003250 (1012251), страница 2
Текст из файла (страница 2)
Прикрепленные файлы:
Вопросы для подготовки к экзамену/зачету:
1.Формальная логика. Основные типы логических выводов.
2.Силлогистика Аристотеля
3.Основы исчисление предикатов
4. Логический вывод в исчислении предикатов
5.Метод резолюций Робинсона
6.SLD - метод доказательства логических теорем
7.Автоматизация дедуктивных выводов
8.Элементарное программирование на ПРОЛОГЕ. Структура программы.
9.Представление фактов и правил. Рекурсивное определение отношений
10.Синтаксис и семантика ПРОЛОГ - программ. Объекты данных.
11.Сопоставление в ПРОЛОГЕ
12.Декларативный и процедурный смысл ПРОЛОГ- программ.
13.Списки в ПРОЛОГе
14.Арифметические операторы ПРОЛОГа
15.Управление перебором в языке ПРОЛОГ
16.Встроенные процедуры ПРОЛОГа
17.Ввод и вывод данных в ПРОЛОГе
18.Программирование задач поиска в пространстве состояний на ПРОЛОГе
19.Программирование задач поиска в пространстве состояний на ПРОЛОГе
20.Программирование экспертных систем на ПРОЛОГе
21.Организация экспертных систем
22.Прямая цепочка рассуждений в экспертных системах
23.Обратная цепочка рассуждений в экспертных системах
24.Обработка неопределенностей в экспертных системах
25.Косвенная цепочка рассуждений
-
УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
а)основная литература:
1. Конспект лекций по курсу "Программеое обеспечение интеллектуальных систем".
2. Методические указания к лабораторным работам по курсу "Программное обеспечение интеллектуальных систем".
Литература из электронного каталога:
1. Жидков В.Н. Жидков В.Н. Разработка интеллектуального интерфейса системы помощи пилоту. МАИ, 1999. - МАИ, 1999.
б)дополнительная литература:
1.Братко И. Программирование на языке Пролог для искусственного интеллекта: пер. с англ. - М.: Мир, 1990.
2.Доорс Дж. и др. Пролог- язык программирования будущего. Пер. с англ.; М.: Финансы и статистика, 1990.
3.Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. М.: Наука, 1990.
4.Ц.Ин, Д.Соломон Использование Турбо-Пролога Перевод с английского канд. физ.-мат. наук Д.Ю. Буланже, О.Л.Кондратьева под редакцией канд. физ.-мат. наук Б.Г.Сушкова Москва "Мир" 1990.
5.Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов.— М.: Радио и связь, 1989.
6.Джексон, Питер. Введение в экспертные системы.: Пер. с англ. : Уч. пос. - М. : Издательский дом "Вильямс", 2001. - 2001. - 624 с. : ил.
в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:
Среда программирования "Турбо-Пролог 2.0"
-
МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
Факультетский класс ПК
Приложение 1
к рабочей программе дисциплины
«Программное обеспечение интеллектуальных систем »
Аннотация рабочей программы
Дисциплина Программное обеспечение интеллектуальных систем является частью Математического и естественно-научный цикл дисциплин подготовки студентов по направлению подготовки Интегрированные системы летательных аппаратов. Дисциплина реализуется на 7 факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) 704.
Дисциплина нацелена на формирование следующих компетенций: ПКК-6 ,НИК-6.
Содержание дисциплины охватывает круг вопросов, связанных с: Содержание дисциплины «Программное обеспечение интеллектуальных систем» охватывает круг вопросов связанных с программным обеспечением,
используемыи при построении интеллектуальных систем, а также торетическеми вопросами, на которых базируется программное обепечение современных интеллектуальных систем,
таким как : формальная логика , исчисление предикатов, методы дедуктивного и индуктивного логического вывода, методы доказательства логических теорем.
Изучается программированием на классическом языке искусственного интеллекта, в основе которого лежит механизм доказательства логических теорем - ПРОЛОГе.
Рассматриваются основные механизмы работы экспертных систем, основанных на правилах, которые также базирутся на методах дедуктивного и индуктивного логического вывода.
Кроме того, знание языка ПРОЛОГ необходимо студентам для понимания материала, который будет излагаться в курсе «Методы и средства реализации интеллектуальных задач»,
являющегося одним из профилирующих курсов кафедры.
Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Лабораторная работа.
Программой дисциплины предусмотрены следующие виды контроля: промежуточная аттестация в форме Зачет с оценкой.
Общая трудоемкость освоения дисциплины составляет 3 зачетных единиц, 108 часов. Программой дисциплины предусмотрены лекционные (34 часов), практические (0 часов), лабораторные (16 часов) занятия и (58 часов) самостоятельной работы студента.
Приложение 2
к рабочей программе дисциплины
«Программное обеспечение интеллектуальных систем »
Cодержание учебных занятий
-
Лекции
1.1.1. Лекция 1. Искусственный интеллект и формальная логика(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.1.2. Лекция 2. Силлогистика Аристотеля(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.1.3. Лекция 3. Логичекий вывод в исчислении предикатов(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.1.4. Лекция 4. Современные методы доказательства логичеких торем(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.1.5. Лекция 5. Алгоритмы логической индукции(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.1.6. Лекция 6. Алгоритм приобретения знаний(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.2.1. Лекция 7. Элементарный ПРОЛОГ(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.2.2. Лекция 8. Программирование на ПРОЛОГе(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.2.3. Лекция 9. Работа со списками на ПРОЛОГе(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.2.4. Лекция 10. Дополнительные возможности ПРОЛОГа(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.3.1. Лекция 11. Программирование задач поиска в пространстве состояний на ПРОЛОГе(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.3.2. Лекция 12. Программирование игровых задач на ПРОЛОГе(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.1. Лекция 13. Структура экспертной системы(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.2. Лекция 14. Прямой вывод вэкспертных системах(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.3. Лекция 15. Обратный вывод в экспертных системах(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.4. Лекция 16. Работа с неопределеностями в экспертных системах(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
1.4.5. Лекция 17. Программирование экспертных систем(АЗ: 2, СРС: 2)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
-
Практические занятия
-
Лабораторные работы
1.2.1. Элементарное программирование на ПРОЛОГе(АЗ: 4, СРС: 6)
Форма организации: Лабораторная работа
1.2.2. Изучение языка ПРОЛОГ(АЗ: 4, СРС: 6)
Форма организации: Лабораторная работа
1.3.3. Программирование задач поиска в пространстве состояний на ПРОЛОГе(АЗ: 4, СРС: 6)
Форма организации: Лабораторная работа
1.4.4. Программирование экспертных систем на ПРОЛОГе(АЗ: 4, СРС: 6)
Форма организации: Лабораторная работа
-
Типовые задания
Приложение 3
к рабочей программе дисциплины
«Программное обеспечение интеллектуальных систем »
Прикрепленные файлы
Версия: AAAAAARxguk Код: 000003250