Текст книги "Моделирование рассуждений. Опыт анализа мыслительных актов"

Автор книги: Дмитрий Поспелов

сообщить о нарушении

Текущая страница: 7 (всего у книги 14 страниц)

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

Мы продемонстрировали весьма важное положение, связанное с процессом индуктивного обобщения. Если h и h’ классифицируют множества положительных и отрицательных примеров, так что h=h’, то появление новых примеров не ставит систему в тупик. Она всегда куда-то отнесет новый случай, т. е, при выполнении указанного равенства система обладает полнотой классификации. Конечно, может оказаться, что эта классификация не является правильной. Ведь она построена по неполному множеству представителей положительного и отрицательного классов.

Пусть, например, мы снова имеем классификацию, которая соответствует ситуациям, показанным на рис. 21. Но контрольный пример поступает в систему с указанием, что он относится к группе отрицательных примеров. А система в соответствии с ранее построенной классификацией относит его к положительному классу. В таком случае необходимо внести коррективы в классификацию, полученную ранее, выработать новую классификацию с учетом нового множества отрицательных примеров.

Вывод из этого только один. Поскольку множества положительных и отрицательных примеров не охватывают всех возможных случаев, то h и h’, построенные по методам Милля, даже в тех случаях, когда h=h’ не могут быть абсолютно точными. Эти утверждения могут быть приняты лишь с некоторой оценкой истинности Q(h) (соответственно Q(h’)). Но прежде чем описать, как эти оценки вычисляются, рассмотрим еще один метод правдоподобных рассуждений.

Рассуждения по аналогии

Начнем с задачи. Посмотрим на первую строку, показанную на рис. 23. В этой строке представлено преобразование F, с помощью которого пара слов, стоящая слева от стрелки, преобразуется в слово, стоящее от нее справа. Можно ли угадать, во что превратится пара слов, стоящих во второй строке на этом рисунке, если считать, что преобразование F’ максимально похоже на преобразование F? Для ответа на этот вопрос надо сначала понять, какова суть F. После недолгого размышления можно прийти к выводу, что слово, получаемое в результате преобразования, устроено следующим образом: первая его половина совпадает с первой половиной первого слова в исходной паре, а вторая его половина получается из первой половины второго слова в исходной паре, если в ней сделать перестановку букв. Если мы верим, что F именно таково (еще раз обратим внимание на этот постулат веры), то можно попытаться придать F’ тот же смысл. Тогда вместо знака вопроса в правой части второй строки можно написать результат преобразования. Им будет слово «плен». Если считать, что F’’ – преобразование, аналогичное F и F’, то вполне законным будет получение правой части по паре левых и в третьей строке на этом рисунке.

Рис. 23.

Какой смысл мы вложили в слово «аналогичное», когда говорили о преобразованиях? По крайней мере, двоякий. Во-первых, мы предположили, что элементы, из которых состоят слова и рисунки, как-то соответствуют друг другу. Например, елочки и фигурки из третьей строки ассоциируются у нас с буквами, из которых состоят слова, а буквы важны не сами по себе, а по тому месту, которое они занимают в словах. Во-вторых, мы предполагаем, что сохраняется суть преобразования, хотя элементы, с которыми преобразование оперирует, могут быть другими.

Эти соображения помогают уловить расплывчатый смысл, вкладываемый людьми в понятие аналогии. На рис. 24 показано три преобразования для треугольника Т. Преобразование можно назвать обобщением. При переходе от треугольника к многоугольнику наследуются только те геометрические свойства, которые верны для любых многоугольников. Сам треугольник по отношению к множеству многоугольников представляет некоторую конкретизацию. На рис. 24 преобразованием конкретизации служит , переводящее произвольный треугольник в его частный вид – прямоугольный треугольник. А вот преобразование можно назвать преобразованием по аналогии. Треугольная пирамида сохраняет многие свойства треугольника, но является не плоской, а объемной фигурой.

Рис. 24.

Первая попытка формализовать понятие рассуждения по аналогии была предпринята Лейбницем. В своем сочинении «Фрагменты логики» он ввел понятие пропорции для отношения аналогии. Пропорция Лейбница формулируется следующим образом: «Вещь А так относится к вещи В, как вещь А’ к вещи В’». Обычно пропорцию Лейбница представляют в виде диаграммы:

