|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Слэйгл Дж. — Искусственный интелект |
|
|
Предметный указатель |
A-B-альфа-бета-процедура 32
DEDUCOM 200—206 278 305
GPS (Общий решатель задач) 161—178 256 257
GPS, антецеденты цели 170
GPS, выводы 177 178
GPS, задача об обезьяне и бананах 161—172
GPS, исполняющая программа 163—165
GPS, метод выбора 166 169
GPS, метод преобразований 166 169
GPS, метод применения 168 169
GPS, метод уменьшения различий 167 168
GPS, операторы 171
GPS, решенные задачи 172—177
GPS, сравнение 170
GPS, цели 169 170
Lisp 280
modus ponens 117
Multiple 135—169 255
MULTIPLE, аналогия с GPS 178
MULTIPLE, выводы 159
MULTIPLE, программа доказательства 137—147
MULTIPLE, программа обучения 147—149
MULTIPLE, эксперименты 149—158
n-наилучшее направленное сокращение 34 123
Автоматическая выработка ответов на вопросы 198—206
Автоматический синхронный перевод 267
Автоматическое реферирование 209—212
Автоматическое реферирование, признаки 211—212
Автоматическое составление программ 188—193
Автоматическое составление программ, обучающая программа 190—193
Автоматическое составление программ, «Эвристический компилятор» 188—193
Алгебра Буля 115
Алгол 262
Алгоритм см. «Процедура»
Альфа-бета-отсечение 28 104 152
Альфа-отсечение 28
Анализ сложных систем 268
Анализ целей и средств 162 177
Английский язык ограниченный 189 199 261 262 305 306
Антагонистическая игра, определение 20
Антецедент цели 170
Балансирование сборочного конвейера 183 184
Бессмысленные слоги 236
Бета-отсечение 29
Булева алгебра 115
Вероятностная процедура общая 130
Вероятностная процедура специальная 128—130
Вероятностное упорядочение ходов 30 153
Включающее ИЛИ 95
Вопросно-ответные системы 136—140 198—207 275—308 отвечающие «Автоматическая
Вычислительные машины (ЭВМ), определение 10
Вычислительные машины цифровые 10
Вычислительные машины, перспективы применения 264 265 271 272
Геометрические аналогии, программа отыскания 127—130
Глубина решения 276
Дедуктивная вопросно-ответная система см. «Программы отвечающие «Вопросно-ответные
Дедукция 88 (см. также «Вопросно-ответные системы» «Принцип
Дерево высказываний 142
Дерево дизъюнктивно-конъюнктивное 67 68
Дерево игры 14—19
Дерево игры одного лица 117
Дерево имплицитное 16 67 68
Дерево имплицитное, критерии окончания 17
Дерево целей 14—19
Дерево целей дизъюнктивное 116—118 186 187
Дерево целей, отсечение ветвей 76 77
Дерево целей, отсечение ветвей, пример 76
Дерево эксплицитное 15 67—69
Дерево, поиск 14—19 254
Дерево, порождающие процедуры 17
Дерево, преемники 16—18
Дерево, процедура «сначала вглубь» 17 18
Дерево, процедура «сначала вширь» 17 18
Дизъюнктивная запись 96
Дизъюнкция 95
Дискриминирующая сеть 240
ЕРАМ 236—252
ЕРАМ, выводы 248—251
ЕРАМ, дискриминатор 239—240
ЕРАМ, дискриминирующие сети 239
ЕРАМ, забывание 250—251
ЕРАМ, исполнительная программа 238—248
ЕРАМ, модели 240
ЕРАМ, программа обучения 238—248
ЕРАМ, сигналы 240
Жесткого упорядочения процедура 16
Задача на грамматический разбор 174 175
Задача на доказательство теорем в исчислении предикатов 173 174
Задача на дополнение последовательности букв 177
Задача на отыскание неопределенных интегралов 69 72—77 172
Задача о волке, козе и капусте 306
Задача о кувшинах с водой 176
Задача о миссионерах и людоедах 173
Задача о полуконе 121
Задача о семи кенигсбергских мостах 176
Задача о трех монетах 174
Задача о шахматном коне 121—126
Задача об обезьяне и бананах 161—172 305
Задача об отце и сыновьях 174
Задача «Ханойская башня» 173
Заучивание наизусть 42 43 125
Игр теория 268 269
Игра антагонистическая 20
Игра двух лиц 20
Игра одного лица 117
Игра с нулевой суммой 20
Игры, общее описание программ 20 21
Игры, программа, играющая в калах см. «Калах»
Игры, программа, играющая в карточные игры 62—64
Игры, программа, играющая в крестики-нолики 55
Игры, программа, играющая в кубик см. «Кубик»
Игры, программа, играющая в пять в ряд см. «Пять в ряд»
Игры, программа, играющая в шахматы см. «Шахматы»
Игры, программа, играющая в шашки см. «Шашки»
Игры, цели составления программ 19 20 69 70
ИЛЛИАК-сюита 193 194
Имплицитное дерево см. «Дерево»
Инвариантность 223
Индуктивный вывод, дополнение последовательности букв 177
Индуктивный вывод, оценочные функции 209—233
Индуктивный вывод, программа ANALOGY 127—130
Индуктивный вывод, программа обучения MULTIPLE 147—149
Интеллект естественный 9 10
Интеллект естественный, тесты 127 128
Интеллект искусственный см. «Эвристическое программирование»
Интересные следствия 109 110
Информационный поиск 250
Искусственные сети 11
Искусственный интеллект, возможности 270—272 (см. также «Эвристическое программирование»)
Искусственный интеллект, литература 259
Искусственный интеллект, определение 9 10
Искусственный интеллект, подходы 11—13
Искусственный интеллект, последствия создания 269—272
Искусственный интеллект, последствия создания социальные 270—272
Искусственный интеллект, последствия создания философские 269 270
Искусственный интеллект, психологический аспект 13 14
Искусственный интеллект, цели исследований 13 14
Исчисление высказываний 115
Исчисление предикатов 119 261
Калах, вероятность выигрыша 151
Калах, выводы 53
Калах, правила игры 45 46
Калах, преимущество 45
Калах, пример партии 47
Калах, функция самооценки 152
Калах, эксперименты с программой 156—159
Калах, эффективность программ 46—48
Карточные игры 62—64
Компилятор описания программ 188
Компилятор описания состояний 188
| Критерий окончания 35
Кубик, программа игры 60—62
Линейная оценочная функция 209
Линейная разрешимость 231
Логик-Теоретик (ЛТ) 115—119 254
Логика символическая см. «Логик-Теоретик «Программа отвечающая «Принцип
Мак Хэк Сикс 49—51
Макс-позиция 24
Максимизирующий игрок (Макс) 24
Машинные языки 262
Международные отношения 213
Мертвая позиция 36
Механицизм 270
Мин-позиция 24
Минимаксная процедура 24
Минимальная глубина 36
Минимальная подстановка 94 95
Минимизирующий игрок (Мин) 24
Многоцелевые программы 135—159 182—188
Множественные коэффициенты регрессии 131
Модели 198 199 261 268 269
Модель поведения человека 14
Мозг человека 11 12
Музыка 193 194
Наименьших квадратов метод 210 230
Направленное сокращение крайних 35
Невадское баккара 63
Невадское баккара, выигрышная стратегия 64
Неглубокий поиск 30
Непосредственное преобразование 72 73 150
Непосредственное решение 72 73
Обобщение реакции 251
Обобщение стимула 250 251
Обобщенные правила 130
Обучение 54 121 126 257
Обучение EPAM 236—251
Обучение GPS 177
Обучение MULTIPLE 147 148
Обучение балансированию сборочного конвейера 185
Обучение заучивание наизусть 43
Обучение искусственных сетей 11
Обучение программы игры в шашки 42
Обучение распознаванию образов 218
Обучение с обобщением 42
Обучение составлению программ 190—193
Обучение статистическое 218
Обучение человека, сравнение с EPAM 248—251
Обучение чтению 248—251
Обучение эвристических программ, общие замечания 13
Обучение, общее обсуждение 257
Обучение, оценочная функция 209 210
Общий решатель задач см. «GPS»
Общность 253 254
Описания партий в учебниках 42
Опорные множества 279 301
Оптимистически-пессимистическое направленное сокращение 34 35
Отношение равенства 306
Отсылка вероятности 144
Отыскание лемм 121—126
Оценивающая погрешность 224
Оценивающие функции 24 35 209—233
Оценивающие функции оптимальные 42
Оценивающие функции, критерии для процедур 223—225
Оценивающие функции, пример 214—217
Оценивающие функции, эвристическая ценность 255 256
Оценка непроверенного высказывания 144 145
Оценки в игровых задачах 31—33
Оценки, процедуры 24—26
Память человека см. «Интеллект естественный»
Парная ассоциация, эксперименты 236 237
План, определение 123
Планирование 121—126 257
Планирование, общее обсуждение 257 258
Погрешность 224
Поиска процедуры 26
Поиска процедуры, выводы 53
Полезность 211 213
Полнота вывода 98
Предиктор 130—132
Предпочтение единичным элементам 101 301
Предпочтения 210
Представления форма 260—261
Преобразования базовые 123
Преобразования непосредственные 75 150
Преобразования промежуточные 150
Преобразования составные 123
Преобразования состояний 295
Признаки (свойства), нормализация 228
Признаки сигнатуры 212
Признаки, нормирование векторов 229
Принцип резолюции 88—111 279
Принцип резолюции, атомарная формула 91
Принцип резолюции, выводы 110—111
Принцип резолюции, гиперрезолюция 100
Принцип резолюции, интересные следствия 107—110
Принцип резолюции, минимальная подстановка 94—96
Принцип резолюции, общее разложение 98
Принцип резолюции, опорные множества 100—102
Принцип резолюции, опорные множества, стратегия 100—104
Принцип резолюции, полнота 98 99
Принцип резолюции, правильность 98
Принцип резолюции, предпочтение единичным элементам (дизъюнктам) 101 301
Принцип резолюции, программа отыскания доказательств 105
Принцип резолюции, программа отыскания следствий 106—110
Принцип резолюции, разложение на множители 93
Принцип резолюции, резольвента 91
Принцип резолюции, резолюция единичных элементов 100
Принцип резолюции, семантическая резолюция 100
Принцип резолюции, стратегии (эвристики) 101
Принцип резолюции, стратегия «сначала вширь» 101
Принцип резолюции, точное определение 97 98
Принцип резолюции, эффективность 98
Принципы силлогизма 97
Проблема дух-тело 270
Проблема классификации образов 210 218—223
Проблема оценки 210 217
Программа дифференцирования 126
Программа интегрирования 73
Программа манипулирования математическими выражениями 126 127
Программа «Логик-Теоретик» 115—119 254—256
Программа, определяющая химическое строение 194 195
Программа, отвечающая на вопросы DEDUCOM 200
Программа, отвечающая на вопросы DEDUCOM II 201—206 278 305
Программа, отвечающая на вопросы, опорные множества 104—105
Программа, отвечающая на вопросы, предпочтение единичным элементам 101—103
Стратегия «сначала вширь» 17 101
Суживающееся направленное сокращение 34
Таблица связей 169 171 172
Теория 268 269
Теория квантификации 89
Фортран 188 262
Фридберга, Данхэма и Норта программа 190—193 257
Функция оценки см. «Оценивающая функция»
Функция полезности 211 213
Функция Сколема 283 286—292
Целей выбор 74
Целей дерево 72
Целей отсечение 76
Целей преобразование 75
Шахматы, выводы относительно программ 53
Шахматы, задачи о шахматном коне 121—126
Шахматы, партии, сыгранные программой 50 51
Шахматы, программа Адельсона-Вель-ского 52
Шахматы, программа Бастиана 51
Шахматы, программа Бернстейна 51
Шахматы, программа Гринблатта 49
Шахматы, программа для решения шахматных задач 79 80
Шахматы, программа Лос-Аламосская (Кистера) 49
Шахматы, программа Маккарти 52
Шахматы, программа Ньюэлла 52
|
|
|
Реклама |
|
|
|