УТВЕРЖДАЮ
Проректор по учебной работе
работе БГУИР
__________
"___"___________ 2007 г.
Программа
вступительного экзамена в магистратуру БГУИР
по специальности "Теоретические основы информатики"
Минск
2007
Программа рассмотрена на заседании кафедры интеллектуальных информационных технологий
Протокол № от
Зав. кафедрой ИИТ
Настоящая программа является минимальной для подготовки и сдачи вступительного экзамена в магистратуру Белорусского государственного университета информатики и радиоэлектроники по специальности "Теоретические основы информатики". Она базируется на программах вузовских дисциплин специальности «Искусственный интеллект».
Теоретические основы вычислительной техники, алгоритмизации и программирования
Определение алгоритма. Свойства алгоритмов. Нормальный алгоритм. Способы описания алгоритмов. Разновидности структур алгоритмов. Исполнение алгоритма. Понятие программы. Проектирование программ. Спецификации программ. Языки программирования. Технологии программирования. Структурное программирование. Типология языков программирования. Требования к языкам программирования. Языки системного программирования. Языки высокого уровня. Языки логического программирования. Разработка языков программирования. Архитектура вычислительной системы. Типология вычислительных архитектур. Организация памяти компьютера. Типы памяти. Управление информацией в ЭВМ. Понятие автомата. Способы описания автоматов. Клеточный автомат. Технологии человеко-компьютерного взаимодействия. Естественно-языковой и речевой интерфейс. Интеллектуальный интерфейс. Мультимодальный интерфейс.
1. Модели и методы представления и переработки знаний
Понятие знания. Модели представления и переработки знаний. Логические модели. Продукционные модели. Фреймовые модели. Семантические сети. Нейросетевые модели и нейрокомпьютеры. Вывод на знаниях. Прямой вывод. Обратный вывод. Вывод по аналогии. Рассуждения. Языки представления и переработки знаний. Базы данных. Типология моделей баз данных. Реляционные модели. Сетевые модели. Иерархические модели. Системы управления базами данных и знаний. Использование данных и знаний для проектирования прикладных систем различного назначения.
2. Математические основы искусственного интеллекта, математическая логика
Теория множеств. Комбинаторика. Теория отношений. Кортеж. Атрибут. Отношение. Реляционная структура. Алфавит. Формальная система. Аксиома. Теорема. Гипотеза. Цель. Задача. Решатель интеллектуальных задач Абстрактная информационная машина. Общая (абстрактная) алгебра. Теория графов. Типология графов. Задачи на графах. Алгебра логики. Исчисление высказываний. Дизъюнкты и нормальные формы. Принцип резолюций. Исчисление предикатов. Метод резолюций. Унификация. Представление знаний и рассуждениях с использованием аппарата математической логики. Немонотонные логики. Логики умолчаний. Модальные логики. Формальные грамматики. Логическое программирование. Нечеткие множества. Функции принадлежности. Теория игр.
3. Системный анализ, теоретические основы и технологии проектирования сложных систем
Общие понятия, характеризующие строение и функционирование систем: элемент, подсистема, компоненты, связь, состояние, поведение, равновесие, устойчивость, развитие. Понятие системы. Классификации систем. Понятие иерархической структуры. Понятие иерархических систем. Иерархические системы в крупных автоматизированных комплексах. Теория организаций. Иерархический порядок в природных структурах. Стратифицированные системы. Координация. Согласование. Модификация. Декомпозиция. Системный анализ. Компьютерное моделирование. Человеко-машинная система. Подходы и технологии проектирования сложных систем.
4. Параллельные вычисления, теория вычислительного эксперимента
Понятие параллелизма. Цели параллельной обработки. Формы параллелизма в алгоритмах и программах. Информационный граф. Ярусно-параллельная форма. Векторный параллелизм. Параллелизм независимых ветвей. Скалярный параллелизм. Сети Петри. Параллельные вычислительные архитектуры. Классификации параллельных вычислительных архитектур. Конвейерные архитектуры для скалярной обработки. Конвейерные архитектуры для векторной обработки. Коммутация в параллельных архитектурах. Ассоциативные архитектуры. Систолические архитектуры. Программируемые архитектуры. Архитектуры для обработки семантических сетей. Понятие эксперимента. Виды эксперимента. Математическая модель. Цели вычислительного эксперимента. Компьютерное моделирование вычислительного эксперимента.
5. Теория принятия решений, технологии проектирования интеллектуальных систем различного назначения, информационно-справочных систем, систем автоматизированного и дистанционного обучения
Понятие выбора. Виды выбора. Многообразие задач выбора. Критериальный язык описания выбора. Описание выбора на языке бинарных отношений. Групповой выбор. Выбор в условиях неопределенности. Выбор в условиях статистической неопределенности. Выбор при расплывчатой неопределенности. Экспертные методы выбора. Лицо, принимающее решение. Модели принятия решений. Многокритериальные задачи. Процесс принятия решения. Математическое программирование. Линейное программирование. Понятие информационной системы. Интеллектуальные и экспертные системы. Поиск в информационных системах. Теоретические аспекты извлечения знаний. Практические методы извлечения знаний. Онтологии и онтологические системы. Программные агенты и мультиагентные системы. Информационно-справочные системы в обучении. Технология дистанционного обучения. Технологии проектирования интеллектуальных систем различного назначения. Предметная независимость инструментальных средств и технологий. Интеллектуализация прикладных интеллектуальных систем и систем автоматизированного обучения. Интеллектуальные обучающие системы. Информатизация сферы образования.
ЛИТЕРАТУРА
1. Искусство программирования на ЭBM. т.1-3. М.: Мир, 1976, 2000.
2. Базы знаний интеллектуальных систем / , - Спб.: Питер, 2000.
3. Дискретная математика для программистов / - Спб.: Питер, 2001.
4. , , Белов экспертных систем. Среда CLIPS. – СПб.: БХВ-Петербург, 200с.
5. Представление и обработка знаний в графодинамических ассоциативных машинах: Монография / , , и др.; Под ред. . – Мн.: БГУИР, 2001. – 412 с
6. КомарцоваЛ. Г., Максимов . – М.: 2004.
7. Проектирование экономических информационных систем: Учебник/, , ; Под ред. , - М.: Финансы и статистика, 2001 г. – 512 с.
8. , Андрейчикова информационные системы: Учебник.- М.: Финансы и статистика, 2006. – 424с.
9. От многоагентных систем к интеллектуальным организациям. М.: 2002.
10. Искусственный интеллект: современный подход. – М.: 2006.
11. , , Фомина и правдоподобный вывод в интеллектуальных системах / Под ред. , . – М.: Физматлит, 200с.
12. Программирование в ассоциативных машинах: Монография / , , и др.; Под ред. . – Мн.: БГУИР, 2001. – 276 с
13. Стефанюк организация интеллектуальных систем. – М.: ФИЗМАТЛИТ, 2004, - 338 с.
14. , , Шапот и динамические экспертные системы: Учеб. пособие. - М.: Финансы и статистика, 1996.