Для иллюстрации того, как может быть использована диаграмма Лейбница, рассмотрим семантическое пространство Осгуда. Это пространство, которое американский психолог Чарльз Осгуд строил экспериментально, проводя опыты с людьми, должно было, по его мнению, характеризовать организацию размещения информации в памяти человека. Мы не будем здесь останавливаться на способе его построения. В комментарии к данному разделу имеется некоторая информация по этому вопросу, а в библиографии заинтересовавшиеся читатели могут найти нужные работы. Скажем только, что упрощенное пространство Осгуда является обычным трехмерным евклидовым пространством. Близость по метрике этого пространства характеризует семантическую близость понятий, фактов и утверждений, а рассуждения, проведенные в пространстве относительно группы элементов, могут проецироваться по аналогии на группы, состоящие из семантически близких элементов.

Проиллюстрируем эту мысль, взяв «кусок» пространства Осгуда, относящийся к понятиям, используемым для указания родства. То, что они в семантическом пространстве расположены компактно, было доказано экспериментально. Этот «кусок» пространства Осгуда показан на рис. 25. Для удобства введена система координат и сделано такое преобразование, чтобы все точки, соответствующие интересующим нас понятиям, оказались лежащими в вершинах единичного куба (правомочность такого преобразования в пространстве Осгуда мы тут не обсуждаем).

Рис. 25.

Пусть даны три элемента пропорции Лейбница А, А’ и В. И необходимо узнать элемент В’. Для рассматриваемого примера примем следующий способ нахождения координат понятия В’: b’_i=b_i+а’_i–а_i где i=1,2,3. Пусть, например, нас интересует пропорция Сын:Дочь=Дядя:? Для определения неизвестного члена пропорции произведем необходимые вычисления, используя координаты понятий, отмеченные на рис. 25. Получим b’₁=0+1–0=1; b’₂=1+0–0=1; b’₃=0+1–0=1. Таким образом, понятие В’ имеет координаты (1,1,1). Этим координатам соответствует понятие «Тетя».

Для дальнейшего необходимо уточнить понятия «похожесть» и «аналогия», использованные в диаграмме для пропорции Лейбница, и придать им по возможности строгий смысл. Сделать это можно следующим образом. Выберем некоторый алгебраический язык для описания A и В, который обозначим ₁ и некоторый (вообще говоря, другой) алгебраический язык для описания А’ и В’, который обозначим ₂. Переход от A к В и от A’ к B’ будем интерпретировать как преобразование соответствующих описаний в языках ₁ и ₂. Поскольку выбранные языки являются алгебраическими, то в них выделены элементы и операции, определённые над этими элементами. Учитывая дальнейший пример, будем считать, что в качестве элементов языков ₁ и ₂ выступают некоторые изображения или их совокупности, связанные отношениями из заданного набора двуместных отношений. А операции состоят в том, что над элементами можно совершать различные геометрические преобразования, определяемые их движениями. Это приводит к изменению отношений между элементами, входящими в анализируемые совокупности.

Чтобы все сказанное стало понятнее, рассмотрим конкретный пример. На рис. 26 показана серия изображений, соответствующая пропорции Лейбница, в которой, как всегда, надо восстановить недостающее звено, т.е. осуществить (если это возможно) вывод по аналогии. Для описания изображений введем языки ₁ и ₂. В языке ₁ в качестве элементов возьмем изображение солнца s, и человечка m. В качестве отношений будем рассматривать отношения R₁ – «быть слева вверху» и R₂ – «быть справа вверху». Тогда ситуация А может быть описана как sR₁m. В качестве операций в ₁ будем использовать перестановку объектов относительно друг друга O₁ и вращение на 180° по часовой стрелке O₂. Тогда преобразование F можно описать как O₁(s,m); O₂(m). В результате этого возникает ситуация B, описание которой в языке ₁ выглядит как sR₂(O₂(m)).

Рис. 26.

Введем теперь элементы языка ₂. Это луна l и фантастическое животное q. В качестве отношений, используемых в ₂, возьмем снова отношения R₁ и R₂, а в качестве операций ₂ сохраним операции O₁ и O₂ языка ₁. Описание А’ выглядит следующим образом: lR₁q. Для получения описания В’ установим между А и А’ отношение взаимно однозначного соответствия H, например, так, что имеют место взаимно однозначные соответствия sl и mq. Тогда sR₁mlR₁q и АА’. Преобразование F’ в наших предположениях совпадает с F. Значит, В и В’ должны находиться также во взаимно однозначном соответствии. Но В есть sR₂(O₂(m)). Учитывая соответствие между элементами ₁ и ₂, выводим описание для В’:lR₂(O₂(q)).

Рассмотренная процедура носит общий характер. Можно строго доказать, что если в пропорции Лейбница А, А’ и В описаны с помощью алгебраического языка, использующего лишь двуместные отношения, задан характер преобразований F и установлено взаимно однозначное соответствие между ₁ и ₂, то описание В’ также возможно на языке ₂ и существуют взаимно однозначные соответствия FF’ и ВВ’, так что, применяя к А преобразование F и к А’ преобразование F’, получаем В и В’, такие, что ВВ’.

