|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Лорьер Ж.-Л. — Системы искусственного интеллекта |
|
|
|
| Предметный указатель |
"Кругосветное путешествие" Гамильтона 278
"Предикатные" сети Петри 425
"Сборщик мусора" 48
ALICE, доказательство оптимальности решения 483
ALICE, критерии выбора 461
ALICE, модуль «решения задачи 458
ALICE, представление задачи 468
ALICE, процедура выбора 478
ALICE, синтаксис языка 459
ALICE, словарь языка 456
ALICE, эффективность 498
GPS 298
n-арный оператор 41
Агенда 388 425
Аксиома спецификации 101
Алгоритм 10 115
Алгоритм  238 239
Алгоритм Крускаля 235
Алгоритм построения функции классификации вершин 194
Алгоритм решений 431
Алгоритм унификации 116 459 470
Алгоритм Хачияна 203
Альфа-бета-процедура 362
Базовая квадратная матрица 234
Базовые элементы 431
Вершина графа 77
Восприятие 336 338
Вторая теорема Геделя 106
Выбор правила с помощью оценки 386
Геделев номер 109
Глубина анализа 342
Градиентные методы 228
Графы 77
Графы переходов 56
Двухчастичный граф 469
Декларативный подход 419
Дерево допустимых ходов 311
Дерево планов 347
Дерево поиска 291
Дерево поиска И-ИЛИ 412
Детерминированная машина Тьюринга (ДНТ) 208
Диаграммы Венна 50
Динамическое программирование 261
Естественный язык 19
Заголовок списка 46
Задача 19
Задача в замкнутой форме 20
Задача Гамильтона 200
Задача о взвешивании 244 245
Задача о восьми ферзях 250
Задача о гамильтоновом цикле 278
Задача о коммивояжере 278
Задача о раскраске географической карты 267
Задача об "эйлеровом цикле" на графе 197
Задача об оптимальном гамильтоновом цикле 212
Задача разрешимости логического выражения 214
Зацикливание 129
Значимость переменной 481
Игра тик-так-ту 3
Императивные языки программирования 449
Индексация 417
Интерпретация 86
Информатика 9
Информационная система ALICE 449
Искусственный интеллект 10
Исчерпывающий перебор 385
Исчисление предикатов 101
Квантор всеобщности 101
Квантор существования 102
Клика 223 274
Комбинаторная задача 227
Концепт 437
Концепции 431
Коэффициент уверенности 370
Кратковременная память 377
Лемма Геделя 111
Линейное программирование 203 231
Линейные формы записи 42
Литерал 220
Логика высказываний 93
Машинное представление выражения 45
Мета-метатеорема 155
Метазнание 430 432 437
Метаправила 371
Метатеория 154
Метод "диагонали" Кантора 107
Метод Люка 228
Метод Марпля 409
Метод минимакса 320
Метод минимакса, алгоритм 325
Метод неявного перебора 245
Метод полного перебора 227
Метод потенциалов 196
Метод редукции 289
Метод резолюции 308
Метод Сиклоши и Маринова 140
Метод слепого перебора 499
Модели правил 377
Моделирование 38
Модульность 435
Невязка 231
Недетерминированная машина Тьюринга (НДТМ) 208 214 215
Недетерминированные алгоритмы 208
Недетерминированные полиномиальные задачи 208
Недетерминированный полиномиальный алгоритм 210
Нелинейные формы записи 44
Необязательные правила вывода 145
Нормализация 130
Обучающиеся системы 397—400
Общее максимальное обобщение 543
Общий алгоритм неявного перебора 249
Обязательные правила вывода 146
Опасный тсод 355
Оперативная память 335
Операторы 79
Отношение сводимости 218
Отношения 431
Отрыв точки 480
Оценивание позиции 318
Парадокс Ришара 108
Парадокс Эвбулида 106
Параметризация 417
| Первая теорема Геделя 103
План решения 396
Подстановка 48 83
Полиномиальные алгоритмы 206
Политоп 234
Полиэдр 234
Полное дерево ходов 316
Полный подграф 274
Пошлина 285
Правила перезаписи 431
Правила продукций 82
Правило модус поненс 93
Предметная переменная 101
Представление знаний 19 49
Пренексная форма 165
Префиксная форма записи 42
Принцип математической индукции 104
Принцип резолюции 161 402
Принцип рекуррентности 120
Программа BAOBAB 366
Программа Bepe 539
Программа Dendral 17
Программа Mycin 364
Программа ROBIN 346
Программа Питра 154 530
Программа Сэмюэля 517
Программа Уинстона 536
Программа Уотермана 388 529
Продукции 82
Продукционная база знаний 366
Продукционные правила 438 422
Продукционные системы 383
Продукционные системы, эффективность 387
Процедура PARI 149
Процедура PERM 506
Процедура PRET 144
Процедура запрета 130
Процедура отсечения 326
Процедура решения 85
Процедура усвоения знаний 516
Различные типы знаний 430
Различные типы обучения 518—523
Разрешимость вычисления высказываний 98
Распознавание образов 11
Резольвента 164
Рекурсивная форма 181
Родительские предложения 164
Связанность графа 197
Связки 79
Семантические сети 434
Сети Петри 428
Симплекс-метод 203 233
Синтаксис языка ALICE 456
Система CAMELIA 396
Система DENDRAL 366 387
Система GUIDON 391
Система MECHO 405
Система Meta-Dendral 366 388
Система METALOG 411
Система MYCIN-TEIRESIAS 365
Система ONOCIN 391
Система PEACE 403
Система POLITICS 427
Система PROLOG 400
Система PROSPECTOR 425
Система SNARK 414
Система STRIPS 523
Система SU/X 392
Система TEIRESIAS 366 373
Системы общего назначения 395
Скрипт 439
Словарь языка ALICE 456
Сложность задачи 205
Сложность процедуры 205
Списковая структура 46
Степень вершины 271
Стратегии 432
Стратегия первого уровня 315
Структура управления 385
Суффиксная форма записи 44
Таблицы сигнатур 522
Теорема 82 431
Теорема Аппеля и Хакена 273
Теорема Кука 214
Теорема оптимальности 217
Теорема Поста 98
Теорема резолюции 163
Теорема Тарского 114
Теорема Черча 114
Теорема Эрбрана 161
Теоремы ограничения 114
Теория чисел 103
Тесты Каттелли 137
Трудность ограничения 480
Угрозы 513
Указатель 46
Унификация 328
Управление с помощью метаправил 396
Формальная арифметика 103
Формальная система 81
Формальная система первого порядка 102
Формальное доказательство 82
Формула Бине 181
Фрейм 387 433
Функция Грунди 476
Функция дохода 231
Функция оценивания 519
Цикл 192
Цикл Гамильтона 212
Цикл Эйлера 197
Эвристика 432
Эвристический поиск 236
Эквивалентные задачи 213
Экспертные правила 40
Экспертные системы 363 400
Экспертные системы, производительность 424
Экспертные системы, управляющие структуры 421
Экстенсивные правила 140
Элементарные единицы информации 337
Эффект горизонта 332
Язык SNARK 413
Язык Лисп 59
Язык Пролог 401
|
|
|
| Реклама |
|
|
|
|
|
О проекте