Предметный указатель. Advice Language 0, 545 AVL-дерево, 215; 221 AVL-словарь, 222

совместимая с данными, 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

Предметный указатель

с ханойской башней, 282 составления расписания, 304; 310 удовлетворения ограничений, 302

Заключение правила, 31

Закон

Кирхгоффа, 483 Ома, 483

Предметный указатель

понятий, 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

Предметный указатель

Предметный указатель

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.