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