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

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

Текст из файла (страница 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. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

а)основная литература:

1. Конспект лекций по курсу "Программеое обеспечение интеллектуальных систем".

2. Методические указания к лабораторным работам по курсу "Программное обеспечение интеллектуальных систем".

Литература из электронного каталога:

1. Жидков В.Н. Жидков В.Н. Разработка интеллектуального интерфейса системы помощи пилоту. МАИ, 1999. - МАИ, 1999.

б)дополнительная литература:

1.Братко И. Программирование на языке Пролог для искусственного интеллекта: пер. с англ. - М.: Мир, 1990.

2.Доорс Дж. и др. Пролог- язык программирования будущего. Пер. с англ.; М.: Финансы и статистика, 1990.

3.Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. М.: Наука, 1990.

4.Ц.Ин, Д.Соломон Использование Турбо-Пролога Перевод с английского канд. физ.-мат. наук Д.Ю. Буланже, О.Л.Кондратьева под редакцией канд. физ.-мат. наук Б.Г.Сушкова Москва "Мир" 1990.

5.Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов.— М.: Радио и связь, 1989.

6.Джексон, Питер. Введение в экспертные системы.: Пер. с англ. : Уч. пос. - М. : Издательский дом "Вильямс", 2001. - 2001. - 624 с. : ил.

в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:

Среда программирования "Турбо-Пролог 2.0"



  1. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

Факультетский класс ПК



Приложение 1
к рабочей программе дисциплины
«
Программное обеспечение интеллектуальных систем »

Аннотация рабочей программы

Дисциплина Программное обеспечение интеллектуальных систем является частью Математического и естественно-научный цикл дисциплин подготовки студентов по направлению подготовки Интегрированные системы летательных аппаратов. Дисциплина реализуется на 7 факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) 704.

Дисциплина нацелена на формирование следующих компетенций: ПКК-6 ,НИК-6.

Содержание дисциплины охватывает круг вопросов, связанных с: Содержание дисциплины «Программное обеспечение интеллектуальных систем» охватывает круг вопросов связанных с программным обеспечением,

используемыи при построении интеллектуальных систем, а также торетическеми вопросами, на которых базируется программное обепечение современных интеллектуальных систем,

таким как : формальная логика , исчисление предикатов, методы дедуктивного и индуктивного логического вывода, методы доказательства логических теорем.

Изучается программированием на классическом языке искусственного интеллекта, в основе которого лежит механизм доказательства логических теорем - ПРОЛОГе.

Рассматриваются основные механизмы работы экспертных систем, основанных на правилах, которые также базирутся на методах дедуктивного и индуктивного логического вывода.

Кроме того, знание языка ПРОЛОГ необходимо студентам для понимания материала, который будет излагаться в курсе «Методы и средства реализации интеллектуальных задач»,

являющегося одним из профилирующих курсов кафедры.

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Лабораторная работа.

Программой дисциплины предусмотрены следующие виды контроля: промежуточная аттестация в форме Зачет с оценкой.

Общая трудоемкость освоения дисциплины составляет 3 зачетных единиц, 108 часов. Программой дисциплины предусмотрены лекционные (34 часов), практические (0 часов), лабораторные (16 часов) занятия и (58 часов) самостоятельной работы студента.

Приложение 2
к рабочей программе дисциплины
«
Программное обеспечение интеллектуальных систем »

Cодержание учебных занятий

  1. Лекции

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. Практические занятия



  1. Лабораторные работы

1.2.1. Элементарное программирование на ПРОЛОГе(АЗ: 4, СРС: 6)

Форма организации: Лабораторная работа



1.2.2. Изучение языка ПРОЛОГ(АЗ: 4, СРС: 6)

Форма организации: Лабораторная работа



1.3.3. Программирование задач поиска в пространстве состояний на ПРОЛОГе(АЗ: 4, СРС: 6)

Форма организации: Лабораторная работа



1.4.4. Программирование экспертных систем на ПРОЛОГе(АЗ: 4, СРС: 6)

Форма организации: Лабораторная работа





  1. Типовые задания

Приложение 3
к рабочей программе дисциплины
«
Программное обеспечение интеллектуальных систем »

Прикрепленные файлы

Версия: AAAAAARxguk Код: 000003250

Характеристики

Тип файла
Документ
Размер
128,5 Kb
Тип материала
Высшее учебное заведение

Список файлов учебной работы

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6540
Авторов
на СтудИзбе
301
Средний доход
с одного платного файла
Обучение Подробнее