Заметим, что из этого утверждения вытекает, что необходимым условием для возможности рассуждений по аналогии с использованием пропорции Лейбница служит требование коммутативности ее диаграммы. Требование коммутативности диаграммы означает, что описание В’, полученное из A с помощью F и взаимно однозначного соответствия H’, ничем не отличается от описания В’, полученного из A с помощью взаимно однозначного соответствия H и последующего применения к этому результату преобразования F’. С требованием коммутативности диаграмм мы еще столкнемся в последующих разделах этой главы.

Несмотря на все сказанное, полное описание модели рассуждений по аналогии всё еще не получено, так как пропорция Лейбница явно не исчерпывает всех случаев рассуждений подобного типа. Да и в случае, когда мы имеем дело действительно с пропорцией Лейбница, остаются нерешенными по крайней мере два вопроса: как построить языки ₁ и ₂ и как установить взаимно однозначное соответствие между ними. Возможные в этом случае трудности иллюстрирует рис. 27. На этом рисунке показаны ситуации А и А’. Ситуация А может быть описана следующим текстом: «Ромео любит Джульетту. Джульетта любит Ромео (на рис. 27 это отношение R₁). Ромео мужчина (R₂). Он итальянец (R₃). Джульетта женщина (R₄). Она красива (R₅). Она не замужем (R₆)». Ситуация А’ может быть описана следующим текстом: «Тристан любит Изольду. Изольда любит Тристана (R₁). Тристан мужчина (R₂). Он бретонец (R*₂). Изольда женщина (R₄). Она красива (R₅). Она замужем (R*₆). Ее муж – король Марк (R₇)».

Рис. 27.

Готовы ли мы признать описанные две ситуации аналогичными? И должен ли Тристан действовать так же, как Ромео? Из соответствующих литературных произведений мы знаем, что развитие ситуации А было таково, что оно привело к совместной смерти Ромео и Джульетты. А Тристан и Изольда имели другую судьбу. Почему это произошло? И можно было бы это формально установить в процессе сравнения ситуаций А и А’? Ведь во второй ситуации имелся король Марк, а различное число отношений заведомо не позволяло установить взаимно однозначное отношение между их описаниями. Но может быть вместо изоморфизма (т.е. взаимно однозначного отношения) для ₁ и ₂ достаточно какого-нибудь гомоморфизма?

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

ДСМ-метод

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

Введем три множества: причин А={а₁,а₂,…,а_p}, следствий B={b₁,b₂,…,b_m} и оценок Q={q₁,q₂,…,q_l}. Выражение вида а_ib_j; q_k будем называть положительной гипотезой. Оно связано с утверждением типа «а_i является причиной b_j, с оценкой достоверности q_k». Выражение вида а_ib_j;q_k будем называть отрицательной гипотезой. Оно связано с утверждением типа «а_i не является причиной b_j, с оценкой достоверности q_k». Для сокращения записи положительные гипотезы будем обозначать h_i⁺_jk, а отрицательные – h_i^–_jk. Среди значений q_i выделим два специальных, которые можно обозначить 0 и 1. Значение 0, приписанное положительной или отрицательной гипотезе, означает, что соответствующее утверждение является ложным. Приписывание гипотезам значения 1 означает, что данная гипотеза является тождественно истинной. Таким образом, гипотезы с оценками 0 и 1 можно рассматривать как высказывания, ложность и истинность которых твердо установлены. Все остальные оценки, отличные от 0 и 1, будем обозначать рациональными числами вида s/n, где s пробегает значения от 1 до n–1. Величина n характеризует «дробность» используемых оценок достоверности. Чем больше n, тем с большей точностью оценивается степень достоверности гипотез.

Пусть мы вдруг оказались в стране, где до этого нам не приходилось бывать. Выйдя из гостиницы, мы увидели, что у подъезда стоит такси, выкрашенное в ярко-желтый цвет. Через некоторое время рядом останавливается еще одно такси такого же цвета. В нашей голове возникает положительная гипотеза вида «В этой стране, если автомобиль выполняет роль такси, то цвет его будет желтым». Оценка достоверности этой гипотезы при двух наблюдениях будет невелика. Но если во время прогулки по улицам города мы увидим, что такси окрашены в тот же желтый цвет, то оценка выдвинутой при выходе из гостиницы гипотезы будет все время возрастать. Станет ли она когда-нибудь равной единице? Если после недельного пребывания в стране наша гипотеза будет подтверждаться лишь положительными примерами, то на родине, рассказывая знакомым и друзьям о своих впечатлениях, связанных с поездкой, мы вполне можем заявить: «А такси у них покрашены в ярко-желтый цвет, что очень удобно – сразу можно найти его, когда нужно». Значит ли это, что гипотеза о цвете такси приобрела оценку достоверности, равную 1?

Можно ввести два типа истинности: эмпирическую истину и теоретическую истину. В нашем примере высказыванию о цвете такси мы, конечно, приписываем эмпирическую истину. Просто все наши наблюдения были в пользу данной гипотезы. Но мы вполне можем допустить, что есть небольшое количество такси иного цвета. Они ни разу не попадались нам на глаза. Совсем другое положение будет в том случае, когда в путеводителе, обнаруженном в гостинице, будет сказано, что закон данной страны запрещает окрашивать такси в какие-либо другие цвета, кроме желтого. При такой информации высказывание о желтом цвете такси будет оценено как теоретическая истина.

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

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

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

Причины могут быть различными по типу. Наиболее редкими являются необходимые и достаточные причины. Если а_i – причина такого типа, то b_j происходит всегда, и если b_j произошло, то наверняка было а_i. Примерами такой «жесткой» связи двух явлений может служить падение тела, если для него отсутствует опора. Чаще встречаются достаточные причины, всегда вызывающие появление b_j. Но появление b_j не служит стопроцентным обоснованием того, что до этого было а_i. Следствие b_j могло быть вызвано и какими-то другими достаточными причинами. Если, например, ваш друг не пришел в условленное место и в условленное время на свидание, то, возможно, он заболел, ибо болезнь – достаточная причина для отказа от свидания, но весьма вероятно, что были какие-то другие причины нарушения им своего обещания.

Дополнительные причины обладают тем свойством, что их наличие не вызывает следствия b_j. Для того чтобы b_j появилось, нужен вполне определенный набор дополнительных причин, который выступает в роли обобщенной достаточной причины появления b_j. Легко себе представить такой набор причин, который приводит к попаданию мяча в сетку ворот при игре в футбол. Перечисление и обсуждение дополнительных причин, приведших к голу, – знакомое занятие для каждого истинного любителя футбола. Среди дополнительных причин могут быть необходимые дополнительные причины. Их вхождение в набор, образующий обобщенную достаточную причину, обязательно для того, чтобы b_j реализовалось. Остальные дополнительные причины можно назвать факультативными. В окончательный набор могут входить те или иные комбинации факультативных причин. Так, в ситуации забивания гола две дополнительные причины являются заведомо необходимыми: удар, посылающий мяч в ворота, и ошибка вратаря. Остальные дополнительные причины являются факультативными. Наконец, возможные причиныа_i обладают тем свойством, что появление а_i необязательно вызывает b_j, но увеличивает возможность появления b_j.

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

Вернемся к ДСМ-методу. После сказанного становится ясным, что нахождение причин – кандидатов для формируемых гипотез – дело далеко не простое. В положительных и отрицательных примерах эти причины скрыты в описаниях реальных объектов, обладающих или не обладающих интересующими нас свойствами. Из этих описаний надо выделить кандидатов в причины, а затем убедиться, что выбор оказался не случайным. При первом реальном использовании ДСМ-метода одной из конкретных задач была задача нахождения причин того, что некоторое органическое химическое соединение будет обладать свойством биологической активности. Постулировалась, что информация о причинах биологической активности скрыта в структурной формуле того или иного соединения. Какие-то особенности этих формул оказывали влияние на интересующее исследователей свойство. Экспериментально для многих соединений было установлено наличие или отсутствие в них биологической активности. Эти экспериментальные факты составляли множество положительных и отрицательных примеров. На основании их программы, реализующие ДСМ-метод, должны были найти новые, не известные химикам и фармакологам закономерности, позволяющие без экспериментальной проверки (весьма дорогой и длительной) оценивать возможность того, что вновь синтезированное вещество будет обладать биологической активностью.

Суть того, как это делалось с помощью ДСМ-метода, состоит в следующем. Рассмотрим группу положительных примеров. Находим некоторую часть описания объектов, общую для определенной совокупности примеров из этой группы. Например, обнаруживаем в значительной части структурных формул соединений, обладающих свойством биологической активности, кольцевую структуру с фиксированным заполнением позиций в этой структуре. Тогда есть основания считать ее кандидатом в причины. Таких кандидатов может оказаться несколько. Образуем матрицу М⁺, в которой строки соответствуют выделенным кандидатам а_i, а столбцы – интересующим нас следствиям b_j (при одном интересующем нас следствии в М⁺будет один столбец). На пересечении строк и столбцов будем записывать оценки достоверности q_k гипотез h_i⁺_jk. Об их нахождении будет сказано ниже. Для множества отрицательных примеров аналогичным образом строится другая матрица М^–, в которой содержатся оценки достоверности отрицательных гипотез h_i^–_jk. Кандидаты в причины в матрицах М⁺и М⁻могут частично совпадать, так как положительные и отрицательные примеры не образуют полной выборки из всего множества возможных примеров.

