Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника»




Правительство Русской Федерации


Федеральное государственное автономное образовательное учреждение высшего проф образования
"Государственный исследовательский институт
"Высшая школа экономики"


Факультет Информационных технологий и вычислительной техники МИЭМ


Программка дисциплины Системы искусственного ума


Для направления 230100 «Информатика и вычислительная техника Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника»»

Специальности 230102 «Автоматизированные системы обработки инфы и управления» подготовки спеца


Создатель программки:

Топоркова А.С., к.т.н., доцент , atoporkova@hse.ru


Одобрена на заседании кафедры информационных технологий и автоматических систем «___»____________ 2012 г

Зав. кафедрой Тумковский С.Р Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника».


Рекомендована проф коллегией УМС по направлению «Информатика»

«___»____________ 20 г

Председатель ____________________


Утверждена УС МИЭМ НИУ ВШЭ

«___»_____________20 г.


Ученый секретарь Симонов В.П. ________________________


Москва, 2012


^ Реальная программка не может быть применена другими подразделениями института и другими университетами без Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» разрешения кафедры-разработчика программки.



  1. Цели и задачки дисциплины.

Целью дисциплины являются изложение способов компьютерного моделирования систем, проявляющих поведение, которое включает автоматическое принятие решений, основанное на познаниях и рассуждениях.


  1. . Цель преподавания дисциплины Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника».

Целью преподавания дисциплины является формирование у студентов познаний и умений, связанных с компьютерным моделированием систем автоматического принятия решений на базе рассуждений.


    1. Задачки исследования дисциплины.


В процессе исследования дисциплины студенты должны завладеть последующими познаниями:




  1. Требования к уровню освоения содержания дисциплины.


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


    1. Познания и умения студентов.

В итоге исследования дисциплины студент должен:

а) знать:

б) уметь:




  1. Объем дисциплины и виды учебной работы



^ Вид учебной работы
Всего часов
Семестр

7
Общая трудозатратность дисциплины
100

100

Аудиторные занятия

51

51

Лекции

34

34

Практические занятия (ПЗ)







Семинары (С)

17

17

Лабораторные работы (ЛР)







другие Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» виды аудиторных занятий







Самостоятельная работа

49




Курсовая работа







Расчетно-графические работы







Реферат







Домашние работы




49

Вид итогового контроля (зачет, экзамен)




зачет




  1. ^ Содержание дисциплины.


Истоки искусственного ума (ИИ) и история исследовательских работ в области ИИ. Примеры приложений ИИ. Системы, основанные на Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» познаниях (СОЗ). Общая архитектура СОЗ (интерфейс профессионала, интерфейс конечных юзеров, база данных, база познаний). Модели представления познаний. Типы моделей представления познаний (логические, продукционные, концептуальные). Модели рассуждений (логическая дедукция, абдукция, индукция, вывод Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» по аналогии, вывод на базе нечеткой логики). Эвристический поиск в пространстве состояний. Базы логического программирования. Язык ПРОЛОГ.



    1. Разделы дисциплины и виды занятий.




№ п/п

Раздел дисциплины
Лекции
ПЗ

1


Истоки СИИ. История исследовательских работ в области СИИ.

2




2

Системы Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника», основанные на познаниях (СОЗ). Модели познаний в СОЗ.

8

5

3

Модели рассуждений в СОЗ.

10

5

4

Эвристический поиск в пространстве состояний.

6

3

5

Базы логического программирования.

8

4



Итого:
34

17




    1. Содержание разделов дисциплины.






п/п

Раздел

дисциплины

Содержание
^ Объем в час.

1

Истоки Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» ИИ. История исследовательских работ в области ИИ.

Некие исторические сведения о зарождении и развитии дисциплины "Системы искусственного ума". Примеры приложений ИИ.

2

2

Системы, основанные на познаниях (СОЗ). Модели познаний в СОЗ.

Архитектура СОЗ. Интерфейсы профессионалов и Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» конечных юзеров СОЗ. Типы моделей, применяемых для представления познаний в СОЗ. Языки представления познаний. Логические ЯПЗ, продукционные ЯПЗ, концептуальные ЯПЗ.

13

3

Модели рассуждений в СОЗ.

Модели рассуждений в СОЗ. Типы этих Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» моделей (логическая дедукция, индукция, абдукция, вывод, основанный на нечеткой логике) .

13

4

Эвристический поиск в пространстве состояний.

Эвристический поиск в пространстве состояний. Стратегии эвристического поиска. Оценки трудности эвристического поиска.

9

5

Базы логического программирования.


Базы логического программирования. Структура Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» выводов в логическом программировании. Приведение логических утверждений к форме дизъюнктов. Бэктрекинг. Семантика логического программирования. Язык ПРОЛОГ.

12




    1. Понедельный план проведения занятий.

      1. Лекционные занятия.
Семестр 7
№ недели

^ Наименование лекции

1

Истоки ИИ. История исследовательских работ в Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» области ИИ. Примеры областей внедрения ИИ.

2

Системы, основанные на познаниях. (СОЗ). Общая архитектура СОЗ.

3

