Особенность эвристических программ состоит, как известно, в стремлении приблизить слепой «систематический» машинный 157 поиск решения к более экономному и эффективному способу человека. Новый тип программ, по мысли его авторов, должен опираться на ту особенность поиска человека, которая называется догадкой, делающей поиск зрячим, опрокидывающей необходимость исчерпывающего перебора вариантов. Термин «догадка» не имеет определенного научного значения. В эвристических программах «догадки» представлены комплексами формализованных «эвристических» правил (способов, приемов, методов, эвристик), выведенных на основе анализа решения проблем человеком. Примером таких догадок могут служить, конечно, не только те, которые использовались для составления машинных программ (например, эвристики, взятые из теории и практики шахматной игры и позволяющие резко сокращать число подлежащих рассмотрению ходов в каждой позиции при составлении программ для игры в шахматы (см., например, Ньюэлл, Шоу, Саймон, 1967), но и те, совокупность которых предлагается в качестве общей методики решения математических задач Пойей (1959), и те, к которым прибегают авторы методик решения изобретательских задач (см., например. Альтшуллер, 1961, 1956). Каждое из таких правил при составлении программ для электронных вычислительных машин строго формализуется; внутри сферы действия каждого из них тип и последовательность операций жестко соответствуют принципам строгой дедукции; однако в связях между правилами нет аналогичной жесткости; комплекс таких правил не тождествен алгоритму в его строгом понимании (см., например, Ланда, 1967). Отсутствие жестких связей внутри комплекса опирающихся на догадки правил (эвристик) приводит к тому, что эвристический поиск не гарантирует, подобно систематическому, успеха, но существенно расширяет класс задач, решения которых могут быть переданы компьютерам. Против утверждения о том, что кибернетические модели, основанные на эвристическом программировании, отображают некоторые стороны интеллектуальной деятельности человека, нельзя выдвинуть принципиальных возражений. Такая их характеристика бесспорна. Полемике подлежит группа других, тесно взаимосвязанных между собой вопросов: 1) действительно ли посредством эвристических программ моделируются решения именно творческих задач, может ли эвристическое программирование претендовать на разработку теории творческого мышления по данному основанию; 2) какие именно стороны человеческой деятельности отображаются средствами эвристического программирования: та ли сторона, которая подчиняется логическим законам, или интимно-психологическая сторона, или же их комплекс; 3) в каком отношении находится эвристическое программирование к двум противоположным тенденциям в под- — 149 —
|