Зарегистрироваться
Восстановить пароль
FAQ по входу

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

  • Добавлен пользователем , дата добавления неизвестна
  • Отредактирован
Нильсон Н. Искусственный интеллект. Методы поиска решений
М.: Мир, 1973. — 273 с.
Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, - главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач - игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др.
Для чтения книги требуются небольшие познания по теории графов, комбинаторике и исчислению предикатов.
Доступность изложения и тщательно подобранные задачи различной трудности делают книгу полезной студентам и аспирантам, специализирующимся по искусственному интеллекту. Она будет интересна и специалисту как обстоятельный обзор большого числа современных работ, рассеянных по журналам, трудам конференций и отчетам.
Содержание:
Введение
Представление задач в пространстве состояний
Методы поиска в пространстве состояний
Представления, допускающие сведение задач к подзадачам
Методы поиска при сведении задач к совокупности подзадач
Доказательство теорем в исчислении предикатов
Применения исчисления предикатов к решению задач
Методы поиска доказательства в исчислении предикатов
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация