Нильсон Н. — Искусственный интеллект. Методы поиска решений :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Нильсон Н. — Искусственный интеллект. Методы поиска решений

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

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

Название: Искусственный интеллект. Методы поиска решений

Автор: Нильсон Н.

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

Адельсон-Вельский, Г.М.      170
Аксиома      207
Алгоритм динамического программирования      89
Алгоритм допустимый      70 148
Алгоритм недетерминированный      48
Алгоритм пропозициональная      173
Алгоритм унификации      195
Алгоритм упорядоченного перебора      144
Аллен      250
Алфавитный вариант      194
Альфа-бета процедура      157 163
Альфа-отсечение      163
Амарель      22 48 49 51 90 168
Андерсон      249
Атом      186 194
Атомная формула      174
Бар Хилел      232
Беллман      89
Беллмор      23 49
Бенерджи      22
Берж      48
Бернштейн      169
Бесконечное m-арное дерево      81
Бета-отсечение      163
Бледсоу      249
Блэк      22 233
Бобров      232
Болл      24
Бомерт      89
Буква константная      173
Букхэнан      23
Бурский      125 127 168
Вайссман      220
Вершина      31
Вершина вывода      191
Вершина достижимая      32
Вершина дочерняя      31 99
Вершина заключительная      99
Вершина закрытая      70
Вершина концевая      142 238
Вершина корневая      132 238
Вершина начальная      32 52 99
Вершина неблагоприятная      189
Вершина незакрытая      70
Вершина неразрешимая      100 129
Вершина открытая      70
Вершина разрешимая      129
Вершина родительская      31 99
Вершина «ИЛИ»      98
Вершина «И»      99
Вос      203 234 249 250
Вуд      22 89
Гарвей      250
Гард      234
Гарднер      24
Гелернтер      114 126
Глубина вершины      59 63 134 138
Глубина граничная      59
Глубина опровержения      199
Глубина подынтегрального выражения      167
Глубинное отношение      89
Голомб      89
Грамматика      39
Граф      31
Граф доказательства на основе резольвенций      238
Граф направленный      31
Граф перебора      130
Граф «И/ИЛИ»      95 98
Грин      232 233 250
Гринблатт      170
Грис      49
Гуд      168
де Руссо      49
Дерево      53 63
Дерево замкнутое      189
Дерево игры      123
Дерево оптимальное      141
Дерево перебора      55 132
Дерево пропозициональное      125
Дерево решения потенциальное      143
Дерево семантическое      187
Дерево «И/ИЛИ»      125
Дизъюнкция      178
Дийкстра      88
Диксон      89 166—170
Доказательство      180
Доран      88 89
Дрейфус, С.      89
Дрейфус, Х.      19 170
Дуга      31 99
Дуга невозвратная      50
Дьюденей      24
Дэвис      203
Задача о восьми ферзях      50 103
Задача о коммивояжере      23 37
Задача о кувшинах      50
Задача о миссионерах и людоедах      90
Задача о перевернутом маятнике      43
Задача о пирамидке      91
Задача о скользящих прямоугольниках      90
Задача об обезьяне и бананах      45 118 225
Задача получения ответа на вопросы      232
Задача распределения      41
Задача символического интегрирования      105
Задача синтаксического анализа      39
Задача управления      43
Зобрист      170
Игра в восемь      30
Игра в пятнадцать      13
Игра гоу      170
Игра Гранди      123
Игра калах      166 170
Игра Кьюбик      171
Игра тик-так-ту      155 158—160
Игра шахматы      169
Игра шашки      170
Игра «последний проигрывает»      128
Игры      122
Иейтс      221 243 249 250
Индивидуальные переменные      177
Интерпретация      175
Исчисление предикатов      172
Йелинек      23
Квантор всеобщности      178
Квантор существования      179
Квинлан      48
Келли      19
Киберц      249
Кистер      169
Классическая логика      202
Клинг      250
Клоуз      49
Ковальский      203 237 248 250
Контроль внимания      168
Конфигурация начальная      13
Конфигурация целевая      13
Конъюнкция      177
Корень дерева      53
Коток      170
Коулс      232
Кэмпбелл      21
Лавленд      243 249
Лакхэм      9 196 204 216 233 249 250
Левин      169
Ледерберг      23
Ли      233
Лин Шеен      22
Литерал      184
Логическое следование      180
Лоза      238

