bigpo.ru
добавить свой файл
1






Раздел 1. 
ОСНОВЫ 
ВЫЧИСЛИТЕЛЬНОЙ 
ТЕХНИКИ, 
АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЯ 
Определение алгоритма. Свойства алгоритмов. Нормальный алгоритм. 
Способы  описания  алгоритмов.  Разновидности  структур  алгоритмов. 
Исполнение  алгоритма.  Понятие  программы.  Проектирование  программ. 
Спецификации 
программ. 
Языки 
программирования. 
Технологии 
программирования.  Структурное  программирование.  Типология  языков 
программирования.  Требования  к  языкам  программирования.  Языки 
системного  программирования.  Языки  высокого  уровня.  Языки  логического 
программирования. Разработка языков программирования.  
Формы  представления  информации  в  ЭВМ.  Синтез  функциональных 
схем.  Синтез  комбинационных  схем  в  различных  логических  базисах. 
Функциональная  организация  ЭВМ.  Принципы  построения  устройств 
памяти.  Основные  тенденции  развития  ЭВМ.  Классификация  ЭВМ  по 
архитектуре,  организации  информационных  связей  между  подсистемами, 
организации  взаимодействия  потоков  команд  и  потоков  данных.  Развитие 
операционных  сред  в  ЭВМ  различных  поколений.  Понятие  абстрактной 
информационной  машины,  как  способа  формального  уточнения  принципов 
организации  переработки  информации  на  различных  уровнях  различных 
аппаратно-программных  комплексов  и  систем.  Абстрактные  машины 
Тьюринга  и  Поста.  Языки  функционального  программирования  и 
соответствующие 
им 
потоковые 
компьютерные 
архитектуры
обеспечивающие  управление  потоком  данных.  Абстрактные  машины 
логического  программирования  и  соответствующие  им  логические 
компьютеры - Lisp-компьютеры, Prolog-компьютеры, Smalltalk-компьютеры. 
    Понятие  автомата.  Способы  описания  автоматов.  Клеточный 
автомат. Технологии человеко-компьютерного взаимодействия. Естественно-
языковой 
и 
речевой 
интерфейс. 
Интеллектуальный 
интерфейс. 
Мультимодальный интерфейс.  
Понятие  параллелизма.  Цели  параллельной  обработки.  Формы 
параллелизма  в  алгоритмах  и  программах.  Информационный  граф.  Ярусно-
параллельная  форма.  Векторный  параллелизм.  Параллелизм  независимых 
ветвей. Скалярный параллелизм. Сети Петри. Параллельные вычислительные 
архитектуры.  Классификации  параллельных  вычислительных  архитектур. 
Конвейерные  архитектуры  для  скалярной  обработки.  Конвейерные 
архитектуры  для  векторной  обработки.  Коммутация  в  параллельных 
архитектурах.  Ассоциативные  архитектуры.  Систолические  архитектуры. 
Программируемые архитектуры. Архитектуры для обработки семантических 
сетей.  Понятие  эксперимента.  Виды  эксперимента.  Математическая  модель. 
Цели  вычислительного  эксперимента.  Компьютерное  моделирование 
вычислительного эксперимента. 
 

 

Раздел 2. МАТЕМАТИЧЕСКИЕ  ОСНОВЫ  ИНТЕЛЛЕКТУАЛЬНЫХ 
СИСТЕМ   

Теория  множеств.  Комбинаторика.  Теория  отношений.  Кортеж. 
Атрибут.  Отношение.  Реляционная  структура.  Алфавит.  Формальная 
система. 
Аксиома. 
Теорема. 
Гипотеза. 
Цель. 
Задача. 
Решатель 
интеллектуальных  задач    Теория  графов.  Типология  графов.  Задачи  на 
графах.  Алгебра  логики.  Исчисление  высказываний.  Дизъюнкты  и 
нормальные  формы.  Принцип  резолюций.  Исчисление  предикатов.  Метод 
резолюций.  Унификация.  Представление  знаний  и  рассуждениях    с 
использованием  аппарата  математической  логики.  Немонотонные  логики. 
Логики  умолчаний.  Модальные  логики.  Формальные  грамматики. 
Логическое 
программирование. 
Нечеткие 
множества. 
Функции 
принадлежности. Теория игр. 
Основы  семантического  языка  описания  множеств.  Классический 
логический  язык.  Определение  классической  логической  формулы. 
Атомарные  и  неатомарные  логические  формулы.  Высказывания.  Теории. 
Аксиоматические системы. 
Понятие  абстрактной  информационной  машины.  Абстрактная  память. 
Линейная  и  нелинейная  память.  Состояние  памяти.  Понятие  операции 
абстрактной 
информационной 
машины. 
Рецепторные 
операции.  
Эффекторные  операции.  Операции  над  памятью.  Типология  абстрактных 
информационных  машин.  Абстрактная  информационная  машина  как 
многоагентная система.   
Формальное  описание  задач  в  базе  знаний.  Понятие  информационной 
конструкции.  Синтаксис  и  семантика  информационных  конструкций. 
Атомарные  фрагменты  информационных  конструкций.  Знаки.  Разделители. 
Ограничители. 
Алфавит 
атомарных 
фрагментов 
информационных 
конструкций. Типология  информационных конструкций. 
   
 Раздел 3. ПРОЕКТИРОВАНИЕ 
