Основы проектирования систем искусственного интеллекта

Базовые понятия ИИ
Цель преподавания дисциплины
Терминология

Философские аспекты проблемы систем ИИ (возможность существования, безопасность, полезность).
История развития систем ИИ.
Лекция 3: Архитектура и основные составные части систем ИИ
Различные подходы к построению систем ИИ

Вспомогательные системы нижнего
Лекции 4-7: Системы распознавания образов (идентификации)
Понятие образа
Проблема обучения распознаванию образов (ОРО)
Геометрический и структурный подходы.

Гипотеза компактности
Обучение и самообучение. Адаптация и обучение
Перцептроны
История исследований в области нейронных сетей
Модель нейронной сети с обратным распространением ошибки (back propagation)

Нейронные сети: обучение без учителя
Нейронные сети Хопфилда и Хэмминга
Метод потенциальных функций
Метод наименьших квадратов
Общая схема построения алгоритмов метода группового учета аргументов (МГУА).

Алгоритм с ковариациями и с квадратичными описаниями.
Метод предельных упрощений (МПУ)
Коллективы решающих правил
Кластерный анализ
Иерархическое группирование

Лекции 8-11. Логический подход к построению систем ИИ
Неформальные процедуры
Алгоритмические модели
Продукционные модели
Режим возвратов
Логический вывод
Зависимость продукций
Продукционные системы с исключениями
Язык Рефал

Пролог
ТЕРМЫ
КОНСТАНТЫ
ATOM
ЧИСЛА
ПЕРЕМЕННЫЕ
ОБЛАСТЬ ДЕЙСТВИЯ ПЕРЕМЕННЫХ

СЛОЖНЫЕ ТЕРМЫ, ИЛИ СТРУКТУРЫ
СИНТАКСИС ОПЕРАТОРОВ
СИНТАКСИС СПИСКОВ
СИНТАКСИС СТРОК
УТВЕРЖДЕНИЯ
ЗАПРОСЫ
ВВОД программ
Унификация
Отождествимы ?

Арифметические выражения
Введение
Арифметические операторы
Вычисление арифметических выражений
Сравнение результатов арифметических выражений
Структуры данных
Списки

ПРЕДСТАВЛЕНИЕ БИНАРНЫХ ДЕРЕВЬЕВ
ПРЕДСТАВЛЕНИЕ МНОЖЕСТВ С ПОМОЩЬЮ БИНАРНЫХ ДЕРЕВЬЕВ
Механизм возврата и процедурная семантика
Механизм возврата
Пример: задача поиска пути в лабиринте
Элементы нечеткой логики

Указатели

Мировой рынок систем электронного документооборота

Компания Action Technologies занимается разработкой ПО коллективной работы более 12 лет. В 1996 г. она выпустила Web-ориентированное ПО организации документооборота Action Metro. Это типичное приложение для Интернет: сервер управления процессами располагается "cзади" Web-сервера, функционирующего в качестве внутреннего шлюза. Проверить статус задания пользователи могут через Web-навигатор. Для определения документооборота они используют выделенный клиент или инструментальное средство проектирования Process Builder, обращающееся непосредственно к серверу Action Metro. Process Builder позволяет создавать визуальную диаграмму последовательности прохождения документа с использованием маркированной рамки для обозначения каждого этапа и стрелок для определения отношений между ними. С помощью данного инструмента пользователи могут задавать сложные правила автоматизации комплексных процессов.

Action Technologies
АйТи
Cовместные работы по стандартизации СЭД

---

---