Книга посвящена рассмотрению элементов теории интеллектуальныхрешателей и ее практических приложений. Книга состоит из трех частей. В первой части дается концептуальное описание интеллектуальногорешателя. В связи с этим предлагается семиотическая модель мыслительной Деятельности человека, решающего задачи, вводится определение миразадач как иерархического пространства одноуровневых задач различного уровня общности. Во второй части изучаются различные методы автоматическихдоказательств и индуктивных выводов, в традициях математической логики итеории моделей строится и исследуется проблемно ориентированная теория решений — семиотическая система знаний решателя. Рассматриваютсявозможные стратегии поиска доказательств, интерпретируемых как решения соответствующих задач. В третьей, заключительной части на примерах созданныхотечественных и зарубежных решателей анализируются практические реализациисистемы знаний и поиска решений, а также системы обучения.
Author(s): Е.И. Ефимов
Publisher: Наука
Year: 1982
Language: Russian
Commentary: 1146124333-хор
Pages: 320
Tags: Информатика и вычислительная техника;Искусственный интеллект;
Обложка......Page 1
Предисловие......Page 6
§ 1.1. Что такое целенаправленный решатель......Page 8
§ 1.2. Проблемы исследования целенаправленных решателей......Page 10
§ 1.3. Чем интересуется теория интеллектуальных решателей......Page 14
§ 2.1. Вводные замечания......Page 16
§ 2.2. Проблемная ситуация......Page 20
§ 2.3. Описание мыслительной деятельности......Page 22
§ 2.4. Анализ мыслительной деятельности......Page 31
§ 2.5. Семиотическая модель мыслительной деятельности......Page 35
§ 2.6. Эвристическое программирование......Page 36
§ 3.1. Классификация типов задач......Page 42
§ 3.2. Модель мира операций......Page 44
§ 3.3. Модель мира задач......Page 50
§ 4.1. Подсистемы решателя и их назначение......Page 55
§ 4.2. Элементы алгебраической теории бинарных отношений......Page 59
§ 4.3. Иерархические структуры решателя задач......Page 62
§ 4.4. Комплексная стратегия поиска решений......Page 66
§ 4.5. Теоретико-множественные модели решателя задач......Page 76
§ 4.6. Система формального интеллекта комплексных стратегий поиска решений (СФИНКС)......Page 79
§ 5.1. Проблема автоматизации......Page 82
§ 5.2. Принцип резолюций......Page 85
§ 5.3. Исчисление секвенций......Page 96
§ 5.4. Логика решений......Page 101
§ 6.1. Аксиоматическая теория решений......Page 104
§ 6.2. Синтаксис......Page 108
§ 6.3. Интерпретация......Page 111
§ 6.4. Аксиоматика......Page 113
§ 6.5. Правила вывода......Page 122
§ 6.6. Семантика......Page 127
§ 7.1. Истинность......Page 129
§ 7.2. Непротиворечивость......Page 133
§ 7.3. Метатеорема о редукции......Page 137
§ 7.4. Полнота......Page 140
§ 8.1. Диаграмма двухуровневого доказательства......Page 147
§ 8.2. Алгоритм поиска вертикальных доказательств......Page 151
§ 8.3. Алгоритм поиска горизонтальных доказательств......Page 156
§ 8.4. Доказательство разрешимости......Page 169
§ 9.1. Введение......Page 172
§ 9.2. Постановка задачи автоматического обучения формированию понятий......Page 175
§ 9.3. Основные положения и определения......Page 177
§ 9.4. Некоторые теоретические обоснования алгоритма обучения......Page 182
§ 9.5. Описание алгоритма обучения......Page 187
§ 9.6. Иллюстративный пример......Page 192
§ 10.1. Сравнительный анализ зарубежных систем......Page 200
§ 10.2, Решатель GPS......Page 203
§ 10.3. Дедуктивная вопросно-ответная система QA3......Page 208
§ 10.4. Планирующая система STRIPS......Page 214
§ 10.5. Планирующая система ABSTRIPS......Page 228
§ 10.6. Вопросно-ответная система QA4......Page 236
§ 11.1. Сравнительный анализ отечественных систем......Page 241
§ 11.2. Система АЛПЕВ-ЛОМИ......Page 245
§ 11.3. Система ПРИЗ......Page 251
§ 11.4. Программа принятия решений......Page 257
§ 11.5. Система принятия решений интегрального робота......Page 275
§ 11.6. Интеллектуальный решатель СФИНКС......Page 285
Послесловие......Page 305
Литература......Page 307
Предметный указатель......Page 314
