Часть 5.

854

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

к

Каноническая форма, 237

Каноническое правило формирования, 252

Категориальная архитектура, 222; 255

трехуровневая, 256

Категоризация, 417

Категоризированное выражение, 543

Категория базового уровня, 420

Квалификация переменных, 85

Квантор

всеобщности, 81; 85

переменных, 81

существования, 81; 85

Китайская комната, 785

Класс, 750

NP-сложных задач, 181

абстрактный, 751

регулярных языков, 574

Классификатор, 400; 515

Классификация, 436

по минимальному расстоянию, 443

Классная доска, 213

Кластеризация взаимной информации, 589

Клеточный автомат, 481; 484; 505; 512

Ключ, 723; 752

КНФ, 488

Когнитология, 524; 792

Кодирование

Грея, 492

сжимающее, 453

Композиция, 94

Конечный автомат, 574

Конкурентное обучение, 455

Конкурентный метод обучения, 436

Коннекционистская модель, 780

Конструктор, 705

Контекстно-зависимый язык, 574

Контекстно-независимая грамматика, 573; 575

Контекстно-независимое правило, 598

Контекстно-независимый язык, 574

Концевая вершина, 112

Концептуальная

кластеризация, 373; 417; 418

модель, 280

Концептуальное

отношение, 245

синтаксическое правило, 234

Концептуальный граф, 222; 230; 245; 581; 594

обобщение и специализация, 250

тип, 247

Концепция

d-отделения, 360

Конъюнкт, 74; 729

Конъюнктивная нормальная форма, 488

Конъюнктивное выражение, 728

Конъюнктивный порог, 402

Конъюнкция, 74

дизъюнктов, 550

Корень графа, 110

Корневой граф, 110

Корректность понятия, 404

Коэффициент

скорости обучения, 448

Критерий отбора, 484

Кусочно-линейная биполярная пороговая функция,

445

Л

Лексикон, 567

Лексическое замыкание, 712

Лингвистический анализ, 585

Линейная

ассоциативная память, 437

входная форма, 551

Линейный

ассоциатор, 467

критерий качества, 502

Литерал, 529

положительный, 612

Логика

умолчания, 330

хорновских дизъюнктов, 612

Логистическая функция, 445; 449

Логическая

операция, 694

программа, 548; 606

система поддержки истинности, 335

Логический вывод, 89

Логическое

исчисление Буля, 34

программирование, 542; 547; 609; 727

следствие, 74

Лучевой поиск, 180

Лямбда-выражение, 713

м

Магнитная энцефалография, 793

Мажоритарное голосование, 512

Макрорасширение, 738

Макрос, 738

defclass, 751

Максимально

конкретное обобщение, 383

общее понятие, 383

Максимальное правдоподобие, 417

Максимальный общий подтип, 249

Маркер, 247

*,248

Марковская

модель, 588

цепь, 564

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

855

Марковское предположение, 587

Массив, 705

Математическая модель аналогии, 412

Машина Тьюринга, 448; 509; 803

Машинное обучение, 373; 391; 431

Медиатор, 787

Мера

доверия, 762; 164; 350

неопределенности, 326

правдоподобия, 350

Метазнание, 65

Метаинтерпретатор, 609; 646; 690

для LISP, 647

Металингвистическая абстракция, 647; 727

Метапланирование, 322

Метапредикат, 609; 639

Метод

Q-обучения, 431

ветвей и границ, 117

временных разностей, 426

встречного распространения, 457

градиентного спуска, 446; 449

грамматических триграмм, 591

дефаззификации, 349

динамического программирования, 429

добавления повторяющихся элементов, 400

максимального правдоподобия, 417

минимакса, 170

Монте-Карло, 429; 431; 486

неточных рассуждений на основе фактора

уверенности, 652

обратного распространения ошибки, 449

обучения по методу обратного распространения,

441

основанный на знаниях, 273

поиска экстремума, 784

редукции целей, 317

сильный, 784

слабый, 784

триангуляции дерева клик, 364

центра тяжести, 349

цепочки, 523

Методология классной доски, 212

Механизм

вывода, 275

рассуждений

на основе множественной достоверности,

555; 366

