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