Учебная деятельность строится на сочетании работы студентов с преподавателем и самостоятельным изучением отдельных разделов. Предполагается, что часть, теоретического материала, необходимого для лабораторных работ, изучается только самостоятельно. При этом в руководстве к лабораторным работам даются точные ссылки на необходимый материал и даются рекомендации по его изучению. Например, для темы «Стратегии решения задач» предлагается следующее методическое указание: «Подходы к решению проблем в самом общем виде подробно представлены в [3] гл.2. Здесь же в гл. 4 и 5 приводятся классические методы решения задач. Дается классификация известных задач и оценивается их алгоритмическая сложность. Применительно к языку Пролог основные стратегии решения задач рассмотрены в [4], гл. 4,5,9-13,16. В [3, гл.2.] , [4, гл.4] обращается внимание на важность адекватного представления задачи, т. е. нахождение таких структур данных, которые позволяют представить задачу в удобном виде с точки зрения ее формального решения. Обращается внимание также, что структура представления сильно зависит от выбранной стратегии решения. Гл.5 [4] является важной, поскольку здесь рассматривается механизм перебора вариантов решения, принятый в Прологе. В этой связи необходимо обратиться также к [3] гл. 11. Основные стратегии решения задач в дополнении к [1] и [2] также приводятся в [5] гл.14, 15. В совокупности работы [3-5] дают достаточно полное представление по данной теме».
Курс совместим с предыдущими курсами. Считается, что студент уже владеет методами логического программирования, объектно-ориентированными языками программирования и инструментами объекно-ориентированного моделирования типа UML. Мотивация к выполнению лабораторных работ строится на выборе такой области приложения, которая наиболее близка интересам конкретного студента. Поощряется расширение контекста лабораторной работы. Идеальной считается ситуация, когда конкретная лабораторная работа может быть развита до такого уровня применительно к некоторой предметной области, когда она может быть рекомендована в качестве выпускной работы бакалавра.
6. Правила аттестации студентов по учебной дисциплине
Аттестация студентов по данной дисциплине предполагает систематическую работу в течение семестра. Выполнение лабораторных работ и их защита строится на знании теоретического материала и владении навыками и умениями в конкретной части курса. Студенту предлагается перечень вопросов для самопроверки. Тестовая программа, прилагаемая к данному курсу, позволяет студенту в течении семестра самостоятельно проверять уровень остаточных знаний. Генератор тестов использует онтологическое представление структуры данного курса и автоматически генерирует вопросы. Тестовая программа доступна в Интернете и может быть использована в режимах on line и off line.
В конце семестра студент допускается к экзамену при выполнении и защите всех лабораторных работ. Экзамен проводится в форме тестирования. Тесты оцениваются в пятибалльной системе.
7. Список литературы
1. Дэвенпорт Дж, Сирэ И, "Компьютерная алгебра". Пер. с франц. - М: Мир, 1991. - 352 с.
2. "Основы компьютерной алгебры с приложениями". Пер. с англ. - М: Мир, 1994 - 544с.
3. -Л. "Системы искусственного интеллекта" Пер. с франц. - М.: Мир, 1991 -569с.
4. "Программирование на языке Пролог для искусственного интеллекта". Пер. с англ. - М: Мир, 1990 -560 с.
5. апиро Э. "Искуство программирования на языке Прологе". Пер. с англ. - М: Мир, 1990 - 235 с.
6. рограммирование экспертных систем на ТурбоПрологе: Пер. с англ./ - М.: Финансы и статистика, 1994. – 256 с.
7. др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. –М.: Мир, 1990. – 432 с.
8. бъектно–ориентированное проектирование с примерами применения: пер. с англ.—Киев, М.: ”Диалектика”; АО ”И. В.К”, 1992 - 519 с.
9. бъектно–ориентированный анализ: моделирование мира в состояниях.—Киев, ”Диалектика”, 1993.
10. Попов с ЭВМ на естественном языке. –М.:Наука, 1982 – 360 с.
11. Приобретение знаний:/Под. ред. С. Осуги, Ю. Саэки. – Мир, 1990. – 304 с.
12. , Михайлов в синергетику. – М.: Наука, 1990.- 272 с.
13. , Ким имитация интеллекта.– М.:ВШ.-144с.
14. ведение в экспертные системы. М.:изд.«Вильямс»,2001.– 622 с.
15. Гаврилова знаний интеллектуальных систем. – Санкт-Петербург: «Питер», 2000. – 382 с.
16. Девятков искусственного интеллекта. – М.: изд. МГТУ им. Баумана. – 2001. – 350 с.
17. Змитрович информационные системы. – Минск: «ТетраСистемс»,
1997. – 367с.
18. лгоритмы искусственного интеллекта на языке PROLOG. – Изд. «Вильямс» -2004 г.,637 с.
8. Контролирующие материалы для аттестации студентов по дисциплине
8.1. Контролирующие материалы для проверки остаточных знаний
Вариант теста. Тесты генерируются обучающей программой.
№ | Вопрос | Варианты ответа |
1 | Укажите характерное отличие знаний от данных? Отметьте соответствующие позиции | q Активность q Способ хранения q Способ доступа q Закономерность q Форма представления |
2 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Семантические сети Фреймы | q Отношения q Слоты q Атрибуты q Экземпляры q Проторипы q Понятия |
3 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Дедукция Индукция Традукция | q От общего к частному q Прецедент q От частного к частному q От частного к общему q Обратный вывод q Аналогия q Математическая статистика q Выявление закономерности q Доказательство теоремы |
4 | Перечислите известные стратегии сокращения перебора для доказательства теорем с использованием принципа резолюции | q Стратегия упреждения q Стратегия упорядочения q Стратегия очищения q Стратегия упрощения q Стратегия замещения |
5 | Уточните формулировку принципа Уинстона для аналогий. | Подобные ………….. порождают подобные ………….. |
6 | Какие типы перечисленных отношений являются обязательными для семантической сети? | q Свойство-значение (цвет - желтый) q Часть-целое(цветок-куст) q Представитель элемента класса (роза-чайная) q Причина-следствие (дует ветер - опадают листья) q Класс-элемент класса(цветок-роза) q Количественные (>,<,=…) |
7 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Правила-продукции Логическая теория | q Декларативная семантика q Процедурная семантика q Консеквент q Антецедент q Дедукция q Действие |
8 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Прямой вывод Обратный вывод | q Поиск с возвратом q Мониторинг q От данных к цели q От цели к данным q Доказательство теоремы q Генерация гипотез q Пролог |
9 | Какие из перечисленных стратегий решения задач следует применить для решения игры в крестики-нолики | q представление в пространстве состояний; q сведения задач к подзадачам; q генерация вариантов и проверка; q поиск в глубину с возвратом; q поиск в ширину; q поиск с предпочтением (эвристический поиск), q сведение задачи к доказательству теоремы. |
10 | Что является экстенсиалом? | q Таблица логарифмов q Формула для вычисления логарифма q Множество правил q Множество прецедентов |
11 | Для чего вводятся в теорию первого порядка модальные операторы ? Отметьте один из вариантов. | q Для представления нечетких знаний q Для представления метазнаний q Для увеличения эффективности вывода |
12 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Причинно-следственная аналогия Вывод моделей | q Парное соответствие q Принцип Уинстона q Поиск противоречивой точки q Вывод моделей q Сумма аналогий q Принцип Поппера |
8.2. Контролирующие материалы для аттестации студентов
Вариант теста. Тесты генерируются обучающей программой
№ | Вопрос | Варианты ответа |
1 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Синтаксический анализ Семантический анализ Прагматический анализ | q Смысл q Форма q Практика q Отношения между знаками q Отношения между знаками и реальностью q Отношения между знаками и пользователями |
2 | Что дает для моделирования предметных областей семантика возможных миров? | q Объектно-ориентированное представление знаний q Возможность моделирования взаимодействия для баз знаний q Моделирование аналогий |
3 | Нарисуйте схему вывода по аналогии | |
5 | Какие принципы включает в себя принцип резолюции? | q Принцип Поппера q Принцип отыскания частных случаев в исчислении предикатов q Принцип непротиворечивой точки q Принцип силлогизма исчисления высказываний |
6 | Отметьте, какие системы можно отнести к классу семантических систем | q Базы данных q Операционные системы q Экспертные системы q Системы машинного перевода q Конечные автоматы |
7 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Поверхностные знания Глубинные знания | q Взаимосвязи между отдельными событиями и фактами q Абстракции q Аналогии q Прогноз |
8 | В каких случаях целесообразно для моделирования знаний использовать прецеденты? | q Плохо структурированная проблемная область q Проблемы с экспертами q Недостаток информации |
9 | Уточните, какие способы означивания слотов для фреймов существуют | По умолчанию от … Через наследование от … По формуле, указанной в … Через присоединенную … Через диалог с … Из базы … |
10 | Привести выражение к хорновским дизъюнктам: $x`Q(x)&P(x)® $y R(y) | |
11 | Какие наиболее существенные качества Пролога используются при моделировании игр? | q В Прологе реализуется принцип резолюции q Пролог строит И-ИЛИ - дерево. q Пролог поддерживает механизм обхода дерева |
12 | Как можно реализовать механизм объяснения в экспертной системе Для вопросов «Как получено решение?», «Почему задан этот вопрос?»Расставьте правильно номера. | q Обратная трассировка q Прямая трассировка |
13 | Уточните определение | Семантическая сеть – это ориентированный граф, вершины которого ……………………, а дуги ………………………………………… |
14 | В каких случаях целесообразно для моделирования знаний использовать Фреймы Семантические сети Продукционные правила Логику Прецеденты?Проставьте против вариантов ответов соответствующие цифры. | q Теоретические представления q Моделирование поведения q Слабо формализованные области (искусство, медицина) q Моделирование формы организации знаний человека (иерархия категорий, понятия, абстракция и пр.) |
15 | Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Фрейм –структура Фрейм-роль Фрейм-сценарий Фрейм-ситуация | q Вексель q Менеджер q Собрание акционеров q Авария q Клиент q Кассир q Рабочий режим устройства |
16 | Что является интенсиалом? | q Таблица логарифмов q Формула для вычисления логарифма q Множество правил q Множество прецедентов |
17 | Какая стратегия не является стратегией упрощения для метода резолюции: | q Стратегия исключения тавтологий q Стратегия опорного множества q Стратегия исключения предложения, содержащего уникальный литерал |
18 | Доказать теорему методом резолюции. Построить дерево доказательства: {A(x) Ú`B(z), `C(v), CÚ`A(y); B(w) } |
9. Приложение А
Предлагаемые ниже темы студенческих проектов имеют разный уровень сложности. Некоторые из них могут быть основой для темы выпускных работ бакалавров, дипломных работ и магистерских диссертаций.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 |
