Intel_Nils, страница 53

С. 202 Ньюэлл (ЫевгеИ Аг) 21, 22, 24, 25, 48, 49, 125, 126, 168, 169 Именной указатель О'Бири (О'Ве!гпе Т. Н.) !27 Оре (Оге 0.) 48 Пейперт (Рарег1 5.) !9, 20 Питтс (РИ1в Твг.) 20 Пойа (Ро!уа О.) 21 Поль (Рой)!.) 89 Празиц (Ргахт!!х О). 203 Путнам (Ри1паш Н.) 203 Рассел (ЙивзеИ Й.) 170 РаФаэль (ЙарЬае! В,) 89, 168, 232, 233, 243, 249, 250 Ритин (Й!Ипеу Л. тУ.) !25 Риш (Й!зсЬ Й. Н.) 126, !27 Роббин (ЙоЬЬ!и Л.) 202, 203 Робинсон Г. (ЙоЬгпвсп О. Л.) 203, 234, 248, 250 Робинсон Дж.

(ЙоЬгпвоп Л. А.) 196, 203, 204, 248, 249 Розенблатт (ЙовепЫаН Г.) 20 Рой (Йоу Р.) 49 Росс (Йовв Й.) 89 Саймон (Бипоп Н.) 21, 25, 125, !68, 169 Селфридж (Бе!!г!бне 0.) 19 Сиберз (5!Ьегх Л. К.) 9 Самлюнс (5!иипопв Й.) 232 Слейджл (5!ай!е Л.) 22, 23, 89, 107, 108, 125 — 127, !66 — 170, 232, 249 Соломонов (5о!огпопоП Й.) 23 Сэмюэль (5апюе1 Л.) 9, 89, 168 — !70 Сэндуолл (5апбеттаИ Е.) 22 Таун (Тоюпе О. М.) 125 Трейзис (ТгатЫ..) 21 Тьюринг (Тцг!пй Л. М.) 19ь Уитни (%!И!пеу О.) 23 Уолдингер (ЪЧа14!пйег Й,) 233 Файко (Г!Ьев Й.) 48, 49, 233 Фалкерсон (ГиРкегзоп О.) 49 Фейгенбаум (Ге!8епЪацш Е.) 9, 23 Фельдман (Ге)бшап Л.) 23, 49 Флойд (Г1оуг! Й.) 48, 233 Фогель (Гоне) Ь ) 20 Форд (Гогб 1, !г.) 49 Хант (Нип1 Е.) 48 Харт Р.

