KnigaRead.com/
KnigaRead.com » Научные и научно-популярные книги » Прочая научная литература » Дмитрий Поспелов - Моделирование рассуждений. Опыт анализа мыслительных актов

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

На нашем сайте KnigaRead.com Вы можете абсолютно бесплатно читать книгу онлайн Дмитрий Поспелов, "Моделирование рассуждений. Опыт анализа мыслительных актов" бесплатно, без регистрации.
Перейти на страницу:

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

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


Рис. 20.



Как видно из рисунка, зверюшки обладают тремя признаками: формой спины, числом ног и формой ног. Что же вызывает улыбку? Используем метод Милля. Возьмем в качестве первой возможной причины форму спины у зверюшки. Положительные примеры таковы, что во всех наблюдаемых случаях эта форма выгнута вниз. Обозначим этот признак через a, а реакцию человека, когда он радуется, через d. Можно ли утверждать, что а есть причина d? Согласно Принципу единственного сходства наличие спины такой формы должно всегда вызывать улыбку. Но первый же контрпример опровергает это. Число ног (обозначим этот признак как b) также не может быть причиной улыбки. В положительных примерах b везде равно двум, и можно подумать, что именно две ноги зверюшки веселят человека. Но в трех контрпримерах ног тоже две. С формой ног (этот признак обозначим как с) ситуация в положительных примерах такова, что сразу ясно, что с не может быть причиной d.

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

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

Еще один пример связан с ситуациями, показанными на рис. 21. Теперь нас беспокоит реакция зверюшки на тех людей, которых она встречает на улице. У зверюшки хорошее настроение, когда она встречает людей с выражением на лице, как в положительных примерах. И ее настроение становится плохим, когда ей встречаются люди с такими лицами, как на отрицательных примерах. Возникает вопрос о причине появления у зверюшки хорошего настроения при встрече с людьми. Три элемента лица: рот, нос и глаза, полностью характеризуют выражение человеческого лица. Будем обозначать эти признаки как е, ? и g, а реакцию зверюшки как h. Поскольку все признаки принимают только два значения, как и реакция зверюшки, то можно (это можно было сделать и в предыдущем примере, но было желание продемонстрировать общий подход, использующий запись в виде предикатных формул) обойтись формулами исчисления высказываний. Будем считать, что е, ? и g истинны, если они соответствуют типу рта, носа и глаз человека из первого положительного примера. Будем также считать истинным значение h, соответствующее зверюшке с хорошим настроением. Если выделить ядро сходства у положительных примеров, то оно окажется пустым. Это свидетельствует о том, что причиной хорошего настроения зверюшки не может быть просто конъюнкция каких-то признаков человеческого лица. Выражение причины через признаки должно использовать дизъюнкцию.


Рис. 21.



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

Для того чтобы учесть третий пример, надо построить общее ядро различия для него и лиц, входящих в отрицательные примеры. Сразу видно, что форма рта тут не поможет. Остаются нос и глаза. Нос и глаза такой формы, как в третьем положительном примере, можно по отдельности найти в отрицательных примерах. Но их комбинация, характерная для третьего положительного примера (при принятых нами обозначениях эта комбинация описывается формулой ?&g), нигде не встречается в отрицательных примерах. Это позволяет, наконец, написать выражение для причины h в следующей форме: h=(e(?&g)). Словесно эта причинно-следственная связь может быть описана следующим образом: зверюшка находится в хорошем настроении, если она встречает человека, рот у которого печален (концы губ опущены вниз) или глаза у него закрыты, а нос тонкий и прямой.

Попробуем теперь найти причину, когда зверюшка бывает в плохом настроении. Обратимся для этого к отрицательным примерам и попробуем на них выделить общее ядро сходства. Оно легко обнаруживается. Это е. Но, к сожалению, в качестве причины плохого настроения зверюшки его использовать нельзя. Все тот же третий положительный пример препятствует этому. Значит, и для причины плохого настроения зверюшки надо искать дизъюнктивное выражение. Найдем частные попарные ядра сходства. Для первого и второго отрицательных примеров это ядро есть e&g, для первого и третьего – е, а для второго и третьего – e&?. Второе частное ядро сходства совпадает с общим ядром сходства и поэтому интереса не представляет. Два других частных ядра сходства на всех лицах положительных примеров оказываются ложными. Это позволяет записать выражение для причины плохого настроения зверюшки в следующей форме: h’=((e&g)(e&?). Учитывая справедливость дистрибутивных законов для конъюнкции относительно дизъюнкции и наоборот (читатели могут проверить этот факт, так как им известно, как проверять в исчислении высказываний равенство ?1=?2), можно записать выражение для причины плохого настроения зверюшки в более коротком виде: h’=(e&(g?)). Словесно эта причина может быть сформулирована следующим образом: если рот человека улыбается и глаза широко открыты или нос его по форме напоминает картошку, то зверюшка впадает в плохое настроение.

Если составить таблицу, в которой перечислены все комбинации истины и лжи для е, ? и g, и определить истинность h и h’, то можно убедиться, что h’=h. Другими словами, если h истинно, то зверюшка находится в хорошем настроении, а если h ложно, то в плохом. Это означает, что вместо двух выражений для h и h’ можно пользоваться только одним из них.

Такая ситуация не является стопроцентной. На рис. 22 мы снова встречаемся с известной нам зверюшкой. Но здесь выражения для h и h’, легко вычисляемые с помощью общих ядер сходства, имеют вид h=e&g и h’=g&e. Другими словами, зверюшка в хорошем настроении, когда встречает человека с печальным ртом, и она печалится, когда видит человека с широко открытыми глазами. В этом случае h и h’ никак не связаны между собой.

Перейти на страницу:
Прокомментировать
Подтвердите что вы не робот:*