Александр Поддьяков - Исследовательское поведение. Стратегии познания, помощь, противодействие, конфликт

Невозможен также универсальный инвариантный метод сравнения различных планов, направленных на достижение одной цели. Это следует из доказанной алгоритмической неразрешимости проблемы эквивалентности двух программ. Эта неразрешимость означает, что не существует общего, универсального метода определения того, всегда ли сравниваемые программы действий будут приводить к одинаковым результатам при одинаковых исходных данных (начальных условиях). Иначе говоря, если мы имеем две или более различных системы точных общепонятных предписаний по достижению одной и той же цели (например, представленные на конкурс), мы не имеем возможности сравнить их на основе какого-либо общего универсального метода. Если мы хотим их сравнить, то должны для этого искать, разрабатывать, изобретать те или иные конкретные методы, пригодные для данной области, подобласти или даже только для данной конкретной уникальной задачи.

Установление эквивалентности является основой измерения. Если нельзя установить эквивалентность выбранному стандарту (единице измерения), то измерение невозможно. Соответственно, не существует общего метода измерения того, насколько та или иная программа, план, схема действий «справляется» со своими функциями. Для такого измерения не может существовать стандарта, инварианта; здесь также необходимы конкретные методы.

Рассмотрим следующий за планированием этап – выполнение деятельности. На этом этапе нередко обнаруживаются какие-либо ошибки и сбои (например, вышеупомянутое сверхдлительное выполнение без признаков завершения). Различные ошибки всегда возможны, что объясняется, в том числе, невозможностью предварительного эффективного универсального планирования. Здесь возникают следующие вопросы. Возможен ли универсальный, инвариантный метод обнаружения ошибок и метод их исправления? Если речь идет об орудийной деятельности, возможен ли универсальный, инвариантный метод проверки орудий, технических устройств на предмет установления неисправностей и инвариантный метод их устранения?

Для реальных устройств справедливы вышеприведенные положения об ограничениях возможностей познания любых реальных систем. Объективное бесконечное разнообразие мира создает бесконечные возможности для возникновения таких типов неисправностей, которые не могут быть предсказаны, а в случае возникновения – не могут быть описаны и объяснены имеющимися моделями [Яних, 1996]. В реальную систему всегда возможно вторжение иносистемного. Оно принципиально, именно в силу своей иносистемности, не может быть описано на языке, предназначенном для описания исходной системы [Лотман, 1992].

Кроме этого, как показывает П. Яних [1996], имеются принципиально неразрешимые внутренние проблемы рассуждений при поиске ошибок, неисправностей, отказов и способов их устранения. Всякая неисправность является – по определению – отклонением от запланированной, желаемой и предвиденной функции. Неисправность есть отклонение от правила. Если же человек берется перечислить и описать возможные неисправности в какой-либо системе, объяснить их причины и дать предписания по их устранению, то тем самым он изменяет их квалификацию в модели системы. Он переводит их из разряда собственно неисправностей (неисправностей в истинном смысле слова) в другой разряд – разряд закономерных, хотя и нежелательных с определенной точки зрения, вариантов структуры и функционирования системы. Тем самым строится более широкая, общая, инвариантная модель системы. В ней все многообразие известных вариантов классифицируется в соответствии с установленными правилами, подразделяясь на варианты желательные (целевые) и нежелательные, с указанием правил появления каждого варианта (указанием генетически исходного отношения, детерминирующего его возникновение и развитие), а также с указанием возможности и правил перехода между целевыми и нецелевыми состояниями, и обратно. Здесь мы приходим к необходимости использования теоремы Геделя о неполноте, на которую П. Яних не ссылается, но которая вносит важный вклад в эти рассуждения. Никакой метод обнаружения неисправностей в той или иной системе не может содержать метода полной проверки своей собственной исправности. (Более общая модель, позволяющая выявлять неисправности, не описанные предшествующей моделью и в этом смысле являющиеся для этой предшествующей модели истинными неисправностями, не может содержать внутри себя алгоритма выявления своих собственных истинных неисправностей.) Требуется построение более общего метода и т. д. – до бесконечности. Таким образом, эффективный универсальный метод поиска и устранения ошибок и неисправностей не может быть построен.

Помимо этого формального обоснования, необходимо привести содержательные доводы в пользу невозможности такого универсального метода. П. Яних подчеркивает, что понятие ошибки, неисправности, отказа имеет смысл лишь относительно заданных целей и норм. Машины и алгоритмы строятся для строго определенных функциональных целей, или их вообще нельзя построить. Сами они «не способны ставить ни целей, ни норм, ни преследовать намерений – они функционируют» [там же, с. 30]. Вопрос о том, достигнута ли цель, соблюдена ли норма, ставится и решается в конечном счете только человеком. Но решение этого вопроса самим человеком «состоит не в достижении заданных значений в регулирующем контуре… в процессе решения будут придуманы иные интерпретации целей и средств, которые не могут ни выполняться, ни имитироваться автоматом…» [там же, с. 30]. Этот процесс нельзя подчинить каким-либо заранее сформулированным точным предписаниям. (Поэтому, как показывает П. Яних, принципиально невозможно заменить человека – например, на космической орбите – какими-либо техническими устройствами сколь угодно высокого уровня, предназначенными для устранения неисправностей. Принципиально невозможны сами эти устройства.)

А. Н. Кричевец строго доказал невозможность построения универсального «обучающегося» алгоритма, способного научиться распознавать произвольные образы или формировать понятия на основе анализа выборки объектов. «Надежды на то, что существует общий для всех задач естественный способ редукции данных, не сбылись. Новые проблемные области требуют во всех случаях не только профессионального отбора информативных признаков, в пространстве которых следует искать решение задачи, но нередко еще и совершенно новых методов решения» (Д. А. Поспелов, цит. по [Кричевец, 1998, с. 129]).

Итак, в рамках предложенной нами системы положений о решении комплексных задач мы можем сформулировать следующий вывод. В деятельностях со сложными динамическими системами не могут быть построены на универсальной инвариантной (неизменной) основе, в виде обобщенных и одновременно точных общепонятных предписаний следующие принципиально важные компоненты практической и познавательной деятельности человека: постановка целей; планирование; установление критериев достижения цели; оценка отклонения полученного результата от ранее выбранных критериев; выявление причин рассогласования и их устранение. В деятельностях со сложными динамическими системами таких инвариантов не существует. На универсальной инвариантной основе не может быть построено и обучение всем вышеназванным компонентам – ведь такое обучение требовало бы передачи учащимся инвариантных, универсальных и одновременно эффективных методов, которых в комплексных динамических ситуациях нет. Инварианты могут быть выделены лишь для отдельных областей или только подобластей – и чем сложнее область, тем больше в ней «дыр», которые не могут быть закрыты инвариантными методами. Их надо закрывать другими средствами.