URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Ефимов Е.И. Решатели интеллектуальных задач
Id: 16603
 
799 руб.

Решатели интеллектуальных задач

1982. 320 с. Твердый переплет. Букинист. Состояние: 4+. .

 Аннотация

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

Предмет теории решателей интеллектуальных задач. Организационные системы и решение задач. Мыслительная деятельность человека. Интеллектуальные задачи. Решатели интеллектуальных задач. Теория автоматических решений: Логические системы. Построение теории решений. Полнота и непротиворечивость теории решений. Разрешимость теории решений. Автоматическое формирование понятий в решателе задач. Практические реализации. Зарубежные решатели. Отечественные решатели.


 ОГЛАВЛЕНИЕ

Предисловие................ 5

ЧАСТЬ I. ПРЕДМЕТ ТЕОРИИ РЕШАТЕЛЕЙ ИНТЕЛЛЕКТУАЛЬНЫХ

задач................ 7

Глава 1. Организационные системы и решение задач.... 7

§ 1.1. Что такое целенаправленный решатель?...... 7

§ 1.2. Проблемы исследования целенаправленных решателей 9

§ 1.3. Чем интересуется теория интеллектуальных решателей? 13

Глава 2. Мыслительная деятельность человека...... 15

§ 2.1. Вводные замечания............ 15

§ 2.2. Проблемная ситуация........... 19

§ 2.3. Описание мыслительной деятельности....... 21

§ 2.4. Анализ мыслительной деятельности....... 31

§ 2.5. Семиотическая модель мыслительной деятельности... 34

§ 2.6. Эвристическое программирование........ 36

Г л а на 3. Интеллектуальные задачи.......... 41

§ 3.1. Классификация типов задач.......... 41

§3.2. Модель мира операций........... 43

§ 3.3. Модель мира задач............ 49

Глава 4. Решатели интеллектуальных задач......, 54

§ 4.1. Подсистемы решателя и их назначение...... 54

§ 4.2. Элементы алгебраической теории бинарных отношений 58

§ 4.3. Иерархические структуры решателя задач..... 61

§ 4.4. Комплексная стратегия поиска решений...... 65

§ 4.5. Теоретико-миожествепные модели решателя задач... 75 § 4.6. Система формального интеллекта комплексных стратегий поиска решеиий (СФИНКС).......... 78

ЧАСТЬ II. ТЕОРИЯ АВТОМАТИЧЕСКИХ РЕШЕНИЯ..... 81

Глава 5. Логические системы.......... 81

§ 5.1. Проблема автоматизации.......... 81

§ 5.2. Принцип резолюций............ 84

§ 5.3. Исчисление секвенции........... 95

§ 5.4. Логика решеиий............. 100

Глава 6. Построение теории решеиий......... 103

§ 6.1. Аксиоматическая теория решений........ 103

§ 6.2. Синтаксис.............. 107

§ 6.3. Интерпретация............. 110

§ 6.4. Аксиоматика.............. 112

§ 6.5. Правила вывода............. 12 Г

§ 6.6. Семантика............... 126

Глава 7. Полнота и непротиворечивость теории решении... 128

§ 7.1. Истинность............... 128

§ 7.2. Непротиворечивость............ 132

§ 7.3. Метатеорема о редукции.......... 136

§ 7.4. Полнота................ 139

Глава 8. Разрешимость теории решений....... 146

§ 8.1. Диаграмма двухуровневого доказательства..... 146

§ 8.2. Алгоритм поиска вертикальных доказательств.... 150

§ 8.3. Алгоритм поиска горизонтальных доказательств.... 155

§ 8.4. Доказательство разрешимости......... 168

Глава 9. Автоматическое формирование понятий в решателе задач 171

§ 9.1. Введение............... 171

§ 9.2. Постановка задачи автоматического обучения формированию

попятий................ 174

§ 9.3. Основные полол;снпя п определения....... 176

§ 9.4. Некоторые теоретические обоснования алгоритма обучения 181

§ 9.5. Описание алгоритма обучения......... 186

§ 9.6. Иллюстративный пример........... 191

ЧАСТЬ III. ПРАКТИЧЕСКИЕ РЕАЛИЗАЦИИ....... 199

Глава 10. Зарубежные решатели.......... 199

§ 10.1. Сравнительный анализ зарубежных систем..... 199

§ 10.2. Решатель GPS............. 202

§ 10.3. Дедуктивная вопросно-ответная- система QA3.... 207

| 10.4. Планирующая система STRIPS......... 213

§ 10.5. Планирующая система ABSTRTPS........227

§ 10.6. Вопросно-ответная система QA4........ 235

Глава И. Отечественные решатели.......... 240

§ 11.1. Сравнительный анализ отечественных систем.... 240

| 11.2. Система АЛПЕВ-ЛОМИ........... 244

§ 11.3. Система ПРИЗ............. 250-

§ 11.4. Программа принятия решений......... 256

§ 11.5. Система принятия решений интегрального робота... 274

§ 11.6. Интеллектуальный решатель СФИНКС...... 284

Послесловпо................. 304

Литература................. 306

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

 
© URSS 2016.

Информация о Продавце