- Артикул:00-01105490
- Автор: Ефимов Е.И.
- Тираж: 7000 экз.
- Обложка: Твердая обложка
- Издательство: Наука (все книги издательства)
- Город: Москва
- Страниц: 320
- Формат: 60х90 1/16
- Год: 1982
- Вес: 534 г
Развернуть ▼
Книга посвящена рассмотрению элементов теории интеллектуальных решателей и ее практических приложений. Книга состоит из трех частей. В первой части дается концептуальное описание интеллектуального решателя. В связи с этим предлагается семиотическая модель мыслительной деятельности человека, решающего задачи, вводится определение мира задач как иерархического пространства одноуровневых задач различного уровня общности.
Во второй части изучаются различные методы автоматических доказательств и индуктивных выводов, в традициях математической логики и теории моделей строится и исследуется проблемно ориентированная теория решений - семиотическая система знаний решателя. Рассматриваются возможные стратегии поиска доказательств, интерпретируемых как решения соответствующих задач.
В третьей, заключительной части на примерах созданных отечественных и зарубежных решателей анализируются практические реализации системы знаний и поиска решений, а также системы обучения.
Содержание
Предисловие
Часть I. Предмет теории решателей интеллектуальных задач
Глава 1. Организационные системы и решение задач
§ 1.1. Что такое целенаправленный решатель?
§ 1.2. Проблемы исследования целенаправленных решателей
§ 1.3. Чем интересуется теория интеллектуальных решателей?
Глава 2. Мыслительная деятельность человека
§ 2.1. Вводные замечания
§ 2.2. Проблемная ситуация
§ 2.3. Описание мыслительной деятельности
§ 2.4. Анализ мыслительной деятельности
§ 2.5. Семиотическая модель мыслительной деятельности
§ 2.6. Эвристическое программирование
Глава 3. Интеллектуальные задачи
§ 3.1. Классификация типов задач
§ 3.2. Модель мира операций
§ 3.3. Модель мира задач
Глава 4. Решатели интеллектуальных задач
§ 4.1. Подсистемы решателя и их назначение
§ 4.2. Элементы алгебраической теории бинарных отношений
§ 4.3. Иерархические структуры решателя задач
§ 4.4. Комплексная стратегия поиска решений
§ 4.5. Теоретико-множественные модели решателя задач
§ 4.6. Система формального интеллекта комплексных стратегий поиска решений (СФИНКС)
Часть II. Теория автоматических решений
Глава 5. Логические системы
§ 5.1. Проблема автоматизации
§ 5.2. Принцип резолюций
§ 5.3. Исчисление секвенций
§ 5.4. Логика решений
Глава 6. Построение теории решений
§ 6.1. Аксиоматическая теория решений
§ 6.2. Синтаксис
§ 6.3. Интерпретация
$ 6.4. Аксиоматика
§ 6.5. Правила вывода
§ 6.6. Семантика
Глава 7. Полнота н непротиворечивость теории решений
§ 7.1. Истинность
§ 7.2. Непротиворечивость
§ 7.3. Метатеорема о редукции
§ 7.4. Полнота
Глава 8. Разрешимость теории решений
§ 8.1. Диаграмма двухуровневого доказательства
§ 8.2. Алгоритм поиска вертикальных доказательств
§ 8.3. Алгоритм поиска горизонтальных доказательств
§ 8.4. Доказательство разрешимости
Глава 9. Автоматическое формирование понятий в решателе задач
§ 9.1. Введение
§ 9.2. Постановка задачи автоматического обучения формированию понятий
§ 9.3. Основные положения и определения
§ 9.4. Некоторые теоретические обоснования алгоритма обучения
§ 9.5. Описание алгоритма обучения
§ 9.6. Иллюстративный пример
Часть III. Практические реализации
Глава 10. Зарубежные решатели
§ 10.1. Сравнительный анализ зарубежных систем
§ 10.2. Решатель GPS
§ 10.3. Дедуктивная вопросно-ответная система QA3
§ 10.4. Планирующая система STRIPS
§ 10.5. Планирующая система ABSTRTPS
§ 10.6. Вопросно-ответная система QA
Глава 11. Отечественные решатели
§ 11.1. Сравнительный анализ отечественных систем
§ 11.2. Система АЛПЕВ-ЛОМП
§ 11.3. Система ПРИЗ
§ 11.4. Программа принятия решений
§ 11.5. Система принятия решений интегрального робота
§ 11.6. Интеллектуальный решатель СФИНКС
Послесловие
Литература
Предметный указатель
Рекомендуем