Лолер      22 89
Лондон      233
Маккаллок      20
Маккарти      22 49 51 91 169 170 203 233 234
Макрооператоры      45
Манна      48 125 233
Мансон      233
Матрица      183
Мельцер      249
Мендельсон      202
Метод ветвей и границ      22
Метод перебора в глубину      59 63 131
Метод полного перебора      53 62 131 132
Метод проб и ошибок      7 16
Метод равных цен      57 62
Метод таблиц истинности      176
Минский      13 20 23 49
Мичи      23 88 89
Множество рассогласования      195
Множество унификации      209
Множество унифицируемое      194
Множество целевое      32
Модель      111 175 189 244
Мозес      126 127
Монтанари      23
Мур      89
Невыполнимость (неудовлетворимость)      181
Немхозер      23 49
Неразрешимость      180
Нильсон      6 89 168 216 233
Новиков, П.С.      202
Нормальная форма конъюнктивная      184
Нормальная форма предваренная      183
Ньюэлл      21 22 24 25 48 49 125 126 168 169
Обращенная величина      154
Обращенная величина предварительная      161
Общезначимость      179
Означивание      186
Оператор      14
Оператор ключевой      116
Оператор наследования      32
Оператор недетерминированный      33
Оператор построения дочерних вершин      101
Оператор префиксный      27
Оператор присваивания      33
Оператор присваивания ВСЕ      101
Оператор присваивания ВЫБОР      34 101
Оператор сведения задачи к подзадачам      96
Описание дочернее (результирующее)      96
Оре      48
Основные промежуточные состояния      115
Ответное утверждение      208
Отфильтровывание предшествующих вершин      239
Оценочная функция      64 65 139
Оценочная функция статическая      154
О’Бирн      127
Пейперт      19 20
Перебор в глубину      53
Перебор полный      53
Перебор слепой      53
Перебор упорядоченный      65
Перебор этапами      83
Персептрон      20
Питтс      20
Поддержка      243
Подзадача      16
Подслучай      237
Поиск (перебор)      15
Поиск в глубину      135
Пойа      21
Поль      89
Потомок      32
Правила переписывания      28 30
Правила прерывания перебора      161
Правильно построенная формула (п. п. формула)      172 174
Правиц      203
Предложение      39 181 184
Предложение базовое      238
Предложение выведенное      197
Предложение исходное      196
Предложение положительное      246
Предок      32
Предположение      207
Предположение о непротиворечивости      74
Префикс      183
Принцип резольвенций      172
Приписывание значения      175
Проблема системы отсчета      231
Программа Мэк Хак      170
Программа недетерминированная      34
Программирование с обратным слежением      89
Продукция      28
Прослеживание в обратном направлении      154
Пространство состояний      14
Пространство состояний высшего уровня      122
Процедура минимаксная      154
Процедура разметки разрешимых и неразрешимых вершин      130
Процесс опровержения      198
Путнам      203
Путь      32 140
Путь оптимальный      68
Различия      117
Разрешимость вершины      99
Разрешимость пары предложений      197
Раскрытие вершины      52 130
Рассел      170
Рафаэль      89 168 232 233 243 249 250
Ребро      31
Редукция задачи      16
Резольвента      192 197
Резольвенция      197
Резолюция      172
Решающая последовательность      52
Решающий граф      100
Решение задач      11
Ригни      125
Риш      126 127
Роббин      202 203
Робинсон, Г.      203 234 248 250
Робинсон, Дж.      196 203 204 248 249
Розенблатт      20
Рой      49
Росс      89
Саймон      21 25 125 168 169
Сведение задачи к подзадачам      91
Селфридж      19
Семантика      172 175
Сиберз      9
Симмонс      232
Синтаксис      172 173
Слейджл      22 23 89 107 108 125—127 166—170 232 249
Слияние      243
Соломонов      23
Состояние начальное      14
Состояние целевое      14
Состояния-вехи      96
Стоимость      140
Стоимость дуги      32
Стоимость максимальная      140
Стоимость оцененная      141
Стоимость пути      32
Стоимость суммарная      140
Стратегии комбинированные      247
Стратегия AF-формы      241
Стратегия модельная      246
Стратегия наименьшего числа компонент      247
Стратегия очищения      236 237
Стратегия поддерживающего множества      243
Стратегия предпочтения одночленам      247
Стратегия упорядочения      236 247

1 2

О проекте