Систематизация моделей познаний для СОЗ. Примеры моделей познаний разного типа.

4

Логические модели представления познаний. Язык пропозициональной логики. Примеры формализации Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» в языке пропозициональной логики.

5

Язык логики первого порядка. Синтаксис и семантика этого языка.

6

Логическое следствие. Препядствия общезначимости и выполнимости.

7

Универсум Эрбрана. Невыполнимость универсально квантифици-рованных формул в универсуме Эрбрана. Принцип резолюции.

8

Полнота Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» способа вывода, основанного на принципе резолюции.

9

Способ аналитических таблиц.

10

Полнота способа аналитических таблиц.

11

Эвристический поиск в пространстве состояний. Задачка о ханойской башне.

12

Абдукция в пропозициональной логике. Примеры задач ИИ, требующих внедрения абдукции.

13

Задачка Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» технической диагностики как задачка абдукции.

14

Базы логического программирования.

16

ПРОЛОГ. Его денотативная и операционная семантика.

17

О современных тенденциях в искусственном уме.




      1. Практические занятия.



Семестр 7
№ недели

^ Наименование практических работ

1, 3

Решение задач по формализации познаний при помощи Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» пропозициональной логики.

5, 7

Решение задач на построение логических выводов на базе принципа резолюции.

9, 11

Решение задач на построение логических выводов на базе способа аналитических таблиц.

13

Решение задач на построение абдуктивных выводов и Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» выводов, основанных на нечеткой логике.

15

Решение задач на эвристический поиск в пространстве состояний.

17

Решение задач на составление логических программ.




      1. Самостоятельная работа.

        1. Содержание работы.

№ п/п
^ Содержание работы
Объем в час.

1


Примеры формализации в пропозициональной логике Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» неких предметных областей.

10

2


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

20

3


Построение системы технической диагностики на базе абдуктивных рассуждений.

19




        1. Домашние работы.




№ п/п

№ раздела дисциплины
^ Наименование Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» работы
Объем в час.

Семестр

1

3

Выполнение п.1 из предшествующей таблицы.

10

7

2

4

Выполнение п.2 из предшествующей таблицы.

20




3

5

Выполнение п.3 из предшествующей таблицы

19







      1. Курсовая работа не предусмотрена.




  1. Лабораторный практикум не предусмотрен.




  1. Формы контроля

- промежный контроль: оценки за выполнение Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» домашних работ и за работу на практических упражнениях;

- итоговый контроль: зачет в конце 7 семестра;

Оценки промежного и итогового контроля складывается из последующих частей:

работа на практических упражнениях

Текущий контроль осуществляется средством ведения учета выполнения Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» и оценки свойства подготовки заданий на практических упражнениях (упражнения для закрепления теоретических познаний, выполнение домашних работ);

домашняя работа 1 Примеры формализации в пропозициональной логике неких предметных областей.

домашняя работа 2 Примеры построения логических Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» выводов на базе принципа резолюции и по способу аналитических таблиц.

домашняя работа 3 Построение системы технической диагностики на базе абдуктивных рассуждений.


зачет

Итоговая оценка за дисциплину ^ К по 10-балльной шкале формируется по последующему правилу Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника»:

K = 0,25 Др1 + 0,25 Др2 + 0,25 Др3 + 0,25 Пр,

где Др1, Др2, Др3, Пр – 10-балльные оценки за домашние работы в семестре и практическую работу на упражнениях соответственно с округлением до целого числа баллов.

При 10-балльной оценке K более 4 баллов Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» проставляется зачет, по другому – незачет.



  1. Учебно-методическое обеспечение дисциплины.




    1. Рекомендуемая литература.

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

  1. Дж.Ф.Люгер. Искусственный ум (стратегии и способы решения сложных заморочек). Изд. дом "Вильямс", СПб, Киев, 2003.

  2. В. Н Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника». Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина «Достоверный и правдоподобный вывод в умственных системах». – М.: ФИЗМАТЛИТ, 2004

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


  1. Справочник по искусственному уму, т. 1. Модели.

/Под ред. Д.А Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника».Поспелова. –М.: Радио и связь, 1989.



    1. Средства обеспечения освоения дисциплины.




      1. Список дисциплин, усвоение которых нужно для исследования данной дисциплины:




  1. Методические советы по организации исследования дисциплины.



Реальная рабочая программка составлена Программа дисциплины Системы искусственного интеллекта Для направления 230100 «Информатика и вычислительная техника» в согласовании с Муниципальным образовательным эталоном высшего проф образования по направлению 230100 «Информатика и вычислительная техника» подготовки по специальности 230102 «Автоматизированные системы обработки инфы и управления»



programma-disciplini-politicheskaya-i-ekonomicheskaya-istoriya-dlya-napravleniya-031900-62-mezhdunarodnie-otnosheniya.html
programma-disciplini-politicheskaya-regionalistika-dlya-napravleniya-030200-62-politologiya-podgotovki-bakalavra-stranica-2.html
programma-disciplini-politicheskij-konsalting-dlya-napravleniya-030200-68-politologiya-podgotovki-bakalavrov-avtor-programmi.html