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

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