на основе опыта, 300

Минимальная модель мира, 337

Минимальный общий супертип, 249

Многозначная логика, 565; 612

Многослойный персептрон, 440

Множественная теория сознания, 791

Множественное наследование, 755

Множество, 622; 625; 705

поддержки, 522; 540

Модальная логика, 253; 365

Модель, 336

автоассоциативной памяти, 477

агентная, 791

внешней среды, 426

Гроссберга, 459

искусственной жизни, 437

классной доски, 186

коннекционистская, 780

концептуальная, 280

концептуальной зависимости, 237

марковская, 564; 588

минимальная, 336

нейроподобная, 435

обоснования по аналогии, 412

обучения с подкреплением, 437

рассуждения, 325

стохастическая, 555

триграмм, 588

физиологическая, 481

Хебба, 437; 799

эмерджентная, 370; 484

Модификатор отношений, 236

Моноид, 257

Монотонность, 784

Морфема, 564

Морфология, 564

Мультиагентная система, 262

Мутация, 487; 503

н

Наиболее общий унификатор, 95

Накопительная кластеризация, 417

Наследование, 64; 750

множественное, 755

Научная деятельность, 416

Начальное состояние, 112

Нейрон, 57; 372; 435

искусственный, 437

Мак-Каллока-Питса, 436; 438

Нейронная

вычислительная модель, 57

сеть, 372; 435; 786

Нейрон-победитель, 437; 456

Нейроподобная модель, 435

Нейро-символьная гибридная система, 481

Немонотонная система, 328

Немонотонные рассуждения, 327

Несобственный символ, 78

Нетерминальный символ, 573

Неточный вывод

на основе фактора уверенности, 326

Нечеткая ассоциативная матрица, 346

Нечеткое множество, 344

Нормализованный критерий качества, 503

Нормальная дизъюнктивная форма, 529

856

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

о

о

Обобщение, 370; 377; 380

максимально конкретное, 383

на основе объяснения, 407

Обобщенное дельта-правило, 441

Обобщенный граф, 377

Оболочка

CLIPS, 276

exshell, 650

Обоснование

на основе опыта, 415

по аналогии, 412

Обработка естественного языка, 671

Обратная цепочка, 118

Обратное распространение ошибки, 436

Обучение, 50; 371

без учителя, 373; 415; 456

генетическое, 372

индуктивное, 373

конкурентное, 455

машинное, 373; 391; 431

на основе

временных разностей, 426; 428

обратного распространения ошибки, 436

объяснения, 373; 374; 405; 407

подобия, 373; 405

поиска, 391; 400

пояснения, 661; 668

на уровне знаний, 411

по аналогии, 303

по методу

градиентного спуска, 446

обратного распространения, 441; 448

с подкреплением, 71; 373; 424; 437; 496

с учителем, 373; 381; 415

синхронное, 463

эволюционное, 372

Общая стратегия вывода, 522

Общий подтип, 249

Объект, 750

Объектно-ориентированное

моделирование, 656

программирование, 749

Ограничение на количество дизъюнктов, 402

Однослойная нейронная сеть, 439

Оператор

cut, 549

unless, 329

генетический, 52

отсечения, 609; 620

разрешения, 521

Операция, 388

И, 74

Опорный объект, 418

Оппортунистический поиск, 289

Оппортунистическое планирование, 322

Предметный указательОпровержение, 528

разрешения, 528; 533

Оптимизация, 436

Ориентированный граф, 110

Ортонормальность векторов, 469

Осведомленность, 784

Основное выражение, 85

Открепление, 522

Отношение

концептуальное, 245

концептуальной зависимости, 234

между вершинами графа, 111

Отображение, 711

Оценивание

с задержкой, 736

функции, 79

Оценка плотности по методу максимального

правдоподобия, 417

Очередь, 125; 186; 609; 622; 714

приоритетная, 155; 624

п

Падежная грамматика, 598

Падежный фрейм, 233; 581; 671

Пакет организации памяти, 237

Пара условие-действие, 692

Параметр

качества, 498

совести, 456

шага, 427

Парамодуляция, 555

Парсинг, 144

Переменная, анонимная, 617

Перестановка, 503

