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

• Название: Моделирование рассуждений. Опыт анализа мыслительных актов
• Автор: Дмитрий Поспелов
• Издательство: Радио и связь
• Жанр: Прочая научная литература
• Год: 1989
• ISBN: 5-526 00183-3

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

Для широкого круга читателей.

---

Проблему аргументации можно было бы сформулировать как проблему поиска тех фактов (из которых данный факт вытекает), которые могли бы обосновать проявление интересующего нас факта. Факты, привлекаемые для аргументации, должны быть убедительными либо для самого субъекта (если он убеждает сам себя), либо для его оппонентов. Как-то на экскурсии в Больших Вязёмах автор услышал следующую аргументацию экскурсовода по поводу факта причастности Бориса Годунова к убийству царевича Дмитрия. Экскурсовод, показывая на храм Преображенья, стоящий в Больших Вязёмах, сказал: «Посмотрите на храм внимательно. Многие его детали напоминают Архангельский собор в Кремле. Значит, строя его, Борис Годунов как заказчик давал строителям образцы для подражания. Он еще не был на престоле, но явно думал о нем. Косвенно это для меня лично весьма убедительно свидетельствует, что Дмитрия убили по приказанию Годунова». Автору это рассуждение показалось малоубедительным. Но в процессе дальнейшего разговора с экскурсоводом он услышал немало других аргументов в пользу высказанного. И хотя автор не стал сторонником мнения о причастности Годунова к убийству Дмитрия, но соображения его оппонента стали для него более убедительными.

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

Процессы такого рода в практике человеческого общения называются «споры». Споры бывают самыми различными по своим целям и формам. Опишем ряд типичных видов спора.

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

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

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

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

4. Спор может использоваться «для убивания времени». Часто люди спорят просто ради любви к спору, к тем эмоциям, которые его сопровождают. В грибоедовское время жил в Москве Алексей Михайлович Пушкин, который ежедневно с утра искал кого-нибудь, чтобы начать с ним спорить, все равно о чем. Иногда в процессе спора он мог сменить тезис на противоположный, если видел, что оппонент уже согласен принять его тезис, и продолжал столь же красноречиво и яростно убеждать оппонента в верности антитезиса.

5. Спор ради обучения спору, когда не слишком опытный спорщик в процессе спора обучается приемам аргументации, уловкам и ловушкам и другим способам вести спор. Такие споры использовались в философских школах Античности для обучения учеников. Сократические диалоги являются одним из видов такого спора. Еще раз напомним, что вся силлогистика Аристотеля выросла из практики споров подобного типа.

6. Спор ради оскорбления оппонента, стремления унизить его, доказать, что его система ценностей намного хуже той, которой пользуется спорщик. В таком споре люди редко прислушиваются к аргументам оппонента. Иногда они попросту их не слышат. Об одном таком спорщике М.Ю. Лермонтов пишет в первой главе «Княжны Мэри»: «Спорить с ним я никогда не мог. Он не отвечает на ваши возражения, он вас не слушает. Только что вы остановитесь, он начинает длинную тираду, по-видимому, имеющую какую-то связь с тем, что вы сказали, но которая на самом деле есть только продолжение его собственной речи».

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

«Он думает, что…»

21-го августа 1974 года на шестнадцатой полосе «Литературной газеты» появилась миниатюра А. Жукова, имеющая непосредственное отношение к тому, о чем тут пойдет речь. Поэтому приведем ее полностью.

Личное мнение

«Да» или «нет»? – вот в чем вопрос. Если «да», не подумает ли Он, что я говорю «да» лишь потому, что я думаю, что так думает Он? То есть что я подхалим. А если «нет», не подумает ли Он, что, несмотря на то, что я думаю, что Он думает «да», я тем не менее говорю «нет», то есть что я не в меру строптив? Но если «да», Он подумает, что я говорю «да» потому, что мне показалось невыгодным говорить «нет». А если «нет», Он может подумать, что я говорю «нет» лишь для того, чтобы показать, что у меня есть собственное «Я», то есть что у меня его нет. А все таки «да» или «нет»? «Нет» или «да»? А почему это я вдруг решил, что Он думает «да»? А если Он думает наоборот? И тогда, если я скажу «нет»…

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

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

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

Рис. 37.

На рис. 37 показана ситуация погони. Персонаж X пытается удрать от персонажа Y. Зная, что Y бегает быстрее его, X решает воспользоваться рефлексивным рассуждением, считая, что Y к нему не способен. Он вбегает в пещеру, показанную на рисунке, и при наличии двух коридоров А и В выбирает коридор В. Почему он это делает? Схема его рассуждений такова. Коридор А более приспособлен для передвижения, в нем можно бежать, а в узком коридоре В придется пробираться почти ползком. Другими словами, АВ, где знаком обозначено, что коридор А предпочтительнее В. И персонаж Y об этом тоже знает. Но поскольку Y не умеет рефлективно рассуждать (это соответствует тому, что Y обладает нулевым рангом рефлексии), то схема рассуждений Y будет иметь следующий вид: