год издания — 2007, кол-во страниц — 274, ISBN — 5-02-033457-X, язык — русский, тип обложки — твёрд. 7БЦ матов., масса книги — 390 гр., издательство — Наука

КНИГА СНЯТА С ПРОДАЖИ

Р е ц е н з е н т
д-р техн. наук В. М. Вишневский

Утверждено к печати Учёным советом Института проблем передачи информации РАН

Формат 60x90 1/16. Печать офсетная

Монография посвящена теории и практике интеллектуальных компьютерных систем, взаимодействие с которыми протекает в форме диалога человека и компьютера. Теоретическое исследование таких систем чрезвычайно затруднено разнообразием задач и предметных областей. Авторами сделана попытка выделить общие идеи, используемые в большинстве подобных систем, путём сопоставления описания конкретной ситуации и некоторого обобщённого описания с помощью разработанного ими формального математического языка, базирующегося на алгебраической теории категорий. В заключение изложены принципы построения интеллектуального интерфейса и интеллектуальных обучающих систем.

Для студентов и преподавателей вузов, аспирантов и научных работников.

Интенсивный обмен знаниями между интеллектуальной системой и человеком при совместном решении задач позволяет уже сегодня говорить о глубоком сотрудничестве человека и искусственных систем. Подчёркивая, что существующая практика создания человеко-машинных или экспертных систем обычно базируется на чисто эвристических соображениях, в книге особое внимание уделено созданию оригинального математического аппарата, позволяющего как анализировать существующие подходы, так и предлагать совершенно новые схемы решения задач, требующих общения человека и машины.

Предисловие	3

Часть 1
АЛГЕБРАИЧЕСКИЕ МЕТОДЫ ФОРМАЛЬНОГО ОПИСАНИЯ
ЗНАНИЙ


1.1. Введение	7

1.2. Образцы, продукции и сопоставление	9
1.2.1. Знания или вывод?	9
1.2.2. Ситуации, образцы и конкретизация	14
1.2.3. Образцы на языке отображений	19
1.2.4. Продукции	22
1.2.5. Системы образцов и системы продукций	28

1.3. Категорный подход к системам образцов	31
1.3.1. Язык теории категорий	31
1.3.2. Образцы и продукции на языке теории категорий	36
1.3.3. Простейшие примеры	40
1.3.4. Системы добавлений и изъятий	45
1.3.5. Продукционная система ЗНАТОК	49

1.4. Ω-категории	53
1.4.1. Язык универсальных алгебр	53
1.4.2. Забывающий функтор и функтор свободы	58
1.4.3. Ω-категории: основные определения	61
1.4.4. Строение морфизмов Ω-категории	66
1.4.5. Примеры Ω-категорий	70
1.4.6. Прямое произведение в Ω-категории	73

1.5. Порядок на множестве образцов	75
1.5.1. Сравнение образцов по степени общности	75
1.5.2. Наименьшее обобщение	79
1.5.3. Упорядоченность образцов в Ω-категории	88

1.6. Дополнительные вопросы категорного анализа продукционных
систем	111
1.6.1. Категорный анализ базы знаний продукционной экспертной
системы	112
1.6.2. Теоретико-категорный подход к представлению нечётких
данных	118

1.7. Продукционные сети	128
1.7.1. Взаимодействие продукций	128
1.7.2. Цепочки продукций	130
1.7.3. Прямые произведения и продукционные деревья	137
1.7.4. Продукционные сети на Ω-категориях	138
1.7.5. Случай Ω-категорий, порождённых универсальными
алгебрами	141

Часть 2
ПРИКЛАДНЫЕ СИСТЕМЫ, ОСНОВАННЫЕ НА ЗНАНИЯХ


2.1. Введение	146

2.2. Программируемая оболочка экспертной системы	149
2.2.1. Что такое программируемая оболочка?	149
2.2.2. База данных системы ЗНАТОК	152
2.2.3. База знаний системы ЗНАТОК	154
2.2.4. Машина вывода системы ЗНАТОК	156
2.2.5. Использование присоединённых процедур	158
2.2.6. Некоторые замечания о реализации системы	162
2.2.7. Подсистема объяснения	164

