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

В этой матрице А₁ и А₂ обозначают два действия, которые может выбрать первый игрок, a B₁ и B₂ – действия второго игрока. На пересечении строк и столбцов написаны пары чисел, которые определяют выигрыши и проигрыши соответственно первого и второго игроков, когда они произведут одновременно свои альтернативные выборы.

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

Комиссар выбирает следующую тактику. Он сажает подозреваемых в разные камеры и не дает им общаться между собой. При допросе каждому из них он объясняет, что если допрашиваемый сознается в совершении краж, то все наказание (шесть лет тюрьмы) понесет нераскаявшийся преступник, а сознавшийся будет полностью освобожден от наказания. Если же оба преступника сознаются одновременно, то каждому из них придется отсидеть по три года.

Перед подозреваемыми возникает дилемма: сознаваться или не сознаваться? Если бы они могли договориться между собой, то, конечно, надо было бы упорно отрицать свое участие в кражах. Год тюрьмы не такой уж большой срок, и они вскоре были бы на свободе. Но договориться им не дают. И все время каждого мучает мысль: что если сообщник сознается? Тогда придется сидеть шесть лет, а он будет гулять на свободе.

Итак, перед каждым из игроков две стратегии: сознаться (в матрице игры этому соответствуют альтернативы А₁ и В₁) или не сознаваться (альтернативы A₂ и В₂). Как поведут себя люди в такой ситуации? Как они должны рассуждать?

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

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

В этих условиях надо немедленно сознаваться, ибо три года тюрьмы все-таки лучше, чем шесть.

Если же компаньон умен, то хорошо бы знать, какой ранг он припишет своему сотоварищу. Если нулевой, то ситуация ясна – пары (А₁, В₁) не избежать и надо немедленно сознаваться. Если же он посчитает, что сотоварищ имеет первый ранг рефлексии, то он сделает правильный выбор: сознаваться не нужно. Хотя, если он будет выбирать B₂, то почему бы не выбрать A₁? И быть на свободе, оставив сидеть его в тюрьме. Такое рассуждение соответствует уже второму рангу рефлексии. Но ведь и компаньон может оказаться таким, что у него будет тоже второй ранг рефлексии. Что тогда?..

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

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

соответствует следующему рассуждению: «x думает, что у думает, что х думает d, поэтому х делает h». Ясно, что ранг рефлексии х равен двум, а относительно у он предполагает, что его ранг рефлексии равен единице. В большинстве задач, связанных с рефлексивными рассуждениями, по-видимому, можно обойтись лишь двумя типами рангов рефлексии: четным и нечетным. Более тонкое исследование рефлексивных рассуждений читатель может найти в литературе, указанной в комментарии к этому разделу.

Текст и рассуждение