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

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