Intel_Nils, страница 54
Описание файла
DJVU-файл из архива "Intel_Nils", который расположен в категории "". Всё это находится в предмете "искусственный интеллект" из 10 семестр (2 семестр магистратуры), которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. Архив можно найти в разделе "книги и методические указания", в предмете "искусственный интеллект" в общих файлах.
Просмотр DJVU-файла онлайн
Распознанный текст из DJVU-файла, 54 - страница
126 Задачи . . . . , . . . . . . . . . . . . . . . 127 129 5.1, Процессы перебора (поиска) на графах типа «И/ИЛИ»,... 129 5.2. Метод полного перебора 132 5.3. Поиск в глубину......,............ 135 5.4. Перебор на графах типа «И/ИЛИ».......,... 137 5.5. Стоимости деревьев решения ............. 139 5.6.
Использование оценок стоимости для прямого перебора .. 141 5.7. Алгоритм упорядоченного перебора для деревьев типа «И/ИЛИ» 1И 5.8. Допустимость алгоритма упорядоченного поиска (перебора) .. 148 5.9. Выбор вершины в ть для очередного раскрытия....... 150 5ЛО. Модификации ...................
152 5.11, Минимаксная процедура при переборе на игровых деревьях .. 152 5.12. Альфа-бета процелура ......, ..., . 157 5.13. Эффективность перебора при альфа-бета процедуре .... 163 5.14. Комбинированные альфа. бета процедуры н процедуры упорядочения ..............,...... 164 5.15. Возможное, улучшение методов, основанных иа мивимаксе... 166 5.16. Библиографические н исторические замечании........ 167 Задачи . 170 172 Глава 4.
Представления, допускающие сведение задач к подзадачам Глава 5, Методы поиска при сведении задач к совокупности подзадач Глава б. Доказательство теорем в исчислении предикатов 6.1. Исчисление предикатов как язык для решения задач . 6.2. Синтаксис 6.3. Семантика 6.4. Переменные и кванторы, 6.5. Общезначимость и выполнимость . 6.6. Предложения 6.7. Универсум Эрбрана 6.8. Эрбрановская база 6.9. Построение семантического дерева .
6ЛО. Неблагоприятные вершины 6.11. Вершины вывода 6.12, Унификация 6.13. Резольвенты 6.14. Принцип резольвенции 6,15. Непротиворечивость и полнота резольвенции . 6.16. Библиографические н историчесние замечания . Задачи . 172 173 175 . 177 . 179 . 181 , 185 . 186 . 187 . 189 . 19! . 193 . 196 . 198 . 201 . 202 . ж)4 Оглавление 270 Глава 8. Методьс лоиска доказательства в исчислении аредикатов .
. . 236 8.1. Стратегии перебора . . . . . . . . . . . . . . . . . 236 8,2, Стратегии упрощения..., .. ' . 236 8.3. Стратегии очищения,,...,,....... '.. 237 8.4. Формы доказательства с отфильтровываннем предшествующих вершин . 238 8.5. Стратегия поддерживающего множества....,... 243 8.6. Более ограничительные стратегии........,... 243 8.7. Модельные стратегии..., ., 243 8.8. Ргопровержения .
246 8,9. Комбинированные стратегии.............. 247 8 10. Стратегии упорядочения.......,, . 247 8.11. Библиографические и исторические замечания...,... 248 Задачи 250 Список литературы Имейной указатель Предметный указатель . 252 . 263 265 Глава 7. Применения асчисления аредикатов к решению задач . . . . 205 7.!. Исчисление предикатов при решении задач . . . . . , .'205 7.2. Пример ......,...,...., .. 206 7.3. Процесс извлечения ответа . . . .
. . . . . , . 209 ' 7.4. Предположения, содержащие переменные, относящиеся к каантору всеобщности.......,.......... 214 75. Пример автоматического написания программы......, Й9 7,6, Использование исчисления прединатов при решении задач в про. странстве соотояний . . . , . . . . . . . . . . . . . 224 7.7. Одна формализация дяя решении задач в пространстве состояний 228 7,8, Библиографические и исторические замечания . . .
. , . . . 232 Задачи . . . . . . . , . . . . . . . . . . . . . '. . 234 УВАЖАЕМЫИ ЧИТАТЕЛЫ Ваша замечания о содержании книги, ее оформлении, качестве перевода н другие просим присылать по адресу: 129 820. Москва, И-110 ГСП 1-й Рижский пер., д. 2, Издательства «Мнр». Н. Нильсон ИСКУСОТВЕННЫИ ИНТЕЛЛЕКТ Редакторы А. С, Попав и Л. В. Штейнпресс Художник А.
И. Гольдман Хуложественный редактор В, И. Шаповалов Текническнй редактор Л. П. Внрюкова Корректор В. С. Соколов Сдано в набор 16/1 1973 г. Подписано к пе- чати 27ГК!!973 г. Бумага тип. № 3 бОх90'Ав 3,30 бум, л, !7 усл, печ. л., 16,93 уч.-иза. л. ИзД. № 176792. Иена 1 р. !7 н. Заиьз № 493 ИЗДАТЕЛЬСТВО «МИР» Москва, 1.й Рижский пер., 2 Ордена Трудового Красного Знамени Леиянграпская тйпаграфня № 2 имени Евгении Соколовой !Союзполиграфпрома при Государственном комитете Совета Министров СССР по делам издательств, полиграфии и книжной торговли г. Ленинграл, Л.32, Измайловский проспент, 29 .