Ефимов Е.И.

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

Автор Ефимов Е.И.
Издательство Наука
Год 1982
Формат DJVU
Рейтинг книги
0.00
(оценок < 5)
0 10

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

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



X