(Наг! Р.) 9, 89, !68, 250 Харт Т. (Наг! Т.) 169, 243, 249 Хэйес (Науев Р.) 203, 234, 248 Черн (СйигсЬ Л,) 202 Шапиро (Вйар!го О.) 23, 89 Шеннон (5Ьаппоп С.) 168 Шоу (5Ьаю Л.) 21, 25, 125, 168, 169 Шух (5сЬиЬ Г.) 24 Эдвардс (Ебтзагбв О.) 169 Эндрюс (Лпбгеттв Й.) 243, 249 Эрбран (НегЬгапб Л.) !90, 203 Эрнст (ЬгпМ О,) 22, 48, 126 ПРЕЛМЕТНЪ|И УКАЗАТЕЛЬ аксиома 207 алгоритм линамического программирования 89 — допустимый 70, !48 — недетерминированный 48 — унификации !95 — упорядоченного перебора !44 алфавитный вариант 194 эльфа-бета процедура 157, !63 альфа-отсечение 163 атом 186, 194 атомная формула 174 бесконечное т-арное дерево 81 бета-отсечение 163 буква константная 173 — пропозициовальная 173 вершина 31 — вывода 191 — достижимая 32 — дочерняя 31, 99 — заключительная 99 — закрытая 70 — «И» 99 — «ИЛИ» 98 — корневая 132, 238 — концевая 142, 238 — начальная 32, 52, 99 — неблагоприятная 189 — незакрытая 70 — неразрешимая 100, 129 — открытая 70 — разрешимая 129 — родительская 31, 99 глубина вершины 59, 63, 134, 138 — граничная 59 — опровержения 199 — подинтегрального выражения 167 глубинное отношение 89 грамматика ЗВ граф 31 — доказательства на основе резольвенций 238 — «И?ИЛИ» 95, 98 направленный 31 перебора 130 дерево 53, 63 — игры 123 — «И?ИЛИ» 125 — замкнутое 189 — оптимальное 141 — перебора 55, 132 — пропозициональвое 125 — решения потенциальное !43 — семантическое 18? дизъюнкция 178 доказательство 180 дуга 31, 99 — невозвратная 50 задача об обезьяне и бананах 45, 118, 225 — о восьми ферзях 50, 103 — ь — коммивояжере 23, 37 — — кувшинах 50 — — миссионерах и людоедах 90 — — перевернутом маятнике 43 — — пирамидке 91 — — скользящих прямоугольниках 90 — получения ответа на вопросы 232 — распределения 41 — символического интегрирования 105 — синтаксического анализа 39 — управлении 43 игра в восемь 30 — — пятнадцать 13 — гоу 170 — Гранди 123 — калах 166, 170 — Кьюбик 171 — «последний проигрывает» 128 — тик-так-ту !55, 158 †1 — шахматы ! 69 — шашки 170 игры 122 индивидуальные переменные 777 интерпретация |75 исчисление предикатов 172 квантор всеобщности |78 — существования 179 266 Предметный указатель классическая логика 202 контроль внимания !68 конфигурация начальная !3 — целеван 13 коиъюннцив 177 корень дерева 53 литерал 184 логичесное следование !80 лоза 238 макрооператоры 45 матрица 183 метод ветвей и границ 22 — перебора в глубину 59, 63, !31 — полного перебора 53, 62, 131, 132 — проб н ошибок 7, 16 — равных цен 57, 62 — таблиц истинности 176 множество рассогласования !95 — унификации 209 — уннфицнруемое 194 — целевое 32 модель 1!1, 175, 189, 244 невыполнимость (неудовлетворимость) 181 неразрешимость 180 нормальная форма конъюнктивпая 184 — предварениая 183 обращенная величина 154 — — предварительная 161 общезначимость 179 означивание 186 оператор 14 — ключевой 116 — наследовании 32 — недетерминировавный ЗЗ вЂ” построения дочерних вершин 101 — префиксный 27 присваивания 33 — — ВСЕ 101 — — ВЫБОР 34, 101 — сведении задачи к подзадачам 96 описание дочернее (результирующее) 96 основные промежуточные состояния 115 ответное утверждение 208 отфильтровывание предшествующих вершин 239 оценочная функции 64, 65, 139 статическая 154 перебор в глубину 53 — полный 53 — слепой 53 — упорядоченный 65 — этапами 83 персептрон 20 поддержка 243 подзадача 16 подслучай 237 поиск (перебор) 15 — в глубину 135 потомок 32 правила переписывания 28, 30 — прерывания перебора 161 правкльно построенная формула (п, п.

формула) 172, 174 предложение 39, 181, 184 — базовое 238 — выведенное 197 — исходное 196 — положительное 246 предположение 207 — о непротиворечивости 74 предок 32 префикс 183 принцип резольвенций 172 приписывание значения 175 проблема системы отсчета 231 программа недетерминированнан 34 — Мэк Хак 170 программирование с обратным слежением 89 продукция 28 прослеживание в обратном направлении 154 пространство состояний 14 — — высшего уровня 122 процесс опровержения 198 процедура минимаксная 154 — разметки разрешимых и неразре. шимых вершин 130 путь 32, 140 — оптимальный 68 различия 117 разрешимость вершины 99 — пары предложений 197 раскрытие вершины 52, 130 ребро 31 редукция задачи 16 резольвента 192, 197 резольвенция 197 резолюция 172 решающая последовательность 52 решающий граф 100 решение задач 11 сведение задачи к подзадачам 91 семантика 172, 175 Предметный указатель 267 синтаксис !72, 173 слиянив 243 состояние начальное 14 — целевое 14 состояния-вехи 96 стоимость 140 — дуги 32 — максимальная 140 — оцененная !4! — пути 32 — суммарная 140 стратегии комбинированные 247 стратегия модельная 246 — наименьшего числа компонент 247 — очищения 236, 237 — поддерживающего множества 243 — предпочтения одночленам 247 — упорядочения 236, 247 упрощения 236 — АР-формы 24! схема для описания состояний 45 указатели 52, 130 универсальный решатель задач 21, 22 универсум Эрбрана 185 унифнкатор 194 — наиболее общнй (простейший) 195 унификация !93 таблица истинности !76 тавтология 208, 236 терм !74 тест Тьюринга !9 упорядочение динамическое !65 — совершенное 164 упорядочение фиксированное 165 уровень граничный 248 — дерева !48 — опровержения !99 фактор 196 — эффективного ветвления 86 функция качества 168 — Сколема 182 — стоимости 57 целенаправленность 85 частный случай константный !85, 194 — — «общийэ !96 — — подстановочный !93 эвристическая информация 63 — сила 64, 77 — функции 70, 141 эвристические методы поиска 64 эвристический поиск 7 элементарная задача 16, 91 эрбрановская база !86 Ч-ветвление 35, !03 АР-форма 239 саг 220 сбг 220 сопз 220 е-значения !66 Ркопровержение 246 ОГЛАВЛЕНИЕ Предисловие редактора перевода Предисловие Глава 1.