ИНТЕЛЛЕКТУАЛЬНЫХ 
СИСТЕМ 
Данные  как  информационный  объект.  Язык  как  средство  хранения  и 
передачи  информации.  Естественные  и  искусственные  языки.  Формальный 
язык. Языки представления данных. Структуры данных реляционной модели 
данных.  
Основные  принципы  информационного  поиска.  Последовательный 
поиск. Ускоренные методы поиска: двоичный, блочный. Поиск по двоичному 
дереву.  Методы  поиска,  использующие  прямой  доступ  к  данным.  Доступ  с 
помощью  ключа.  Поиск  по  многим  ключам.  Произвольный  доступ  с 
помощью 
хэш-функции. 
Индексно-последовательный 
и 
индексно-
произвольный методы доступа. 

 

Спецификация  базы  знаний.  Языки  спецификации  баз  знаний  и 
онтологий.  Требования  к  моделям  представления  знаний.  Интеграция 
Моделей  представления  знаний.  Структура  фрема.  Фреймы-прототипы  и 
фремы-экземпляры.  Вложенные  фреймы.  Представление  процедурных 
знаний  фреймами.  Фреймы  и  объектно-ориентированный  подход.  Общая 
структура  продукционного  правила.  Постусловия  и  предусловия. 
Архитектура  продукционных  систем.   Управление  выводом  и  разрешение 
конфликтов в продукционных системах.  Однородные и неоднородные сети. 
Иерархические  сети.  Процедурная  интерпретация  сетей.  Формализация. 
Моделирование  ассоциативной  памяти.  Базовые  механизмы  поиска  в  сетях. 
Графические представления сложных сетей.  Понятие формальной системы и 
формальной  теории.  Общие  свойства.  Язык  исчисления  предикатов  первого 
порядка. 
Понятие  системы,  подсистемы,  элемента  системы.  Структура  и  связь. 
Внешняя  среда,  поведение,  равновесие,  устойчивость,  развитие.  Понятие 
структуры  системы.  Структура  исследований  в  области  искусственного 
интеллекта.  Структура  интеллектуальной  системы.  Структура  системы 
ситуационного управления. 
Понятие  модели  и  моделирования.  Классификация  моделей.  Модель 
«черный  ящик».  Модель  состава  системы.  Модель  структуры  системы. 
Структурная схема системы. Динамические модели систем. Математическая 
модель.  Основные  операции  математического  моделирования.  Оценка 
адекватности модели.   Нечеткое моделирование и когнитивные карты. 
Система  принятия  решений.  Нахождение  удовлетворительных 
решений.  Задача  оптимизации.  Понятие  задач  выбора.  Виды  задач  выбора. 
Назначение  задач  выбора.  Понятие  поиска.  Альтернативный  поиск.  Поиск 
альтернативы  с  заданными  свойствами.  Критериальный  язык  описания 
выбора. Понятие паретовского множества. Правила построения паретовского 
множества. Описание выбора на языке бинарных отношений. Язык функций 
выбора.  Групповой  выбор.  Экспертные  методы  выбора.  Характеристики 
методов экспертных оценок. Система принятия решений. 
Основные  понятия  психологического  аспекта  процесса  извлечения 
знаний.  Контактный слой.  
 
Процедурный слой.  
 
Когнитивный 
слой. 
Основные понятия лингвистического аспекта процесса извлечения знаний.   
Общий код.  
 
Понятийная структура.  
 
Словарь 
пользователя.    
Основные  понятия  гносеологического  аспекта  процесса  извлечения  знаний. 
Объектно-структурный подход в инженерии знаний.  Стратификация знаний. 
Методы  практического  извлечения  знаний.  Коммуникативные 
пассивные  методы.  Коммуникативные  активные  методы.  Текстологические 
методы.  Алгоритм  извлечений  знаний  из  текста.  Современное  состояние 
автоматизированных систем приобретения знаний. Стадии структурирования 
знаний.  Специальные  методы  структурирования  знаний.  Построение  поля 
знаний.  

 