Персептрон, 436; 439; 798

многослойный, 440

Планер, 507

Планирование, 274; 527

адаптивное, 316

Планировщик, 214; 307

STRIPS, 263

Поведение, 750

Поверхностная структура, 599

Поверхность ошибки, 446

Пограничная частица, 514

Подсистема объяснений, 275

Подстановка, 94; 522

Подтип, 249

максимальный общий, 249

Подход Демпстера-Шафера, 350

Позитронная эмиссионная томография, 793

Поиск, 42; 783

в Web, 592

в глубину, 121; 124; 130; 611; 631; 706

предельная глубина, 131

с возвратом, 631

857

в пространстве

версий, 373; 380; 661

состояний, 32; 108; 112; 311

в ширину, 124; 129; 287; 391; 523; 539; 633; 714;

716

двунаправленный, 385

лучевой, 180

методом полного перебора, 69

на графе И/ИЛИ, 134

на основе

данных, 118; 206

образца, 212

цели, 287

оппортунистический, 289

от общего к частному, 383; 406; 665

от цели, 118

от частного к общему, 382

по ключевым словам в Web, 596

с возвратом, 95; 121

эвристический, 163

экстремума, 153

Полезность категории, 421

Полиморфизм, 750

Полиморфная функция, 750

Политика я, 426

Полный байесовский анализ, 355

Положительный литерал, 612

Помеха, 474

Понимание

естественного языка, 369; 519; 561

языка на основе шаблонов, 585

Понятие

-кандидат, 376

максимально общее, 383

Порог

индуктивный, 372; 400

конъюнктивный, 402

синтаксический, 402

Пороговая функция, 438

Построение

дерева решений сверху вниз, 394

опровержений, 528

списков, 697

Потенциал возбуждения, 787

Поток, 729

Правило, 197; 612

Meta-DENDRAL, 797

Видроу-Хоффа, 446

временных разностей, 429

вывода, 70; 89; 521; 567; 574

Демпстера, 557

если..., то..., 275; 500

контекстно-независимое, 598

копирования, 250

логического вывода, 495

мажоритарного голосования, 512

модус поненс, 31; 77; 90

модус толленс, 91

обучения

Кохонена, 456

на основе временных разностей, 428

объединения,250

отделения, 107; 523; 529

перехода, 485

преобразования, 599

продукционное, 282; 574; 784

резолюции, 77; 91; 92

рулетки, 486

специализации,250

Правильно построенная формула, 74

Прагматика, 564

Предваренная нормальная форма, 532

Предикат, 62; 79; 685; 692

assert, 614

bagof, 633

consult, 614

eq,708

member, 616; 697

retract, 614

Предиктивность, 421

Предложение, 81; 568

Предположение о замкнутости

мира, 296; 328; 336; 547

пространства, 551

Предпосылка, 74

Предсказуемость, 421

Представление знаний, 42

иерархических, 559

Пренексная нормальная форма, 532

Приведение, 557

Принцип

бритвы Оккама, 340

Вильяма из Оккама, 394

Дарвина, 370

минимизации энергии, 477

обучения без учителя, 456

понимания языка на основе шаблонов, 585

разделения переменных, 614

резолюции, 90; 528; 534

систематичности, 414

Приоритет операций, 726

Приоритетная очередь, 155; 186; 609; 622; 624

Приоритетность классов, 755

Проблема

выделения кредита, 390

границ, 267; 308

исследования представления знаний, 520

линейной разделимости, 436; 441

машинного обучения, 371

обобщения, 370

обоснования, 794

понимания естественного языка, 561

представления знания и поиска, 58

858

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

связывания, 794

формализации метазнаний, 65

эпистемологического доступа, 801

Проверка

вхождения, 94; 722

соответствия

типов, 706; 750

шаблонам, 718

Прогнозирование, 274; 436

Программа

AM, 415

BACON, 416

Candide, 591

DENDRAL, 120; 406

Dipmeter Advisor, 45

EVRISKO, 416

Hacker, 50

IL,416

INTERNIST, 45

LEX, 388; 402

компоненты, 390

Logic Theorist (LT), 219; 522

PROSPECTOR, 45