На каждом шаге работы ДСМ-метода используются новые наблюдения, пополняющие множества положительных и отрицательных примеров. Эти новые наблюдения могут либо подтверждать сформированные гипотезы h_i⁺_jk и h_i^–_jk либо противоречить им. В первом случае надо увеличивать оценки достоверности соответствующих гипотез, а во втором – уменьшать их. Механизм изменения оценок q_k может быть различным. В ДСМ-методе он устроен следующим образом. Значение n совпадает с числом имеющихся в данный момент положительных или отрицательных примеров. Таким образом, для М⁺и М^–значение n может оказаться различным. С ростом n растет «дробность» оценок достоверности. Оценка 1/n играет особую роль. Она соответствует полному незнанию о достоверности гипотезы. Поэтому в начальный момент М⁺и М^–заполнены лишь нулями, единицами и оценками 1/n. Значения истинности и лжи могут иметь гипотезы, у которых в качестве причин даны полные описания объектов, образующих множества примеров.

Если некоторая положительная или отрицательная гипотеза h_ijk имела оценку k/n, то при появлении нового примера (n заменяется на n+1) проверяется, подтверждает или не подтверждает новый пример эту гипотезу. При подтверждении оценка k/n заменяется на (k+1)/(n+1), а при неподтверждении новым примером ранее выдвинутой гипотезы ее оценка меняется с k/n на (k–1)/(n+1). Таким образом, в процессе накопления новой информации оценки гипотез либо приближаются к 0 или 1, либо ведут себя каким-либо «колеблющимся» образом. В первом случае гипотеза может на некотором шаге (когда будет пройден некоторый априорно заданный нижний порог достоверности) исчезнуть из М⁺или М^–. Во втором случае при достижении некоторого верхнего порога достоверности гипотеза может получить оценку, отражающую эмпирическую истину, и запомниться как некий установленный факт в системе или эта гипотеза сообщается человеку, работающему с ДСМ-программами. В третьем случае, если колебания оценок достаточно сильны, может также произойти исключение сформированной ранее гипотезы из тех, которые описаны в М⁺и М⁻.

Новые гипотезы формируются не только на основании выделения в примерах определенного сходства (общей части в описании). Они могут использовать и метод различия, также сформулированный Миллем. Различие выявляется для примеров, относящихся к группам положительных и отрицательных примеров. Найденное различие служит кандидатом для гипотез, включаемых в М⁺или М^–.

Кроме выявления кандидатов в причины а_i для положительных и отрицательных гипотез в описываемом методе ищутся также тормоза, наличие которых снимает влияние а_i на появление b_j. В новых версиях метода в качестве а_i выступают весьма сложные утверждения, в которых отдельные части описаний объектов могут быть связаны между собой произвольными логическими выражениями, например, следующего типа: «Если в объекте есть а’ и а’’ и нет а’’’ или в объекте есть а’’’’, то свойство b имеет место».

Как уже было сказано, в ДСМ-методе кроме прямой реализации идей Милля используются еще некоторые выводы по аналогии. Для этого на множестве описаний объектов вводится тем или иным способом понятие сходства. Если, например, речь идет о структурных формулах химических соединений, то мерой сходства для них могут быть совпадение самих структур при различных заполнителях позиций или, наоборот, наличие в некоторых фиксированных позициях структур одинаковых элементов. Если установлено отношение сходства, то в ДСМ-методе происходит вывод по аналогии. Он осуществляется следующим способом. Если гипотеза h_ijk имеет оценку k/n и такова, что причина, используемая в ней, сходна с причиной в гипотезе h’_ijk, имеющейся в той же матрице М и оцениваемой с точки зрения достоверности значением 1/n, то на гипотезу h’_ijk переносится оценка гипотезы h_ijk и она получает оценку достоверности k/n. Подобная процедура в ДСМ-методе называется правилом положительной аналогии. Существует в этом методе и правило отрицательной аналогии, а также градация тех и других правил по силе учитывающегося в них сходства. Таким образом, ДСМ-метод демонстрирует возможность проведения правдоподобных рассуждений весьма широкого спектра.