Евгений Ефимов Решатели интеллектуальных задач ..Книга посвящена рассмотрению элементов теории интеллектуальных решателей и ее практических приложений....(653)(л)

Год выпуска 1982
Сохранность Хорошая
Автор Евгений Ефимов
Формат издания 145х215 мм (средний формат)
Количество страниц 316
Тираж 7000
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Проблемы искусственного интеллекта
Переплет Твердый переплет
Тип издания Отдельное издание
Вес в упаковке, г 435
Книга посвящена рассмотрению элементов теории интеллектуальных решателей и ее практических приложений. Книга состоит из трех частей. В первой части дается концептуальное описание интеллектуального решателя. В связи с этим предлагается семиотическая модель мыслительной деятельности человека, решающего задачи, вводится определение мира задач как иерархического пространства одноуровневых задач различного уровня общности. Во второй части изучаются различные методы автоматических доказательств и индуктивных выводов, в традициях математической логики и теории моделей строится и исследуется проблемно ориентированная теория решений - семиотическая система знаний решателя. Рассматриваются возможные стратегии поиска доказательств, интерпретируемых как решения соответствующих задач.
В третьей, заключительной части на примерах созданных отечественных и зарубежных решателей анализируются практические реализации системы знаний и поиска решений, а также системы обучения.