SHRDLU, 47

STRIPS, 407

Systran, 591

WEBMATE, 265

XCON, 45

AM, 50

игры в шашки, 173; 300

логическая, 548; 606

на языке PROLOG, 611

Программирование

автоматическое, 504

генетическое, 484

декларативное, 522

динамическое, 587

логическое, 542; 547; 609; 727

объектно-ориентированное, 749

функциональное, 607; 685

эволюционное, 509

Продукционная

память, 497

система, 144; 186; 196; 282; 511; 708

на языке PROLOG, 626

Продукционное правило, 197; 574; 784

Продукция, 197

Проект NASA, 318

Проектирование, 274

Пропозициональное исчисление, 296

Просодия, 564

Пространство

версий, 381

возможных действий, 308

понятий, 376

состояний,112

задачи, 42

Прототип, 278

Процедура

альфа-бета-усечения, 175

гиперрезолюции, 536

доказательства теорем, разрешающая, 528

минимакса, 173

полного доказательства, 90

Процедурная семантика, 547

Процедурный

метод интерпретации правил, 290

язык, 678

Процесс

извлечения знаний, 279

проверки соответствия, 523

сколемизации, 532

триангуляции,363

уменьшения различий, 526

Прямая цепочка, 118

Прямой процесс рассуждения, 282

Психология обработки информации, 524

Путь

допустимый, 113

на графе, ПО

Разбор предложений, 568

на естественном языке, 598

Разделение переменных, 614

Различия между декларативным и процедурным

стилями программирования, 711

Размеченный граф, ПО

Разностный список, 645

Распознавание образов, 436

Распределенная система, 435

Распределенный искусственный интеллект, 262

Рассуждения

абдуктивные, 338

байесовские, 355

на минимальных моделях, 336

на основе

модели, 292; 305; 784

проект NASA, 296; 318

опыта, 299; 305

правил, 304

немонотонные, 327

Расширение логических грамматик, 576

Расширенная

грамматика фразовой структуры, 576

сеть переходов, 569

Расщепление, 557

Рационально-логическая программная система, 40

Реализация памяти, 436

Регрессия цели, 408

Регулярный язык, 574

Редактор базы знаний, 276

Редукция целей, 317

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

859

Резолюция, 77; 528; 606

бинарная, 529; 555

Резольвента, 534

Рекурсивная

процедура, 186

функция, 685

унификации, 720

Рекурсивно-перечислимый язык, 574

Рекурсивный

анализатор, 672

на основе семантических сетей, 675

поиск, 186; 187; 618

Рекурсия, 186; 615

car-cdr, 699

Реляционная база данных, 593

Рефракция, 211

Решатель задач на основе слабых методов, 220

Решение-кандидат, 40; 485

Решетка зависимостей предпосылок, 335

Родовая функция, 750; 753

Роль, 233; 240

C++, 50

Самовоспроизводство, 509

Самоорганизация сети, 458

Саморепликация, 484

Сателлит, 555

Свойство ортонормальности, 477

Связывание, 94

переменных, 701

Семантика, 564

вероятностная, 341

Семантическая

грамматика, 598

интерпретация, 565

сеть, 64; 229; 377; 520; 639; 658; 746

Семантический интерпретатор, 580

Сентенциальная форма, 567

Сеть

NETtalk, 453

ассоциативная с обратными связями, 477

встречного распространения, 456; 459

гибкая, 260

доверия, 71; 327; 355

Кохонена, 457

нейронная, 372; 786

обратного распространения, 799

переходов, 569; 574

расширенная, 575

прямого распространения, 471

с обратными связями, 472

связей, 372; 435; 483

семантическая, 229; 377; 639; 658; 746

Хопфилда, 437; 472; 477; 479; 799

Сжимающее кодирование, 453

Сигмоидальная функция, 445

Сильный метод, 273

решения проблем, 220

Символ, 782

истинности, 79

несобственный, 78

нетерминальный, 573

Символьная модель, 436

Символьное

выражение, 686

исчисление, 30

обучение, 784

представление, 435

Символьные вычисления, 694

Символьный анализ, 564

Синапс, 51; 439

Синтаксический

анализ, 144; 564; 567

порог, 402

разбор, 565

Синхронное обучение, 463

Система

Burton, 321

CASEY, 299

CLUSTER/2,418; 457; 798

COB-WEB, 420

DENDRAL.45

Dipmeter, 120

exshell, 650

General Problem Solver, 522

HEARSAY-П, 213

HEARSAY-Ш, 215

Livingstone, 296; 318

Logic Theorist, 43

MACSYMA, 135

Meta-DENDRAL, 50; 322

MYCIN, 45; 263; 292; 321; 650

NETtalk, 452

PROSPECTOR, 120; 357

PROTOS, 299

ROBOCUP, 263

SCAVENGER, 416

SHRDLU, 563

STRIPS, 311; 528

Teiresias, 50

автоматической классификации юридических

документов, 598

автономная, 263

анализа медицинских карточек пациентов, 598

гибридная, 306

доказательства на основе резолюции, 522

извлечения информации, 596

классификации, 485; 495

логического вывода, 496

мультиагентная, 262

на основе модели, 293

нейро-символьная гибридная, 481

860

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

немонотонная, 328

объектно-ориентированная, 294

основанная на знаниях, 326

параллельной распределенной обработки, 435

поддержки истинности, 328; 331

с учетом обоснования, 332

поддержки страхования жизни, 598

продукционная, 196; 511; 626; 708

прямого поиска, 289

решения общих задач GPS, 526

с сильными методами, 303

формальная, 755

формальной логики, 32

экспертная, 37; 273; 520

Систематичность, 413

Сколемизация, 93; 531

Сколемовская

константа, 532

функция, 93

Скрещивание, 487; 503

Скрытый слой, 453

Слабый метод, 784

решения задач, 220; 520

Слой нейронов, 435

Создание

конфликта, 529

локальных переменных, 703

Составной терм, 727

Состояние, 108; 750

Специализация, 377; 380

Список, 607; 615; 686; 689

open, 186

ассоциативный, 723

подзадач, 523

приоритетности классов, 755

разностный, 645

свойств, 747

Способность к обучению, 369

Среднеквадратическая ошибка, 447

Стек, 609; 622

Степень

вершины графа, 109

подобия, 302

Стохастическая модель, 585

Стратегия

поиска

от цели,135

экстремума, 153

прогнозирования n-го слоя, 171

Строгий индуктивный порог, 457

Структура, 705

объяснения, 409

Стэндфордская теория фактора уверенности, 342

Супертип, 249

минимальный общий, 249

Схема

кодирования, 438

налогообложения, 500

Сценарий, 237; 238

роль, 240

TR-дерево, 316

Таблица

истинности, 76

операций, 527

отличий, 522

связей, 526

треугольная,312

Телео-реактивное планирование, 316

Теорема

Байеса, 327; 356; 357

о бесплатном сыре, 798

Теория

ассоционистская, 227

Байеса, 71; 355

вероятностей,344;354

внедренного действия, 802

возможных миров, 785

вычислимости, 36

графов, 32; 108

Демпстера-Шафера, 326

интеллектуальных систем, 780; 792

информации, 396; 591

клеточных автоматов, 484

концептуальной зависимости, 234; 237

концептуальных графов, 250

логического вывода, 89

множеств, 380; 415

нейронной селекции, 790

нейронных сетей, 437; 786

нечетких множеств, 344

обоснования Демпстера-Шафера, 350

обучения Хебба, 462

Пирса, 230

поиска в пространстве состояний, 108

полупорядка, 406

предикатов, 687

первого порядка, 521; 606; 612; 671

приближенно корректного с высокой

вероятностью РАС-обучения, 404

рекурсивных функций, 607; 685

речи, 39

семантического предпочтения, 599

семейного сходства, 420

сетей связей, 437

ссылок, 55

структурного отображения, 413

схематического упреждения, 230

фактора уверенности, 342

формальных языков, 514

Терм, 79

составной, 727

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

861

Терминал, 142; 567

Терминальный элемент дерева разбора, 580

Тест

применимости, 526

Тьюринга, 36

Тип данных, 247

встроенный, 705

определение, 761

универсальный, 249

Топология сети, 438