Введение недетермини- 52 1.1.,решение задач и искусственный интеллект 1.2. Головоломки и игры как примеры задач 1.3. Состояния и операторы . !А. Сведение задачи к подзадачам . 1.5. Использование формальной логики при решении задач . 1.6. Два составных элемента процесса решения задач: представление и поиск (перебор) . 1,7. Библиографические и исторические замечания . Задачи Глава 2.

Представление задач в пространстве состояний 2.1. Описания состояний 2.2. Операторы 2.3. 1\елевые состояния 2.4. Запись в виде графа . 2.5, Представление пространств состояний посредством рованных программ 2.6. Йекоторые примеры представлений задач . 2.7. Выбор «хорошкин представлений . 2.8, Библиографические и исторические замечания . Задачи Глава 3. Методы поиска в пространстве состояний 3.!. Процессы попона на графе . 3.2. Методы полвого перебора .

З.З, Метод перебора в глубину . 3,4. Изменения при переборе на произвольных графах . 3.5. Обсуждение эвристической информации . 3.6. Использование оценочных функций . 3.7. Оптимальный алгоритм перебора . 3.8. Допустимость алгоритма А* . 3.9. Оптимальность алгоритма А* . 3.10.

Эвристическая сила функции б . 3.11. Важная роль функции й 3.12. Использование других эвристик . 3.13. Критерии качества работы методов перебора . 3.14. Библиографические и исторические замечания Задачи 11 12 14 16 17 18 19 24 26 27 30 31 ЗЗ 36 44 48 49 52 53 59 62 63 65 68 70 73 77 80 83 85 88 90 269 Оглавление 91 4.1.

Пример представления, дающего с!ведение задачи к подзадачам 91 4.2. Описание задач.................. 95 4.3. Операторы сведения задачи к подзадачам . . . . . . . . . 96 4.4. Описания элементарных задач . . . . , . . . , . . 97 4 5, «И/ИЛИ» графы....,.......... 98 4.6. Представление «И/ИЛИ» графов с помощью недетерминированных программ........, ..... 101 4,7, Примеры сведения задачи к совокупности подзадач .

. . . 105 4.8. Механизмы планирования при сведении задач к подзадачам . . 115 4.9. Ключевые операторы 116 4.10. Различия ................... 117 4.11. Пространства состояний высшего уровня,....., ., 121 4.12. Игры . „...,.........,..... 122 4.13. Библиографические и исторические замечания...,....