2.3. ЭС для выбора свай и расчёта их несущей способности	170
2.3.1. Условия применения системы СВАЯ 1.0	170
2.3.2. Описание прикладной локально-организованной экспертной
системы СВАЯ 1.0	171
2.3.3. Описание структуры базы знаний системы СВАЯ 1.0	171
2.3.4. Входной и выходной языки системы СВАЯ 1.0	172
2.3.5. Запуск системы СВАЯ 1.0	175

2.4. Мета экспертная система	176
2.4.1. Вопросы теории экспертных систем	176
2.4.2. Выбор задачи для данной ЭС или выбор ЭС для данной задачи	178

2.5. Обучающаяся система поддержки ввода информации	182
2.5.1. Обучающаяся диалоговая система как автомат	183
2.5.2. Описание системы PROMPTER в виде формальной модели	185
2.5.3. Теоретико-категорное описание системы	188
2.5.4. Выбор параметров в системе PROMPTER	190
2.5.5. Экспериментальная оценка параметров τ, τ_п	192
2.5.6. Применение системы PROMPTER при работе с портовой
документацией	193
2.5.7. Детали реализации	196

2.6. Динамическая экспертная система	199
2.6.1. Введение	199
2.6.2. Статическая экспертная система	201
2.6.3. Обработка нечётких данных в системе ЗНАТОК	202
2.6.4. Архитектура квазистатической системы	203
2.6.5. Обработка побочных эффектов	204
2.6.6. Теоретико-категорный подход к динамическим системам	205
2.6.7. Данные сейсмологического характера	209
2.6.8. Реализация системы и некоторые результаты	210
2.6.9. Исторический комментарий	212
2.6.10. Заключение	214

2.7. Универсальный интеллектуальный интерфейс	215
2.7.1. Введение	216
2.7.2. Описание подхода в целом	219
2.7.3. Неформальное описание	220
2.7.4. Обсуждение элементов, составляющих УИИ	222
2.7.5. Заключение	232

2.8. Обучающие системы	233
2.8.1. Уроки искусственного интеллекта: знания и обучение	234
2.8.2. Некоторые проблемы создания обучающих систем	236
2.8.4. Использование интеллектуального интерфейса	240
2.8.5. Интеллектуальный интерфейс в составе архитектуры для
индивидуального обучения в начальной школе	242
2.8.6. Практический опыт	248
2.8.7. Трансакционный анализ в системах обучения	251
2.8.8. Заключительные замечания	259

2.9. Измерение качества работы локально-организованной системы	259
2.9.1. Введение	260
2.9.2. Распределённые системы	260
2.9.3. Заключение	262

Литература	263

Предметный указатель	270

Книги на ту же тему

Представление знаний о времени и пространстве в интеллектуальных системах, Кандрашина Е. Ю., Литвинцева Л. В., Поспелов Д. А., 1989
Системы искусственного интеллекта, Лорьер Ж. Л., 1991
Нейронное программирование диалоговых систем, Толкачёв С. Ф., 2006
Инжиниринг объектов интеллектуальной энергетической системы. Проектирование. Строительство. Бизнес и управление: практическое пособие, Осика Л. К., 2014
Основы теории категорий, Цаленко М. Ш., Шульгейфер Е. Г., 1974
Экспертное знание: Интеграционный подход и его приложение в социологическом исследовании, Масленников Е. В., 2001
Искусственный интеллект и интеллектуальные системы управления, Макаров И. М., Лохин В. М., Манько С. В., Романов М. П., 2006
Нечёткие множества в моделях управления и искусственного интеллекта, Аверкин А. Н., Батыршин И. 3., Блишун А. Ф., Силов В. Б., Тарасов В. Б., 1986
Интеллектуальные информационные системы в экономике: учебное пособие. — 2-е изд., стереотип., Романов В. П., 2007
Автоматизация синтеза и обучение интеллектуальных систем автоматического управления, Макаров И. М., Лохин В. М., ред., 2009
Нейронные сети, генетические алгоритмы и нечёткие системы, Рутковская Д., Пилиньский М., Рутковский Л., 2008
Интеллектуальные методы в менеджменте, Кричевский М. Л., 2005
Компьютеры, мозг, познание: успехи когнитивных наук, 2008
Нематериальное. Знание, стоимость и капитал, Горц А., 2010

elapsed time 0.020 sec

/ИТ-книги

ОГЛАВЛЕНИЕ

Книги на ту же тему