2-З-дерево, 215
А
ALO
Advice Language 0, 545 AVL-дерево, 215; 221 AVL-словарь, 222
В
Вк
Background Knowledge, 447 BNF
Backus-Naur Form, 510 В-дерево, 225
с
С L P
Constraint Logic Programming, 324 Colinerauer, 18
D
D С G
Definite Clause Grammar, 510 DC-грамматик a, 510 de Morgan, 89
E
EBG
Explanation-Based General Nation, 564
F
F-значение, 269 f-значение, 249
Н
FlYPER
HYPothesis refinER, 446
ILP
Inductive Logic Programming, 446
К
Kowalski, 18
т
L
LSS
Least Specific Specialization, 462
м
Michie, 22 т-оценка, 436
Q
QDE
Qualitative Differential Equation, 457
R
Robinson, 73
V
van Emden, 18
w
Warren, 18 Web-узёл
сопровождающий, 21 Winograd, 15
Д
Абстрагирование
возрастающих временных последовательностей, 480
данных, 102
производной по времени, 480
функций, 480
числовых данных, 480 Абстракция
качественная, 480
качественная дифференциального уравнения, 506 Автомат
конечный недетерминированный, 103 Агент, 341 Аксиома, 39 Алгоритм
А17, 25а
АО*, 289; 299
QSIM, 502
RBFS, 270
альфа-бега-отсечения, 538
Евклида, 579
обеспечения совместимости, 303
обеспечения совместимости дуг, 304
охвата, 422
поиска, 232
ПОИСКИ допустимый, 255
сбртировки, 193
сортировки quicksort, 194
эвристический, 255 Альфа-бета-алгоритм, 532; 537 Альфа-бета-интервал, 540 Апьфа-бета-отсечение, 538 Альфа-бета-процедура, 540 Анализ
данных интеллектуальный, 409
синтаксический, 512
целей и средств, 387; 388 Арность
предиката, 176
функтора, 50 Атом, 29; 46
end_of_file, 138
nil, 198
stop, 139; 165 Атрибут
двухзначный, 430
наиболее информативный, 427
т:
База данных, 98
знаний, 327; 358; 560 Библиотека
предикатов, £52
Вакансия, 185 ва н эмден, 18 Вариант
качественного поведения, 497
основной, 535
поведения фиктивный, 505
предложения, 57 Вектор
значений атрибутов, 419
переменных, 341 Величина
качественная относительная, 497 Вероятность
апостериорная, 343
априорная, 343
возможного события, 345
конъюнкции, 345
невозможного события, 345
отрицания' 345
субъективная' 337- 341
условная, 343 Версия
Common Lisp, 25
SICStus Prolog, 306
программы predecessor, 69 Вертикальность, 54 Взрыв
комбинаторный, 243 Виноград, 15 Внесение
предложения в базу данных, 161 Возврат
списка целей в предшествующее состояние, 395 Вопрос, 27; 34; 57
"How?", 336
"Why?", 33S
336
"какя" ч,Дзб
диагностический, 486
прогностический, 486
управленческий, 486 Время
завершения, 302
завершения расписания, 261
простоя, 261 Вхождение
подвыражения в выражение, 157 Вывод
Предметный указатель
данных в файл, 136
дерева решения логический, 426
логический обратный, 331
логический прямой, 331; 333
списка, 141
управляемый данными, 335
управляемый целями, 335 Выдвижение
гипотезы, 331 Выделение
подсписка, 189 Вызов
операции на выполнение, 92 Выполнение
целей, 58 Выражение
арифметическое, 92 Высказывание, 330; 359
логическое, 522 Высказывания
независимые, 344
несовместимые, 344 Высота
дерева, 201 Вычисление
куба числа, 139
максимума, 125
символьное, 47 Вычитание
множеств, 131 Выявление
знаний, 330
Г
Генератор
вариантов плана,.993 Гипотеза
более конкретная, 458
более общая, 458
достоверная, 447
конкретная, 411
общая, 411
охватывающая пример, 463
полная, 447
совместимая с данными, 411
эвристическая, 248 Глагол
переходный, 524 Глубина
усовершенствования, 456 Го, 532 Голова
предложения, 32; 34
списка, 76
Головоломка
"игра в восемь", 230 Горизонтальность, 55 Градус
Фаренгейта, 307
Цельсия, 307 Грамматика, 510
определенных предложений, 5/0 Грань
открытая, 384 Граф, 192
AND/OR, 277; 331
ориентированный, 208
переходов, 103
решения, 280
связный, 211
семейных отношений, 449
усовершенствования, 450
д
Данные
входные, 143
зашумленные, 433 де Морган, 89 Действие, 384
climb, 63; 64
grasp, 63; 64
push, 63; 64
walk, 63
допустимое, 63; 229
неконкретизированное, 403 Декомпозиция
задачи на подзадачи, 277
списка, 50
терма, 156 Делитель
наибольший общий, 93; 579 Дерево, 49; 192; 218
AND/OR, 284; 533
1, 218
п2, 218
пЗ, 218
nil, 218
бинарное, 77; 197
двоично-троичное, 215
доказательства, 336; 367
игры, 532; 534
одноэлементное, 201
остовное, 209
поиска, 291; 534
полностью сбалансированное, 215
пустое, 198; 218
решения, 280; 411
с двумя поддеревьями, 218
Предметный указатель
| с одним узлом, 218 с тремя поддеревьями, 218 сбалансированное, 201; 215 семейных отношений, 26 синтаксического анализа, 516 упорядоченное слева направо, 199 форсирующее, 544 Деятель, 524 |
с ханойской башней, 282 составления расписания, 304; 310 удовлетворения ограничений, 302
Заключение правила, 31
Закон
Кирхгоффа, 483 Ома, 483
| Диагноз, 342 | фундаментальный, 483 |
| Диагональ | Замена |
| восходящая, 113 | переменных структурированными |
| нисходящая, 113 | термами, 451 |
| Дизъюнкт | Запись |
| хорновский, 73 | в операторной форме, 87 |
| Дизъюнкция | операторная, 332 |
| целей, 57 | списковая, 78 |
| Диод, 317 | Запрос |
| Директива, 88 tty | flush, 141 |
| dynamic, 162 | к пользователю, 357 |
| ор, 88 | Запятая, 34; 306 |
| Добавление | Защита |
| объекта в список, 78 | целей, 392 |
| фонового литерала к предложению, | Знак |
| 461 | конъюнкции, 34 |
| элемента в список, 82 | операции, 88 |
| Доказательство | Знания |
| теорем автоматическое, 583 | априорные, 344 |
| Документированность, 170 | вероятностные, 329 |
| Дополнение | категорические, 329 |
| числа нулями, 153 | типовые, 543 |
| Достижение | фоновые, 446; 564 |
| цели, 39 | Значение |
| Дружественность, 169 | декларативное, 42; 45; 56 |
| Дуга, 208 | минимаксное, 535 |
| совместимая, 303 | программ Prolog, 56 |
| совместимая с определяемым | программы, 45 |
| ограничением, 303 | процедурное, 42; 45; 56; 58 |
| семантическое, 523 | |
| р | смысловое,,523 |
| ' | статическое, 535 |
| Европа, 18 | |
| И | |
| Игра | |
| Зависимость | с ДВУМЯ участниками, 283 |
| контекстная, 515 | одним участником, 63 |
| конъюнктивная, 330 | с полной информацией, 283 |
| Загрузка | Игрок |
| программы, 591 | МАХ, 535 |
| Задача | MIN, 535 |
| диагностическая, 482 | свой, 284; 533 |
| планирования, 383 | чужой, 284; 533 |
| поиска кратчайшего маршрута, 281 | Идентичность |
| с восемью ферзями, 111 | ДВУХ термов, 160 |
| с обезьяной и бананом, 62 | Иерархия |
Предметный указатель
понятий, 417 Изучение
языка программирования, 16 Имя
отношения, 26
переменной, 47
функтора, 50 Индекс
Gini, 430 Индикатор, 251; 297
успеха/неудачи, 58 Интеллект
искусственный, 16; 255 Интерпретатор
байесовских сетей доверия, 346
гипотез, 453
для объектно-ориентированных программ, 571
для правил, 333
качественных дифференциальных уравнений, 493
командный, 328
командный экспертной системы, 328; 376
обеспечивающий трассироаку, 562
правил вывода, 560
правил обратного логического вывода, 333
правил прямого логического вывода, 334
правил с оценками достоверности,
языка Advice Language, 543
языка AL0, 546 Интерпретация
логическая, 522
осторожная, 454
причинно-следственная, 343
смысловая, 522 Интерфейс
пользовательский, 99; 327 Инфимум, 308 Информатика, 19 Информация
вступительная, 177
входная, 335
заключительная, 177
о повторных вызовах, 177
остаточная, 428
производная, 335 Исключение
взаимное вариантов, 143
одного примера, 441 Источник
питания, 31 7 Исчисление
вероятностей, 341 Итерация, 183
К
Камера
телевизионная, 406 Карта
дорожная, 249
Европы, 179 Квадрат, 52; 156 Квантор, 73
всеобщности, 34; 134
существования, 134; 525 Классификация
объектов данных, 46
с разбивкой по категориям, 127 Клетка
исходная, 257
критическая, 552 Ковальски, 18 Код
ASCII, 143 Количество
посторонних включений, 428 Колмероэ, 18 Комментарий, 38; 175 Комментирование, 175 Компиляция
файла с программами, 146 Компоновка
программы, 32; 174 Компьютер
пятого поколения, 18 Конкатенация
списков, 78; 181 Конкретизация, 52
менее общая, 53
наиболее общая, 53
переменных, 31; 58 Конкретность
гипотезы, 419 Конструкция, 516
глагольная, 516
именная, 516 Контейнер, 489 Контроль
текущий, 335 Конъюнкция
условий, 32
целей, 29; 57 Копия
резервная, 290 Корень
дерева, 49
Предметный указатель
Коэффициент
весовой, 463
ветвления эффективный, 540
достоверности, 337
приращения информации, 429 Критерий
аналогичности, 410
независимости, 281
операциошюсти, 565
оптимизации, 281
успеха обучения, 440 Кэширование, 163; 178; 188
Л
Лес, 463 Литерал
фоновый, 450 Логика
математическая, 19; 73
предикатов, 446
предикатов первого порядка, 73
м
Манипулирование
геометрическими фигурами, 156
символами, 143
фотокамерой, 385 Маршрут, 10$
кратчайший, 249 Массив
моделируемый, 185 Машина
логического вывода, 327 Мера
доверия, 337 Метаинтерпретатор, 559
ebg, 568 Метапрограмма, 559 Метапрограммирование, 559 Метка
null, 104
в графе переходов, 103 Метод, 570
area, 571
EBG, 567
IDA*, 266
RBFS, 260
вакансий, 185
ветвей и границ, 315
дихотомизации атрибутов, 429
изображения дерева, 206
обеспечения совместимости, 303
обратного логического вывода, 357
поиска в бинарном словаре, 199
предотвращения циклов, 68
раздваивания атрибутов, 429
резолюции, 583 Механизм
приводной, 521
распознавания, 512
регрессии целей, 396'
согласования, 62 Мир
блоков, 15
в котором существует обезьяна, 63 Мичи, 22 Множество
всех подмножеств заданного множества, 167
испытательное, 441
конфликтное, 577
обучающее, 441
отсекаемое, 438
растущее, 438
универсальное, 410
фактов, 98 Моделирование
в ограничениях, 317
массива, 185
машинное числовое, 479
теоретическое качественное, 481
числовое, 317 Модель
ванны, 490
движения с ускорением, 501
качественная, 478
количественная, 478
числовая, 481
электрической схемы, 318 Модификация
программы, 174
процедурного значения, 45 Модифицируемость, 170; 328 Модуль, 591
управляющий, 577 Модульность, 328
н
Набор
обучающих данных, 442
переменных, 55 Надежность, 170 Назначение
процессора текущее, 262 Накопление
смысловых значений, 527 Наращиваемость, 328
Предметный указатель
Наследование, 350 множественное, 573
Неравенство линейное, 306
Ним, 534
Ничья, 284; 533
О
Область '
определения, 303; 341; 496
определения имен переменных, 48
определения конечная, 321
применения языка Prolog, 178
рабочая, 492 Обнаружение
скрытых закономерностей, 409 Обобщение, 172
на основе объяснения, 559; 564
первоначальной проблемы, 112 Обозначение
"Г, 88
"х", 88
"у", 88
списка с вертикальной чертой, 78 Обучение
в результате открытия, 408
индуктивное, 409
инкрементное, 422
машинное, 446
на основе атрибутов и значений, 447
на примерах, 408
пакетное, 422
реляционное, 447 Общность
гипотезы, 419 Объединение
представлений, 72
символов в атом, 144 Объект, 571
геометрический, 49
данных, 45
структурированный, 45; 48 Объявление
типа данных, 45 Объяснение, 364
последовательности рассуждений, 33
предпосылок, 336 Ограничение, 488
deriv, 497
mplus, 497
QDE, 497
sum, 497
арифметическое, 321
бинарное, 303
длины доказательств, 452
дополнительное, 309
качественное, 490
на ресурсы, 313
предшествования, 263; 302
равенства между термами, 305
суммирования, 497
хода, 545
числовое, 306 Ограничения
своего хода, 543
чужого хода, 543 Округление, 47 Окружность, 52; 156 Операнд
операции is, 92 Оператор, 88
'"", 166
"\==", 160
"==", W0
"->", 285
"юнив", 156
not, 165; 359
not префиксный, 130
инфиксный, 156
инфиксный "<•",.Ш
инфиксный via, 299
отсечения, 121; 164; 174
отсечения зеленый, 133; 174
отсечения красный, 133; 174
проверки на равенство, 159
сравнения, 159
усовершенствования, 450 Операция
cone, 240
is, 92
SCANNING, 59
арифметическая, 92
вставки, 202; 217
записи, 138
инфиксная, 87; 88
конкатенации, 195
получения консультации, 147
постфиксная, 88
префиксная, 88
проверки на равенство, 93
разбиения списка, 195
с базой данных, 161
с термами, 52
со списком, 78
согласования, 54; 524
сопоставления, 93
сравнения, 93
суммирования, 484
Предметный указатель
увеличения геометрической фигуры, 156
удаления, 203
удаления листа, 203
чтения, 138 Описание
достоверное, 422
качественное, 478
на основе атрибутов и значений, 412
охватывающее объект, 422
полное, 422
понятия операционное, 564
реляционное, 412 Определение
декларативного значения, 57
длины списка, 94
знака операции, 88
объекта по структурным свойствам, 100
операции, 55; 90
отношения, 43
пространства планирования, 355
рекурсивное, 37
реляционное, 448
смысла, 520
смысла естественного языка, 521 Оптимизация
линейная, 307
последнего вызова, 182; 183
хвостовой рекурсии, 183 Опция
разметки "ff", 324 Организация
табличная, 175 Отладка
программы, 176 Отметка, 488 Отношение, 26; 29
a_kind__of, 351
accepts, 105; 108
actor, 524
add, 127; 202
add_at_end, 190
add23, 217; 221
addavl, 221
addleaf, 202
addroot, 205
adds, 387
adjacent, 210
alphabeta, 539
AND, 279
askable, 371
attack, 131
aunt, 34
avl, 224
born, 93
breadthfirst, 238
canget, 86
class, 127
combine, 221
cone, 79; 111
concat, 182
copyterm, 164
count, 151; 160
del, 82
deptime, 108
different, 33
digitsum, 154
dividelist, 86
enlarge, 156
expand, 297
fact, 334
female, 30
final, 104
flatten, 86
flight, 108
forwardfib, 188
goal, 257
grandchild, 34
grandparent, 28
gt, 192; 200
h, 257
hamiltonian, 210
happy, 34
hastwochildren, 34
impossible, 396
in, 198; 221
ins, 217
ins2, 221
instance_of, 351
isa, 349
jump, 119
knightpath, 120
length, 95; 101
lengthl, 95
linearize, 201
male, SO
max, 95; 126
maxelement, 201
member, 79; 179; 180; 210
memberl, 81
mini max, 536*
mother, 32
move, 64; 66; 513
moves, 536'
newbounds, 540
ngb, 179
no_attack, 131
noattack, 113; 234
not, 130
Предметный указатель
nqueens, 173
nthchild, 103
object, 570
offspring, 30
OR, 279
parent, 28
path, 209; 210
pathl, 210
permutation, 84; 111
powerset, 167
predecessor, 35; 68; 457
qsum, 483
regular, 56
reverse, 85; 190
route, 108
s, 256
safe, 115
setdifference, 131
shift, 85
silent, 104
sister, 33
sol, 118
solve, 232; 286
sort, / 92
split, 196
starts, / 4 5
sublist, £ 3
subset, 86
substitute, 157
subsumes, 159
sum, 152
suml, / 53
timetable, 107
trans, / 04
transfer, 108
transition, 108
translate, 86
бинарное, 30
обобщения, 458
одноместное, 30
предшествования, 161; 313
принадлежности, 349
селективное, 102
унарное, 30
упорядочения,/^; 199 Отображение
дерева, 206 Отрезок
вертикальный, 54; 56
горизонтальный, 55
прямой, 49 Отрицание
вследствие недостижения цели, 121
как недостижение цели, 129 Отсечение
последующее, 433 предварительное, 433 с минимальной ошибкой, 434 частей деревьев, 433 эвристическое, 541
Отступ, 32
Оценка лапласовская, 437 оптимистическая, 263 статическая, 541 точности гипотезы, 440 упорядоченности, 259 эвристическая, 247; 260
Ошибка зафиксированная, 435 классификации, 434 статическая, 435 числовая, 47
п
Палиндром, 85 Пара
разностная,/,?/ Параметр
Answer, 452
Solved, 253
входной, 176
выходной, 176
накапливающий, 182; 183
селективного отношения, 102 Перебор
с возвратами, 62; 121; 163
с возвратами автоматический, 121 Переменная, 29
анонимная, 47 Переполнение
стека, 309 Перестановка
элементов в списке, 84 Переупорядочение, 179
предложений, 68
целей, 68 Переход
недетерминированный, 103
скрытый, 104 Переходы
между качественными состояниями, 499 План
вставки новой пленки, 385 Планирование, 302; 383
авиаперелетов, 107
в мире блоков, 385
с частичным упорядочением, 404
Предметный указатель
Планировщик, 383
маршрутов, 109
нелинейный, 404
с регрессией целей, 397
с частичным упорядочением, 404 Победа, 284; 533 Поверхность
верхняя открытая, 384 Подготовка
фотокамеры к работе, 385 Поддерево, 49 Подсписок, 83 Подстановка
9, 459 Подсчет
количества элементов в списке, 94 Подтверждение
предложения, 161 Подцель, 32 Позиция
вставки в базу данных, 163
выигрышная, 284
заключительная, 532
на шахматной доске, 111
своего хода, 284
текущая, 138
чужого хода, 284 Поиск
в глубину, 232
в глубину с итеративным углублением, 237
в глубину с ограничением по глубине, 28 7
в графе AND/OR, 285
в пространстве состояний, 353
в ширину, 238
жадный, 425
маршрута, 108
наибольшего из двух чисел, 125
осговного дерева графа, 212
ответов, 39
по заданному критерию, 247; 249; 460
по принципу "подъема к вершине", 425
поглощающий, 425
эвристический, 245; 247
элемента в списке, 80 Получение
консультации из файла, 146
ответа на вопрос, 58 Понятие
операционное, 564 Понятность
гипотезы, 440 Поражение, 284; 533
Порядок
расположения целей, 67 Последовательность
доказательства, 40 Постижимость
гипотезы, 440 Поток
входной, 137
входной текущий, 137
выходной, 137
выходной текущий, 137 Правила
игры, 63
именования файлоя, 137
распространения значений, 536
суммирования, 152 Правило, 31; 34
"if-then", 328
"условие-действие", 419
в базе знаний, 330
вывода, 325; 544
минимизации, 290
непротиворечивое, 422
порождающее, 328
рекурсивное, 37
решения задач эвристическое, 71
согласования термов, 53 Правильность, 169 Предикат
accepts, 105
achieves, 395
actor, 524
addl, 469
ako, 474
all_different, 322
assert, 161
asserta, 161; 163
assertz, 161
atom, 151
backliteral, 450
best_search, 468
binary tree, 201
call, 165
canget, 64
checkmove, 552
сhoose_attribute, 431
circuitja, 319
circuit_b, 319
circuitl, 485
complete, 456
compose, 524
consistent, 456
consult, 163
depth_first, 456
deriv, 497
Предметный указатель
dictionary, 201
domain, 321
driver, 144
endofgame, 549
evai; 468
even, 470
evenlength, 55
ex, 449
father, 16
female, 44 (5
fib, 186; 308
getsentence, 744
gives, 567
goal, 256'
grandfather, 16
ground, 159
has_daughter, 447; 450
indomain, 321
induce, 456
inducehyp, 468
initcounts, 469
insertsorted, 474
intrans_verb, 524
isjtrue, 336
iterdeep, 456
kingdiagfirst, 552
labeling, 322
legal, 552
length, 95
likes, 522; 567
lpatt, 552
male, 446
mate, 55 7
max_clausejength, 469
max_clauses, 461; 469
max_proof_length, 469
maxlist, 95
moves, 536
mplus, 497
name, 7 59
newroomsmaller, 55 7
nex, 450
nl, 139
nomove, 552
nonvar, 7 54
nospy, 777
not, 756»
notrace, 777
odd, 470
oddlength, 85
okapproachedcsquare, 552
once, 7 64
order, 744
ordered, 96
paints, 522
palindrome, 85
parent, 16; 446
path, 47 7
prec, 577
precconstr, 57 2
precedenceconstr, 57 2
prolog_predicate, 450
prove, 452; 468
rectangle, 570
refine, 455; 468
refine_hyp, 456; 468
resource, 577; 316
retract, 161
rookdivides, 5S1
rookexposed, 55 7
rooklost, 55 7
rookmove, 552
roomgt2, 552
sad, 567
satisfy, 4 57
schedule, 575
see, 75 7
select, 395
show_counts, 469
showhyp, 469
solution, 777
spy, 777
stalemate, 55 7
startclause, 469
startjiyp, 456
start_hyps, 468
subsum, 96
sum, 497
sumlist, 95
support/2, 474
tasks, 577
taxi, 744
terminallost, 533
terminalwon, 533
touch/2, 474
trace, 777
transition, 499
unifiable, 75 2
verbjhrase, 524
встроенный, 95; 136; 149
встроенный "=.,", 156
встроенный arg, 156: 158; 184
встроенный atom, 150
встроенный atomic, 7 5 6»
встроенный bagof, 165
встроенный call, 158
встроенный clause, 561
встроенный compile, 7 47
встроенный compound, 7 5 6»
встроенный copy_term, 164
Предметный указатель
встроенный findall, 165
встроенный float, 150
встроенный functor, 156; 158; 184
встроенный get, 138
встроенный getO, 138
встроенный inf, 308
встроенный integer, 150
встроенный is, 307
встроенный maximize, 307
встроенный minimize, 307
встроенный name, 144
встроенный nonvar, 150
встроенный number, 150
встроенный put, 138
встроенный read, 138; 139
встроенный setof, 165; 180
встроенный sup, 308
встроенный var, 150
встроенный write, 138; 139
встроенный форматирования вывода, 139
детерминированный, 139
динамический, 762; 590
металогический, 154
недетерминированный, 162
неопределенный, 590
определения принадлежности к списку, 460
разметки, 323
сравнения, 552
стандартный, 148
статический, 590
фоновый, 446
целевой, 447 Предложение, 26; 29; 34
неудовлетворяемое, 462
относительное, 527
хорновское, 73 Предохранитель
плавкий, 359 Предположение
о гладкости, 491
о замкнутости мира, 121; 133 Предпосылка, 384
действия, 64 Представление
в виде графа AND/OR, 277
графа, 208
декларативное, 72
древовидное, 49
информации о семье, 99
множества, 197
наборов данных, 215
понятия в виде множества, 409
процедурное, 72
списка внешнее, 76
списка внутреннее, 77
формальное, 411
целевое, 522
числа с плавающей точкой, 47 Представления
физические обыденные, 479 Преемник, 231 Преобразование
в процедуру с хвостовой рекурсией, 183
обычного списка в разностный, 196
переменной в фоновый терм, 461
текста в список атомов, 145 Префикс
"-", 176
"+", 176 Прибор
электрический, 359 Приглашение, 140
к вводу информации, 357 Пример
отрицательный, 446
положительный, 446
учебный, 565 Принцип
минимакса, 532; 534
обобщения, 119
резолюции, 73 Приобретение
знаний, 409 Приоритет
знака операции, 87
операнда, 88 Причина
коренная, 343 Проблема
планирования, 261
удовлетворения ограничений, 301 Проверка
k-кратная перекрестная, 441
вхождения, 73
на неидентичность, 160
на неравенство, 306
на равенство, 306
принадлежности к множеству, 86; 198
принадлежности к списку, 78
типа терма, 149 Прогноз, 342 Программа, 58
addleaf, 202
ARCHES, 419
cone, 82
convert, 307
family, 37
Предметный указатель
HYPER, 446; 448
length, 94
MINIHYPER, 448; 454
schedule, 312
ведения игры, 541
интерпретируемая, 147
качественного машинного моделирования, 493
конкатенации списков, 448
обобщения на основе объяснения, 5
обучающаяся, 420
откомпилированная, 147
планирования путешествий, 108
решения числовых ребусов, 154
свернутая, 521
сортировки списков, 448
составления расписания, 313
целенаправленная, 15
шахматная, 540
эмулятора конечного автомата, 105 Программирование
автоматическое, 446
в ограничениях, 30/
декларативное, 16
логическое в ограничениях, 301
логическое индуктивное, 446
объектно-ориентированное, 570
рекурсивное, 37
управляемое шаблонами, 579
целевое, 15 Продление
поиска, 541 Продукция, 328 Прозрачность
системы, 328 Пространство
планирования, 384
поиска, 534
состояний, 228; 277
состояний бесконечное, 235 Процедура, 37; 38
actor, 524
add_to_tail, 155
adds, 384
andor, 298
assign_processors, 315
bars, 141
between, 96
bubblesort, 193
can, 384
choose_attribute, 432
collect, 190
combine, 298
compute, 158
continue, 254; 298
count, 151
cube, 139
deletes, 384
depth_first_iterative_deepening, 237
depthfirstl, 2,37
depthfirst2, 236
dosquares, 165
ebg, 569
enlarge обобщенная, 157
execute, 58; 59
expand, 251; 253
expandlist, 297
expert, 366; 377
explore, 366
fact, 332
fib/ 2, 308
fib2, 187
findl, 241
find2, 241
find3, 241
forwardfib, 188
gen, 118
getletters, 145
getreply, 369
getrest, 144
getsentence, 144
height, 201
inipurityl, 432
in, 198
inducejtrees, 431
InduceOneRule, 422
insert sort, 193
is_true, 333
learn, 426
makelist, 180
maketable, 163
maplist, 172
max, 190
merge, 175
move, 513
numbervars, 376
obtain, 158
path, 236
permutation, 84
plan, 396
playgame, 549
plural, 146
present, 366; 376
processftle, 142
prove, 560
prunetree, 439
quicksort, 194
quicksort2, 196
reverse, 184
satisfied, 403
Предметный указатель
schedule, 312
search, 146
send, 571
show, 206; 287; 298
show2, 299
showfile, 142
simplify, 155
sol, 118
solution, 112
solve. 234; 287
split, 129
squeeze, 143
subl, 189
sub2, 189
sub3, 189
substitute, 159
succlist, 254
sum list, 183
useranswer, 366; 369
value, 352
write, 139
writelist, 141
writelist2, 141
writenode, 299
встроенная, 92
встроенная asserta, 187
встроенная copyterm, 569
поиска, 450
поиска в глубину в графе AND/OR,
прямого логического вывода, 334
рекурсивная, 182
решения задач в ограничениях, 307
с хвостовой рекурсией, 183
управляющая, 377
формирования рассуждений, 331
целенаправленная, 15 Процесс
согласования термов, 54 Процессор, 261 Прочтение
декларативное, 56
процедурное, 56 Прямоугольник, 52; 56; 156 Псевдофайл, 137 Псевдоцель, 123 Пункт
ключевой, 298 Путь
ациклический, 209
гамильтонов, 210
с минимальной стоимостью, 211
Р
Равенство
буквальное, 160
линейное, 306 Разбиение
атома на символы, 144
списка, 84 Развертывание
цели, 570 Развитие
языков программирования, 15 Раздваивание
атрибута, 429 Разделение
знаний и алгоритмов, 328 Размер
гипотезы, 463
дерева, 292 Разметка, 322 Разработка
программ Prolog, 171 Раскраска
карты, 179 Распечатка
дерева, 206 Расписание
авиаперелетов, 108
допустимое, 261
пустое, 262
частично составленное, 262 Распознавание
типа объекта, 45 Распределение
ресурсов по процессам, 302 Расстояние
манхэттенское, 259
отступа, 207
суммарное, 259 Рассуждения
качественные, 478
функциональные, 482 Реализация
отношения findall, 167 Ребро
ориентированное, 208 Ребус
числовой, 151 Регрессия
целей, 395 Режим
интерактивный, 147
итеративного углубления, 393 Резистор, 51; 317 Результат, 384
Предметный указатель
Рекурсия, 171
хвостовая, 182 Решатель
задач, 15 Робинсон, 73 Робот
подвижный, 256 Ряд
Фибоначчи, 186
С
Свойство
магическое, 104
оптимальных расписаний, 261 Связь, 26; 349; 384
AND, 278; 280
OR, 280 Селектор, 102 Семантика
Prolog процедурная, 65 Семейство
треугольников, 56 Сеть
байесовская, 340; 342
доверия байесовская, 340
логического вывода, 330
ограничений, 303
семантическая, 349
электрическая, 359 Символ, 138
";: = ", 512
"-->", 512
"null", 426
непечатаемый, 138
непробельпый, 143
нетерминальный, 511
подчеркивания, 47; 99
пустой, 104
терминальный, 511 Синтаксис
DEC-10, 20
эдинбургский, 20 Синтез
структурный, 482 Система
AL/X,329
AL3, 329
CLP,305
CLP(B), 306
CLP(FD), 306
CLP(Q), 306; 310
CLP(R), 306
CLP(Z), 306
MYCIN, 329
Shrdlu, 15
обозначений DCG, 520
обозначений инфиксная, 51
основанная на знаниях, 326
управляемая шаблонами, 576
экспертная, 326 Ситуация
игры первоначальная, 532
проблемная, 228 Сканирование
программы, 59 Слияние
списков, 196 Словарь
бинарный, 199
бинарный несбалансированный, 216
двоично-троичный, 215; 216 Слово
ключевое, 146
определяющее, 52,5
определяющее "а", 525
определяющее "every", 526 Сложность
вычислительная, 440
деревьев игр в шахматах, 534
комбинаторная, 425; 448
логарифмическая, 201 Слот, 350; 524 Случай
граничный, 172
общий, 172 Смысл
движения, 519
имени собственного, 522
непереходного глагола, 522
фразы, 517 Событие, 341 Совет, 543
элементарный, 543
элементарный выполнимый, 544 Совместимость, 303 Согласование, 45; 52; 73
как аналог унификации, 73
переменных, 461 Соглашение
стилистическое, 174 Соединение
между двумя клеммами, 318
между тремя клеммами, 318
резисторов, 52
резисторов параллельное, 5/ Создание
форсирующего дерева, 546 Сообщение
"More core needed", 69
Предметный указатель
"Stack overflow", 69 Сортировка
вставкой, 193
пузырьковая, 193
списка, 192 Составление
расписания, 262 Состояние, 262
конечное, 104; 492
мира обезьяны, 63
мира обезьяны начальное, 63
начальное, 63; 262
переменной качественное, 497
решения, 292
системы качественное, 497
целевое, 230\ 262 Состояние-преемник, 262 Сосуды
сообщающиеся, 501 Сохранение
достигнутой цели, 391
полученных решений, 163 Спецификатор
типа, 88 Спецификация
байесовской сети, 343; 348 Список, 76: 192
добавления, 384
непустой, 76
поддеревьев, 294
пустой, 76
разностный, 181; 512
связей, 384
советов, 546
удаления, 384
целей, 57; 58 Способ
обновления текущей гипотезы, 417
самоутешения, 567 Сравнение
арифметическое, 306
числовых значений, 93 Средства
ведения диалога, 333
отладки, 176
удовлетворения ограничений, 301
управления, 164 Стандарт
ISO, 18
ISO./IEC 13211-1, 44
Prolog, 148
языка Prolog, 18 Сгпмь
программирования, 173 Стоимость
игры, 535
пути, 211
решения, 231; 262 Стратегия
SLD, 73 Структура, 48
данных, 98; 192
древовидная, 50; 197
программ CLP(FD), 322
рекурсивная, 172
с описанием семьи, 102
экспертной системы, 327 Структурирование
данных, 48 Суперобъект, 571 Супремум, 308 Сущность, 349 Схема
графическая, 173
движения, 64
комбинирования достоверностей, 338
отношения, 32
электрическая, 51; 317; 482 Сцена
действия, 405 Счетчик
ответов, 374 США, 18
Г
Таблица
product, 164
npoz3BefleHHfi целых чисел, 163
советов, 544
фактов, 163 Тело
предложения, 31; 34 Теорема, 39
Байеса, 344
допустимости, 255; 256; 294
эквивалентности де Моргана, 89 Теория
вероятностей, 339
информации, 429
проблемной области, 564; 565 Терм, 49
rectangle, 56
идентичный, 53
составной, 192 Терминал
пользовательский, 137 Тип
операции, 88
цели askable, 369
Предметный указатель
Точка, 49
в двухмерном пространстве, 49
в трехмерном пространстве, 49 Точка с запятой, 57; 175; 306 Точность
гипотезы, 413
классификации, 434; 440
предсказания, 413 Трассировка, 177; 364; 562
выполнения, 60
избирательная, 177
поиска, 291
цели,177 Треугольник, 49; 156 Турнир
шахматный, 540 Тэта-классификация, 458
У
Углубление
итеративное, 232; 236; 287
последовательное, 542 Удаление
объекта из списка, 78
элемента из списка, 82 Удобство для чтения, 169 Удовлетворение
ограничений, 301 Узел
AND, 279; 280; 284
OR, 279; 280; 284
графа, 103
корневой, 532
начальный, 229
поиска начальный, 450
поиска целевой, 450
целевой, 229; 278 Узел-преемник, 233 Уинстон, 15 Унификация, 73 Уоррен, 18 Упорядочение
алфавитное, 161
лексикографическое, 192
цифровое, 161 Управление
перебором с возвратами, 121 Уравнение
QDE, 487
дифференциальное, 479 Усвоение
сообщенных знаний, 408 Условие
достаточное,.565
правила, 3/
согласования, 52 Усовершенствование, 450
алгоритмов, 171
отношений, 171
поэтапное, 170 Утверждение, 525 Уточнение, 451
наименее конкретное, 462 Учет
неопределенности, 337
Ф
Файл, 137
user, 137
входной, 137
выходной, 137
последовательный, 138
с произвольным доступом, 138
текстовый, 138 Факт, 26; 34
производный, 186 Форма
конъюнктивная нормальная, 73
обучения, 408
предложений, 73
представления в виде предложений, 584
синтаксическая, 45 Форматирование
объектов данных, 136 Формирование
вариантов программы, 68
дерева доказательства, 563
имен системой, 55
объяснения, 336
расписания, 262 Формула
Байеса, 436
исчисления вероятностей, 344
энтропии, 429 Формулировка
предиката рекурсивная, 65 Фраза, 511 Фрейм, 350 Функтор, 48
а, 208
digraph, 208
е, 208
graph, 208
par, 51
point,- 49
point3, 49 rectangle, 56
Предметный указатель
| seg, 49 | отрицаемая неконкретизированная, |
| seq, 51 | 134 |
| state, 63 | родительская, 124 |
| triangle, 49 | Цикл |
| списка, 77 | бесконечный, 67 |
| терма главный, 49; 87 | скрытый, 106 |
| Функция | Цифра |
| Ь, 248 | переноса, 152 |
| двухступенчатая, 121 | |
| монотонно возрастающая, 490 | ч |
| монотонно убывающая, 490 | |
| оценки, 534 | Число, 47 |
| оценки Cost, 463 | с плавающей точкой, 47 |
| оценки статическая, 536 | Фибоначчи, 187; 308 |
| эвристическая, 263; 535 | целое, 47 |
| эвристическая h, 289 | Чтение |
| данных из файла, 136 | |
| X | программ, 136; 146 |
| Хвост | ш |
| списка, 76 | |
| Ход | Шаблон |
| правильный, 535 | L-образный, 552 |
| Шахматы, 532 | |
| ц | Шашки, 532 |
| Школа | |
| Цель, 29 | ортодоксальная, 19 |
| assert, 161 | |
| consult, 146; 147 | \) |
| fail, 129; 165 | |
| functor, 184 | Эвристика, 245 |
| getO, 143 | Экземпляр |
| getsentence, 144 in о | отношения, 20 |
| in, 198 | предложения, 57 |
| put, 143 | Эксперт |
| read, 139 | специализированный, 544 |
| repeat, 165 | Эмулятор |
| retract, 161 | конечного автомата, /ft?; 108 |
| see, 137 | Эндшпиль |
| seen, 138 | шахматный, 543 |
| setof, 7(5(5 | Этап |
| squeeze, 143 | усовершенствования, 457 |
| sum, / 52 | Эффект |
| tab, / 39 | горизонта, 542 |
| tell, 137 | Эффективность, 169 |
| told, / 3 <? | вычислительная, 178 |
| treat, 142 | поиска в словаре, 200 |
| true, Щ7 65 | |
| write, J39; 206 | Я |
| игры, 63 | |
| консервативная, 543 ело | Язык, 5 // |
| лучшая, 543 Л /Т5 | Advice Language 0, 545 |
| не конкретизированная, 4 Ш ото | ALO, 545 |
| отрицаемая, 378 | Fortran, 15 |
Предметный указатель
Lisp, 15 низкого уровня, 15
Mi с гор 1 aimer, 15 описания объектов, 412
Pascal, 61 описания понятий, 411; 412
Prolog, 18 процедурного типа, 15
Prolog чистый, 74 советов Advice Language, 532; 543
высокого уровня, 15 удовлетворения ограничений, 305
гипотез, 411; 412; 447 Япония, 18
декларативного типа, 15
Предметный указатель
Научно-популярное издание Иван Братко
Алгоритмы искусственного интеллекта
на языке PROLOG,
3-е издание
Литературный редактор ИЛ. Попова
Верстка А,Н. Полинкик Художественный редактор СА. Чернокозинский
Корректоры З.В. Александрова, Л А. Гордиенко, О.В. Мишу тина
Издательский дом "Вильяме".
101509, Москва, ул. Лесная, д. 43, стр. I.
Изд. лиц. ЛР К» 090230 от 23.06.99
Госкомитета РФ по печати.
Подписано в печать 12.07.2004. Формат 70x100/16.
Гарнитура Times. Печать офсетная.
Усл. печ. л. 51,6. Уч.-изд. я. 41,6.
Тираж 3000 экз. Заказ № 180.
Отпечатано с диапозитивов в ФГУП "Печатный двор"
Министерства РФ по делам печати,
телерадиовещания и средств массовых коммуникаций.
197110, Санкт-Петербург, Чкаловский пр., 15.
