Лорьер Ж.-Л. - Системы искусственного интеллекта :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/78647
Дата изменения: Unknown
Дата индексирования: Mon Apr 11 13:00:19 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Поиск по указателям

Лорьер Ж.-Л. - Системы искусственного интеллекта

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Системы искусственного интеллекта

Автор: Лорьер Ж.-Л.

Аннотация:

Книга известного французского специалиста посвящена вопросам проектирования и применения систем искусственного интеллекта, при построении которых используются такие современные инструментальные средства, как языки Лисп, Пролог и оболочки экспертных систем. В качестве применения рассмотрена область принятия решений.
Для специалистов в области искусственного интеллекта и студентов старших курсов соответствующих специальностей вузов.

Язык:

Рубрика: Computer science/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1991

Количество страниц: 571

Добавлена в каталог: 04.12.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

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

"Кругосветное путешествие" Гамильтона      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
Алгоритм $А^\ast$       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

О проекте