Решатели интеллектуальных задач

Купить бумажную книгу и читать

Автор: Ефимов Е. И.

Название: Решатели интеллектуальных задач

Издательство: Наука

Год: 1982

Страниц: 320

Формат: DJVU

Размер: 8,8 МБ

Качество: Отличное, текстовой слой, 600дпи, цветные обложки

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

Во второй части изучаются различные методы автоматических доказательств и индуктивных выводов, в традициях математической логики и теории моделей строится и исследуется проблемно ориентированная теория решений — семиотическая система знаний решателя. Рассматриваются возможные стратегии поиска доказательств, интерпретируемых как решения соответствующих задач.

В третьей, заключительной части на примерах созданных отечественных и зарубежных решателей анализируются практические реализации системы знаний и поиска решений, а также системы обучения.