Книга является переводом первого тома 10-томной серии по инженерии знаний, написанной крупными японскими специалистами, и представляет собой вводный курс инженерии знаний. В ней дан обзор исследований по искусственному интеллекту и методов представления знаний в экспертных системах. Обсуждены логика предикатов, синтаксис и семантика языка предикатов, правила выводов в логике предикатов, а также вопросы, связанные с формализацией проблем, способы представления информации в ЭВМ иа различных этапах решения проблемы, модели решения и классификация проблем. Рассмотрены основные структуры систем обработки знаний и языков представления знаний.
Переводы 10-томника по инженерии знаний (по-русски вышли отдельными книгами, без номера тома):
Том 1: Осуга С. (ред.) Обработка знаний (1989)
Том 2: Уэно X., Исидзука М. (ред.) Представление и использование знаний (1989)
Том 3: Осуга С., Саэки Ю. (ред.) Приобретение знаний (1990)
Author(s): Осуга С. (ред.)
Series: Инженерия знаний, том 1
Publisher: Мир
Year: 1989
Language: Russian
Pages: 293
City: Москва
Обложка ......Page 1
Титульная страница оригинала ......Page 2
Титульная страница перевода ......Page 3
Аннотация ......Page 4
От переводчика ......Page 5
Предисловие автора ......Page 7
1.1. Что такое обработка знаний? ......Page 9
1.2. В поисках новых систем обработки информации ......Page 10
1.3. Проблемы современных вычислительных систем ......Page 12
1.4. Возможности обработки знаний ......Page 15
1.5. Установление новых человеко-машинных отношений ......Page 17
2.1. Проблемная область и методы поиска ......Page 19
2.2. Полезность знаний ......Page 27
2.3. Инженерия знаний ......Page 31
2.4. Представление знаний н выводы в экспертных системах ......Page 36
2.5. Особенности различных представлений знаний ......Page 62
2.6. Проблемы современных систем инженерии знаний и новые дели обработки знаний ......Page 73
3.1. Синтаксис и семантика языка ......Page 79
3.2. Синтаксис языка предикатов ......Page 84
3.3. Семантика логики предикатов ......Page 95
3.4. Правила вывода логики предикатов ......Page 100
3.5. Неаксиоматическое объяснение метода доказательства теорем ......Page 103
3.6. Доказательство методом резолюции (принцип вывода) ......Page 108
3.7. Полнота доказательства ......Page 133
3.8. Обработка знаний и логика предикатов ......Page 134
4.1. Описание объектов ......Page 142
4.2. Аксиоматическая теория множеств ......Page 145
4.3. Интерпретация аксиом на структуры данных ......Page 149
5.1. Различие форм представления проблем и его влияние на компьютеризацию ......Page 154
5.2. Формы представления информации на различных этапах понимания ......Page 158
5.З. Различия в постановке проблемы из-за различия в подходах к объекту ......Page 162
5.4. Классификация типов проблем и методы их решения ......Page 168
5.5. Типы проблем и возможности компьютеризации ......Page 173
6.1. Необходимость языков декларативного типа ......Page 176
6.2. Семантика процедурных и декларативных языков ......Page 180
6.3. Уровни представления в обработке информации ......Page 183
6.4. Подходы к разработке языков декларативного типа ......Page 188
6.5. Обработка языков ......Page 193
6.6. Декларативные языки и структура данных ......Page 198
6.7. Математическая структура данных в декларативных языках ......Page 216
7.1. Новый стиль решения проблем ......Page 224
7.2. Границы обработки знаний ......Page 231
7.3. Два типа обработки знаний ......Page 234
7.4. Оценка с помощью компьютера — моделирование ......Page 236
8.1. Условия создания системы ......Page 241
8.2. Языки представления знаний в качестве языков описания моделей ......Page 244
8.3. Человеко-машинное взаимодействие в системах обработки знаний ......Page 246
8.4. Представление знаний как универсальное средство описания моделей ......Page 252
8.5. Управление системами искусственного интеллекта ......Page 254
9.1. Свойства логики предикатов как языка представления знаний ......Page 257
9.2. Методы построения универсальных моделей ......Page 261
9.3. Ввод структуры данных в язык предикатов ......Page 267
9.4. Процесс синтеза по иерархическим структурам ......Page 270
ГЛАВА 10. ЗАКЛЮЧЕНИЕ ......Page 282
Предметный указатель ......Page 286
Оглавление ......Page 291
