П Р О Г Р А М М А
дисциплины
БАЗЫ ДАННЫХ И ЭКСПЕРТНЫЕ СИСТЕМЫ

 

СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ (СУБД)

Области приложений СУБД. Интерфейсы СУБД для обеспечения интерактивного доступа к данным и создания прикладных программ. Языки запросов, запросы через формы, генераторы отчетов, языки быстрого прототипирования приложений.
Типичные функции СУБД. Управление данными, управление транзакциями, журнализация изменений базы данных, восстановление после сбоев.
Проектирование баз данных. Концептуальные модели данных. Семантические модели данных. Диаграммы "сущность-связи".
СУБД и информационно-поисковые системы. Понятие гипертекста. Применение современной аппаратуры в информационных системах.
Реляционные базы данных. Реляционная модель данных. Реляционная алгебра и реляционное исчисление. Нормальные формы отношений.
Структуры данных реляционной базы данных. Способы хранения отношений, индексов, журнальной информации.

ОБЪЕКТНО-ОРИЕНТИРОВАННЫЕ БАЗЫ ДАННЫХ

Понятие транзакции. Связь с понятиями целостности базы данных и изолированности пользователей. Методы управления транзакциями.
Журнализация. Методы восстановления баз данных после сбоев.
Язык баз данных SOL. Основные средства манипулирования данными. Средства управления и изменения схемы базы данных, определения ограничений целостности, представлений базы данных, привилегий доступа к данным.
Возможности встраивания языка SOL в прикладную программу. Динамический SOL.

ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ И ЭКСПЕРТНЫЕ СИСТЕМЫ

Основные задачи исследований по искусственному интеллекту. Интеллектуальная деятельность человека и искусственный интеллект. Специфика моделей искусственного интеллекта.
Решение задач и искусственный интеллект.
Представление задач в пространстве состояний.
Стратегии поиска решения: слепой и эвристический; прямой, обратный и двунаправленный; иерархический поиск. Редукция задач. Поиск на игровых деревьях: дерево игры, минимаксная процедура, альфа-бета процедура. Планирование действий: неиерархическое, иерархическое, с взаимодействующими подцелями.
Представление знаний.
Методы представления знаний: процедурные представления, логические представления, семантические сети, фреймы, системы продукций. Интегрированные методы представления знаний. Метазнания в системах искусственного интеллекта, возможности использования. Языки представления знаний. Базы знаний.
Языки программирования для задач искусственного интеллекта: основные концепции, примеры языков (ЛИСП, ПЛЭНЕР, ПРОЛОГ). Инструментальные средства для создания систем искусственного интеллекта.
Экспертные системы.
Области применения экспертных систем. Архитектура экспертных систем. База знаний, механизмы вывода, подсистемы объяснения, общения, приобретения знаний экспертных систем. Жизненный цикл экспертной системы. Примеры конкретных экспертных систем.
Обучение в системах искусственного интеллекта на основе запоминания результатов собственной работы; обучение по примерам; обучение с использованием советов человека.
Модель общения человека с системой искусственного интеллекта. Искусственный интеллект и естественный язык. Понимание выражений естественного языка. Представление лингвистических знаний. Методы анализа и синтеза текста.

ЛИТЕРАТУРА

Дейт К. Введение в системы баз данных. М.: Наука, 1980.
Дейт К. Руководство по реляционной СУБД DB2. М.: Финансы и статистика, 1988.
Цикритзис Д., Лоховски К. Модели и базы данных. М.: Финансы и статистика, 1984.
Мейер Д. Теория реляционных баз данных. М.: Мир.
Нильсон Н. Принципы искусственного интеллекта. М.: Радио и связь, 1985.
ЛорьерЖ.-Л. Системы искусственного интеллекта. М.: Мир, 1991.
Уэно X. и др. Представление и использование знаний. М.: Мир, 1989.
Приобретение знаний/Под ред. С.Осуга. М.: Мир, 1990.
Семенов М.Ю. Язык лисп для персональных ЭВМ. М.: МГУ, 1989.
Пильщиков В.Н. Язык плэнер. М.: Наука, 1983.
Экспертные системы. Принципы работы и примеры /Под ред. Р.Форсайта -М.: Радио и связь, 1987.
Мальковский М.Г. Диалог с системой искусственного интеллекта. М.: МГУ, 1985.
Программа составлена Советом по программированию факультета вычислительной математики и кибернетики Московского университета под общей редакцией чл.-корр. РАН Л.Н.Королева