7. Список литературы

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

1. Лорьер Ж.-Л. "Системы искусственного интеллекта" Пер. с франц. - М.: Мир, 1991 -569с.

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

3. Тей А., Грибомон П. И др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. –М.: Мир, 1990. – 432 с.

4. Джексон П. Введение в экспертные системы. М.:изд.«Вильямс»,2001.– 622 с.

5. Гаврилова Т.А. Хорошевский В.Ф. Базы знаний интеллектуальных систем. – Санкт-Петербург: «Питер», 2000. – 382 с.

6. Девятков В.В. Системы искусственного интеллекта. – М.: изд. МГТУ им. Баумана. – 2001. – 350 с.

7. Змитрович А.И. Интеллектуальные информационные системы. – Минск: «ТетраСистемс», 1997. – 367с.

8. Братко И. Алгоритмы искусственного интеллекта на языке PROLOG. – Изд. «Вильямс» -2004 г.,637 с.

Дополнительная литература

1. Дэвенпорт Дж, Сирэ И, Турнье Э. "Компьютерная алгебра". Пер. с франц. -М: Мир, 1991. - 352 с.

2. Акритас А. "Основы компьютерной алгебры с приложениями". Пер. с англ. -М: Мир, 1994 - 544с.

3. Стерлинг Л. Шапиро Э. "Искуство программирования на языке Прологе". Пер. с англ. -М: Мир, 1990 - 235 с.

4. Марселус Д. Программирование экспертных систем на ТурбоПрологе: Пер.с англ./ - М.: Финансы и статистика, 1994. – 256 с.

5. Буч Г. Объектно–ориентированное проектирование с примерами применения: пер. с англ.—Киев, М.: ”Диалектика”; АО ”И.В.К”, 1992 - 519 с.

6. Шлеер С., Меллор С. Объектно–ориентированный анализ: моделирование мира в состояниях.—Киев, ”Диалектика”, 1993.

7. Попов Э.В. Общение с ЭВМ на естественном языке. –М.:Наука, 1982 – 360 с.

8. Приобретение знаний:/Под.ред. С.Осуги, Ю.Саэки. – Мир, 1990. – 304 с.

9. Лоскутов А.Ю., Михайлов А.С. Введение в синергетику. – М.: Наука, 1990.- 272 с.

10. Назаретов В.М., Ким Д.П. Техническая имитация интеллекта.– М.:ВШ.-144с.

8. Контролирующие материалы для аттестации студентов по дисциплине

8.1. Контролирующие материалы для проверки остаточных знаний

Вариант теста. Тесты генерируются обучающей программой.

№	Вопрос	Варианты ответа
1	Укажите характерное отличие знаний от данных? Отметьте соответствующие позиции	Активность Способ хранения Способ доступа Закономерность Форма представления
2	Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Семантические сети Фреймы	Отношения Слоты Атрибуты Экземпляры Проторипы Понятия
3	Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Дедукция Индукция Традукция	От общего к частному Прецедент От частного к частному От частного к общему Обратный вывод Аналогия Математическая статистика Выявление закономерности Доказательство теоремы
4	Перечислите известные стратегии сокращения перебора для доказательства теорем с использованием принципа резолюции	Стратегия упреждения Стратегия упорядочения Стратегия очищения Стратегия упрощения Стратегия замещения
5	Уточните формулировку принципа Уинстона для аналогий.	Подобные ………….. порождают подобные …………..
6	Какие типы перечисленных отношений являются обязательными для семантической сети?	Свойство-значение (цвет -желтый) Часть-целое(цветок-куст) Представитель элемента класса (роза-чайная) Причина-следствие (дует ветер -опадают листья) Класс-элемент класса(цветок-роза) Количественные (>,<,=…)
7	Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Правила-продукции Логическая теория	Декларативная семантика Процедурная семантика Консеквент Антецедент Дедукция Действие
8	Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Прямой вывод Обратный вывод	Поиск с возвратом Мониторинг От данных к цели От цели к данным Доказательство теоремы Генерация гипотез Пролог
9	Какие из перечисленных стратегий решения задач следует применить для решения игры в крестики-нолики	представление в пространстве состояний; сведения задач к подзадачам; генерация вариантов и проверка; поиск в глубину с возвратом; поиск в ширину; поиск с предпочтением (эвристический поиск), сведение задачи к доказательству теоремы.
10	Что является экстенсиалом?	Таблица логарифмов Формула для вычисления логарифма Множество правил Множество прецедентов
11	Для чего вводятся в теорию первого порядка модальные операторы ? Отметьте один из вариантов.	Для представления нечетких знаний Для представления метазнаний Для увеличения эффективности вывода
12	Отметьте цифрами ассоциации, относящиеся к соответствующим категориям: Причинно-следственная аналогия Вывод моделей	Парное соответствие Принцип Уинстона Поиск противоречивой точки Вывод моделей Сумма аналогий Принцип Поппера