Инициализация.  Формирование  группы  разработчиков  системы. 
Определение  требований  к  системе.  Проведение  исследований  по 
выполнимости  проекта.  Разработка  общей  концепции  системы.  Проблемы 
прототипирования. Выбор широты и глубины проработки задачи для данного 
прототипа.  Виды  стратегий прототипирования.  Оценка  функционирования 
очередного прототипа.  Финальный прототип. Методы тестирования.   
  
 
Литература 
К разделу 1 
1  Барский  А.Б.  Паралелльные  информационные  технологии.  Учебное 
пособие. 
Интернет-университет 
информационных 
технологий - 
ИНТУИТ.ру, БИНОМ. Лаборатория знаний, 2007 г., 504 стр. 
2  Архитектура  и  топологии  многопроцессорных  вычислительных  систем. 
Богданов  А.В.,  Корхов  В.В.,  Мареев  В.В.,  Станкова  Е.Н.  Интернет-
университет информационных технологий - ИНТУИТ.ру, 2004 г., 176 стр. 
3  Основы теории и организации ЭВМ. Гуров В.В., Чуканов В.О. Интернет-
университет информационных технологий - ИНТУИТ.ру, 2006 г., 280 стр. 
4  Архитектура, структура и организация вычислительного процесса в ЭВМ 
типа IBM PC Гуров В.В., Ленский О.Д., Соловьев Г.Н., Чуканов В.О. М.: 
МИФИ, 2002. Под ред. Г.Н. Соловьева 
5  Качков  В.П.,  Доморадов  И.Я.  Организация  и  функционирование 
традиционных  и  интеллектуальных  компьютеров:  Учеб.  пособие. – Мн.: 
БГУИР, 2006. – 207 с.  
 
К разделу 2 
1.  Андерсон  Д.  Дискретная  математика  и  комбинаторика. –СПб.: 
Вильямс, 2003г. – 960 с. 
2.  Голенков  В.В.,  и  др.  Представление и  обработка  знаний  в 
графодинамических  ассоциативных  машинах / Под  ред.  В.В. 
Голенкова. – Минск: БГУИР, 2001. –412с. 
3.  Голенков В.В., и др. Программирование в ассоциативных машинах. – 
Минск: БГУИР, 2001. –276 с. 
4.  Евстигнеев  В.А.  Применение  теории  графов  в  программировании. – 
М.: Наука, 1995. – 352с. 
5.  Кузнецов О.П. Дискретная математика для инженеров / Учебное 
пособие 3-е изд., перераб. и доп. – М.: Лань, 2004 г. – 400с. 
6.  Харари Ф. Теория графов. Пер. с англ. 3-е изд. – М.: КомКнига, 2006. – 
296с. 
7.  Достоверный и правдоподобный вывод в интеллектуальных системах / 
В. Н. Вагин, [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. 2-е изд. – 
М. : Физматлит, 2008. – 704 с. 
 
 
 

 

К разделу 3  
1.  Гаврилова,  Т.А.  Базы  знаний  интеллектуальных  систем / Т.А. 
Гаврилова, В.Ф. Хорошевский – СПб: Питер, 2001. 
2.  Рыбина,  Г.В.  Теория  и  технология  построения  интегрированных 
экспертных систем. М.: ООО Издательство “Научтехлитиздат”, 2008. 
3.  Семантическая  модель  сложноструктурированных  баз  данных  и  баз 
знаний / В. В. Голенков [и др.]. – Минск : БГУИР, 2004. 
4.  Любарский, Ю.Я. Интеллектуальные информационные системы. – М.: 
Наука, Гл. ред. физ.-мат. лит., 1990. 
5.  Андрейчиков,  А.В.  Интеллектуальные  информационные  системы: 
Учебник / А.В.  Андрейчиков,  О.Н.  Андрейчикова – М.:  Финансы  и 
статистика, 2006. – 424 с. 
6.  Клир, Дж.  Системология.  Автоматизация  решения системных задач / 
Дж. Клир. – М. : Радио и связь, 1990. – 535 с. 
7.  Месарович,  М.  Теория  иерархических  многоуровневых  систем / М. 
Месарович, Д. Мако, И. Такахара. – М. : Мир, 1973. – 344 c. 
8.  Общая  теория  систем / А.М.  Иванов  [и др.]. – СПб.:  Научная  мысль, 
2005. – 480 с. 
9.  Перегудов,  Ф. И.  Введение  в  системный  анализ  / Ф. И. Перегудов,     
Ф. П. Тарасенко. – М. : Высш. шк., 1989. – 320 с. 
10. Фоменков  С.  А.,  Заболеева-Зотова  А.  В.,  Борзыкин  В.  А.  Системный 
анализ:  Учебное  пособие. – Волгоград:  Издательство  ВолгГТУ, 2006. 
― 96 с. 
11. Частиков  А.П.,  Гаврилова  Т.А.,  Белов  Д.Л.  Разработка  экспертных 
систем. Среда CLIPS. – СПб.: БХВ-Петербург, 2003.- 608 с.  
12. Представление 
и 
обработка 
знаний 
в 
графодинамических 
ассоциативных  машинах:  Монография / В.В. Голенков,  О.Е. Елисеева, 
В.П. Ивашенко и др.; Под ред. В.В. Голенкова. – Мн.: БГУИР, 2001. – 
412 с  
13. Тарасов  В.Б.  От  многоагентных  систем  к  интеллектуальным 
организациям. М.: 2002. 
14. Рассел С., Норвиг П. Искусственный интеллект: современный подход. 
– М.: 2006. 
15. Попов Э.В., Фоминых И.Б., Кисель Е.Б., Шапот М.Д. Статистические и 
динамические экспертные системы. - М.: Финансы и статистика, 1996.