Точечная пара, 723

Т-пространство, 303

Трансформационная аналогия, 303

Трансформация сверху вниз, 568

Третий закон Кеплера, 504

Треугольная таблица, 312

Триангуляция, 363

Триграмма, 588

грамматическая, 591

Тьюринг, 36

Универсальная машина Тьюринга, 509

Универсальное инстанцирование, 91

Универсальный тип, 249

Уникальность имен, 337

Унификация, 93; 94; 139; 530; 642; 644; 687; 701

Упорядоченное скрещивание, 490

Уровень активации нейрона, 438; 445

Ускорение обучения, 411

Условная

вероятность, 356

оценка, 694

Ф

Факт, 548; 612

Фактор, 536

ветвления, 121

пространства, 178

достоверности, 740

момента, 448

уверенности, 164; 326; 342

Факторизация выражений, 536

Феноменология, 39

Физиологическая модель, 481

Физическая символьная система, 52; 782

Фильтр, 711; 729

Фильтрация, 436

шума, 407

Фонема, 452

Фонология, 564

Форма, 687; 689

if, 693

Формальная система, 755

Формирование категорий, 373

Формула, атомарная, 80

Фразовая структура грамматики, 568

Фрейм, 241; 576; 639; 659; 685; 70S

падежный, 581; 671

Функциональная грамматика, 598

Функциональное

выражение, 79

магнитно-резонансное сканирование, 793

программирование, 607; 685

Функция

defun, 691

eval, 690

let, 703

list, 688

quote, 659

set, 701

serf, 695

вознаграждения, 426

высшего порядка, 711

дискриминантная, 442

доступа к компонентам списка, 696

отображения, 713; 729

полиморфная, 750

построения списков, 697

предикат, 692

принадлежности, 345

рекурсивная, 655

родовая, 750; 753

стоимости, 426

унификации, 721

фильтр, 711

ценности, 427

энергии, 437

сети, 472

Хвостовая рекурсия, 695

Хебб, 460

Хеммингов вектор, 468

Хорновская дизъюнктивная форма, 612

Хорновский дизъюнкт, 612

Хорновское выражение, 403; 521; 547; 727

Хронологический возврат к предыдущему

состоянию, 331

Хэш-таблица, 705

ц

Целевое условие, 112

Цикл, 693

чтения-оценки-печати, 687

Числовая таксономия, 417

862

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

ш

Шаблон, 58; 711; 718

предложений, 584

условий, 498

Шаговый множитель, 427

Эволюционная модель обучения, 437

Эволюционное

обучение, 372

программирование, 509

Эвристика, 43; 69; 149; 301; 784

допустимая, 164

Эвристический поиск, 153; 163; 181; 376

Эдинбургский синтаксис, 607

Эквивалентность, 74

Экспертная система, 37; 45; 273; 520; 526

MYCIN, 292

общие задачи, 274

основанная на правилах, 282

основные модули, 275

подсистема объяснений, 275

Эмерджентная модель, 570; 484

Эмерджентное

поведение, 485

решение задач, 221

Эмерджентность, 258

Эмерджентные вычисления, 512

Эмпирическая дилемма, 370

Эффект горизонта, 174

Я

Ядерный магнитный резонанс, 793

Ядро, 315; 555

Язык

C++, 608; 750

Common LISP, 608; 685; 690; 697

встроенные типы данных, 705

встроенные функции, 690

глобальные переменные, 715

основные свойства, 706

C-PROLOG, 610

FORTRAN, 678

Goedel, 680

Java, 750

KL-ONE, 268

KRL,268

Lambda-PROLOG, 680

LISP, 396; 416; 501; 607; 685

LOGO, 278

Mercury, 680

OPS, 200

Pascal, 641; 705

PROLOG, 186; 383; 528; 606; 706

Scheme, 803

Smalltalk, 608

SQL, 593

SWM* 335

естественный, 519; 561

инфиксной арифметики, 726

контекстно-зависимый, 574

контекстно-независимый, 574

представления, 783

процедурный, 678

регулярный, 574

рекурсивно-перечислимый, 574

Фреге, 34

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

863

Научно-популярное издание

Джордж Ф. Люгер