Решатели интеллектуальных задач
Е.И. Ефимов
Книга посвящена рассмотрению элементов теории интеллектуальныхрешателей и ее практических приложений. Книга состоит из трех частей. В первой части дается концептуальное описание интеллектуальногорешателя. В связи с этим предлагается семиотическая модель мыслительной Деятельности человека, решающего задачи, вводится определение миразадач как иерархического пространства одноуровневых задач различного уровня общности. Во второй части изучаются различные методы автоматическихдоказательств и индуктивных выводов, в традициях математической логики итеории моделей строится и исследуется проблемно ориентированная теория решений — семиотическая система знаний решателя. Рассматриваютсявозможные стратегии поиска доказательств, интерпретируемых как решения соответствующих задач. В третьей, заключительной части на примерах созданныхотечественных и зарубежных решателей анализируются практические реализациисистемы знаний и поиска решений, а также системы обучения.
Kategorije:
Godina:
1982
Izdavač:
Наука
Jezik:
russian
Strane:
320
Fajl:
DJVU, 8.50 MB
IPFS:
,
russian, 1982