- Артикул:00-01105484
- Автор: Дж. Слэйгл
- Обложка: Твердая обложка
- Издательство: МИР (все книги издательства)
- Город: Москва
- Страниц: 320
- Формат: 84х108 1/32
- Год: 1973
- Вес: 534 г
- Серия: Учебное пособие для ВУЗов (все товары серии)
Развернуть ▼
Репринтное издание
В книге, написанной в форме учебника по проблеме "Искусственный интеллект", систематизированы результаты, достигнутые за последние годы в этой области при использовании методов эвристического программирования. В ней изложены основные понятия эвристического программирования, описаны принципы построения и обучения машинных программ, решающих игровые, математические и логические задачи, отвечающих на вопросы, доказывающих теоремы и решающих ряд других задач.
Даны практические рекомендации начинающим исследователям по составлению эвристических программ. Каждая глава снабжена контрольными вопросами, примерами и упражнениями для лучшего усвоения материала.
Книга может служить ценным учебным пособием для студентов и аспирантов университетов и технических вузов, специалистов по автоматике и вычислительной технике, а также специалистов других областей, интересующихся вопросами автоматизации процесса решения задач на ЭВМ.
Содержание
Предисловие к русскому изданию
Предисловие автора
Глава I. Эвристическое программирование - подход к искусственному интеллекту
1.1. Искусственный интеллект
1.2. Цифровые вычислительные машины
1.3. Подходы к искусственному интеллекту
1.4. Цели эвристического программирования
1.5. Деревья игры
1.6. Программы, играющие в игры
Упражнения
Литература
Глава 2. Программы, играющие в шашки, калах и шахматы
2.1. Оценка позиции при игре в шашки, калах и шахматы
2.2. Процедуры поиска.
2.3. Пример гипотетической программы для решения шашечных задач
2.4. Действующая программа, играющая в шашки
2.5. Программы, играющие в калах
2.6. Программа, играющая в шахматы
2.7. Выводы, касающиеся программ, играющих в шашки, калах и шахматы .
Упражнения
Литература
Глава 3. Программы, играющие в "пять в ряд", "кубик" и карточные игры
3.1. Программы, играющие в "пять в ряд".
3.2. Программа, играющая в "кубик"
3.3. Программы, играющие в карты
3.4. Программы, выигрывающие при игре в "невадское баккара" и "черный валет".
Упражнения
Литература
Глава 4. Программы, решающие шахматные задачи, задачи по геометрии и задачи из области исчислений
4.1. Представление задачи в виде имплицитного дерева
4.2. Цели составления программ, решающих шахматные задачи, задачи по геометрии и задачи на отыскание неопределенных интегралов
4.3. Общее описание программ
4.4. Программа, решающая геометрические задачи
4.5. Программа для решения шахматных задач
4.6. Программа, решающая задачи из области исчислений
4.7. Общие выводы
Упражнения
Литература
Глава 5. Автоматическое доказательство теорем с использованием принципа резолюции
5.1. Принцип резолюции
5.2. Стратегии, используемые при доказательстве теорем на основе принципа резолюции
5.3. Программа, использующая принцип резолюции для нахождения доказательств
5.4. Программа, использующая принцип резолюции для отыскания следствий
5.5. Выводы
Упражнения
Литература
Глава 6. Другие программы для решения математических задач
6.1. Программа, доказывающая теоремы в элементарной математической логике
6.2. Программа, которая проверяет математические доказательства
6.3. Программы, которые планируют, отыскивают леммы и обучаются
6.4. Программы, помогающие людям оперировать с математическими выражениями
6.5. Программа, решающая задачи на отыскание геометрических аналогий
6.6. Эвристическая программа регрессионного анализа
6.7. Общие выводы, касающиеся программ для решения математических задач
Упражнения
Литература
Глава 7. Универсальная эвристическая программа (MULTIPLE)
7.1. Программа доказательства
7.2. Программа обучения
7.3. Эксперименты с программой РР
7.4. Результаты экспериментов с программой РР
7.5. Эксперименты с вариантом программы РР как игровой программой.
7.6. Выводы
Упражнения
Литература
Глава 8. Общий решатель задач (GPS)
8.1. Предъявление задачи
8.2. Исполняющая программа для решения задач
8.3. Пример решения задачи
8.4. Цели, сравнения, операторы и таблица связей
8.5. Задачи для GPS
8.6. Выводы
Упражнения
Литература
Глава 9. Программы, управляющие сборочными конвейерами, составляющие программы, сочиняющие музыку и определяющие химическое строение
9.1. Программа для балансирования сборочных конвейеров
9.2. Программа, составляющая программы
9.3. Программа, которая обучается составлять программы
9.4. Программа, сочиняющая музыку
9.5. Программа для определения химических структур
Упражнения
Литература
Глава 10. Программы для автоматического дедуктивного вывода ответов на вопросы
10.1. Программы для ответов на вопросы, заданные на ограниченном английском языке
10.2. Программы для вывода ответов на вопросы, выраженные на формальном языке
Упражнения
Литература
Глава 11. Автоматическое отыскание линейных функций для выполнения оценок и распознавания образов
11.1. Преобразование проблем m, n-мерной оценки и классификации m, (n-1)-мерных образов в проблему m, n-мерного полупространства
11.2. Критерии для методов решения проблемы m, n-мерного полупространства
11.3. Некоторые типичные алгоритмы решения проблемы m, n-мерного полупространства
Упражнения
Литература
Глава 12. Элементарная программа для восприятия и запоминания (ЕРАМ)
12.1. Программа ЕРАМ.
12.2. Эксперименты с ЕРАМ и выводы
Упражнения
Литература
Глава 13. Заключение
13.1. Различные аспекты проблемы эвристического программирования
13.2. Советы потенциальному автору эвристической программы
13.3. Будущие применения эвристического программирования
13.4. Последствия появления разумных машин
Упражнения
Литература
Приложение. К. Грин. Доказательство теорем с использованием правила резолюции как основа для построения вопросно-ответной системы
1. Вопросно-ответные системы
2. Доказательство теорем
3. Распространение метода доказательства теорем на вопросно-ответные системы
4. Организация программы
5. Работа QA3
Литература
Предметный указатель
Рекомендуем
