Geum.ru

Программы и учебный план отделения теоретической и прикладной лингвистики Издательство Московского университета 2009

Вид материалаДокументы
Подобный материал:
1   ...   37   38   39   40   41   42   43   44   ...   55

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


Основные концепции языков программирования для задач искусственного интеллекта (языки Лисп, Плэнер, Пролог).

Введение в язык Пролог: типы данных, структура программы, виды пролог-предложений. Пролог-интерпретатор, правила доказательства (выполнения) пролог-программ. Управляющие механизмы — сопоставление (унификация) и бектрекинг. Примеры пролог-программ, рекурсивные программы.

Исчисление предикатов и Пролог. Декларативная и процедурная семантика пролог-программ.

Решение на языке Пролог задачи синтаксического разбора предложений из ограниченного подмножества естественного языка.

3. Эвристический поиск.


Искусственный интеллект как представление и поиск.

Представление задач в пространстве состояний. Стратегии поиска решения: слепой и эвристический поиск; прямой, обратный и двунаправленный поиск. Алгоритмы поиска (перебора) вширь и вглубь. Деревья поиска. Эвристическая оценочная функция, алгоритм эвристического поиска. Особенности эвристического поиска.

Представления, допускающие редукцию задач. И/ИЛИ-графы и деревья, понятие разрешимости вершин. Поиск на И/ИЛИ-графах, решающий граф. Примеры решения задач на основе редукции.

Игровые деревья поиска. Поиск выигрышной стратегии. Выбор лучшего хода на основе минимаксного принципа: статическая оценочная функция, минимаксная и альфа-бета процедуры.

4. Представление знаний.


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

Логические методы представления знаний. Дедуктивные базы знаний. Сложности применения языка предикатов первого порядка для представления знаний.

Семантические сети. Типы сущностей и отношений, представимых в семантических сетях. Вывод на семантических сетях. Однородные сети, сценарии.

Фреймовая модель представления знаний. Теория фреймов М. Минского. Фреймы-прототипы и фреймы-экземпляры: структура, наполнение, примеры. Присоединенные процедуры. Сети фреймов, вывод на сетях.

Понятие онтологии. Виды онтологий, отношения концептов. Онтологический инжиниринг. Функции инженера по знаниям. Системы поддержки создания онтологий.

Продукционная модель представления знаний. Продукционное правило (продукция) и система продукций. Базовые компоненты и цикл работы продукционной системы.

Представление нечетких знаний, коэффициенты определенности.

5. Экспертные системы.


Основные функции экспертной системы. Области применения экспертных систем и типы решаемых задач. Типовая архитектура экспертной системы: база знаний, рабочая память, механизм вывода, подсистемы объяснения и приобретения знаний, модуль взаимодействия с пользователем (интерфейс).

Жизненный цикл экспертной системы, режимы работы. Методы извлечения знаний при построении экспертных систем.

Примеры экспертных систем. Нечеткий вывод в продукционных экспертных системах.

5. Заключительные замечания.


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

литература

Обязательная литература


Братко И. Программирование на языке Пролог для искусственного интеллекта. М., 2006. [С. 19–112.]

Люгер Дж. Искусственный интеллект: стратегии и методы решения сложных проблем. М., 2005. [С. 27–163, 169–180, 196–212, 225–245, 261–266, 273–291, 567–575, 603–620, 671–677.]

Частиков А.П., Гаврилова Т.А., Белов Д.Л. Разработка экспертных систем. Среда CLIPS. СПб., 2003. [С. 17–119.]

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


Виноград Т. Программа, понимающая естественный язык. М., 1982.

Зубов А.В., Зубова И. И. Основы искусственного интеллекта для лингвистов. М., 2007.

Клоксин У., Меллиш К. Программирование на языке Пролог. М., 1987. [С. 235–255.]

Попов Э.В. Экспертные системы: решение неформализованных задач в диалоге с ЭВМ. М., 1987. [С. 7–13, 34–78.]

Искусственный интеллект: Справочник / Под ред. Д. А. Поспелова. М., 1990. Кн. 1. [С. 9–94, 261–290.]; Кн. 2. [С. 7–55.]

Программу составила Е. И. Большакова

Цикл  VI.
Основы программированиЯ

Компьютерная грамотность

1. Введение.


1.0. Системы счисления: непозиционные, позиционные, смешанные. Позиционные системы счисления, перевод из одной системы в другую.

2.0. Состав персонального компьютера. Понятия: процессор, память, разрядность, быстродействие. Устройства ввода-вывода, переферийные устройства. Память: ROM, RAM, накопители на дисках: локальный, CD, съемный, сетевой. Принципы работы устройсва ввода-вывода звука.

3.0. Факультативно — из истории развития ВТ, кибернетика — наука об управлении, информационные технологии.

2. Общие понятия об операционной системе.


2.0. Понятие «объект» в информационной сфере. Объектный подход к пониманию функционирования компьютера.

2.1. MS Windows — многозадачная защищенная операционная система. Развитие Windows: от Win3.x до Vista. Понятия: «задача», «документ», «файл», «папка», «диск». Принципы именования. Начало работы, окончания работы (профиль пользователя), панель задач, рабочий стол, ярлык. Переключение между задачами. Клавиатурные сокращения. Принципы работы в задаче «Проводник».

2.2. Кнопка «Пуск». Стандартный набор задач. Стандартные редакторы MS Windows: Notepad, WordPad, Paint. Работа с документами Работа с буфером обмена.

2.3. Органы управления MS Windows. «Рабочий стол», «Панель задач» и их связь с каталогами. Синхронизация каталогов. Понятие окна. Типы окон: Overlapped windows, родительские, дочерние, Pop-up windows, модальные, системные модальные, немодальные. Фокус ввода и управление им. Взаимоотношения окон: окно-владелец (owner), зависимое окно (owned), foreground window, background window.

2.4. Таблица символов. Кодовые таблица ASCII и UNICODE, их связь и различия. Шрифт. Растровые и векторные шрифты. Стандартные шрифты Windows. Добавление и удаление шрифтов. Файлы шрифтов. Задача «Таблица символов».

2.5. MS DOS как задача Windows, версии операционных систем и совместимость задач. Файл. Соглашения об именовании и расширениях. Файловая структура. Каталог. Понятие «Environment». Переменные среды: «path», «username», «userprofile», «windir» и др. Смысл и синтаксис команд «copy», «dir», «cd», «md» и некоторых других команд MS DOS. Использование переменных среды в командах MS DOS. «Bat» файлы — файлы пакетной обработки, команды «bat» файлов. Передача параметров в «bat» файлы. Перенаправление потоков ввода вывода. Оболочки файловой структуры: Far.