rpd000003250 (1012251), страница 2

Файл №1012251 rpd000003250 (161400 (24.05.05).С1 Прицельно-навигационные системы ЛА) 2 страницаrpd000003250 (1012251) страница 22017-06-172017-06-17СтудИзба

161400 (24.05.05).С1 Прицельно-навигационные системы ЛА

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Регистрация/авторизация

Текст из файла (страница 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)

Тип лекции: Информационная лекция