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

Поспелов Дмитрий Александрович

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

Здесь над чертой стоят те утверждения, истинность которых уже доказана, а ниже черты – утверждения, истинность которых логически следует из верхних утверждений и тех правил вывода, которые используются в данной логической системе. Для большей наглядности рассмотрим один частный, но весьма распространенный случай вывода, с которым мы уже сталкивались, – по правилу модус поненс. Напомним его схему:

Рассмотрим теперь схему вида

Здесь

₁ –

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

₂. Примером рассуждения такого типа может служить следующая схема:

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

Рассмотрим еще одну схему:

Здесь квантификатор

₁ стоит в другой позиции. Примером такого рассуждения может служить следующая схема:

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

Рассмотрим, наконец, схему

< image l:href="#"/>

Конкретный случай ее реализации:

Здесь определение

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

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

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

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

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

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

Если ситуация А является основанием для перехода с помощью некоторого рассуждения Т к ситуации B, то нам бы хотелось, чтобы существовало нечеткое рассуждение

, с помощью которого из ~A получалось бы описание

, и между А и ~A, а также между В и

существовало определенное соответствие I (например, изоморфизм). Диаграмма НДМ должна обладать свойством коммутативности. Другими словами,

должно получаться одинаковым, если сначала проводится четкое рассуждение Т, а затем от В происходит переход с помощью соответствия I к

или если сначала от А совершается переход к ~A, а затем проводится нечеткое рассуждение

, аналогичное рассуждению Т.

Такая близость рассуждений по аналогии и нечетких рассуждений не случайна. Ибо в основе этих рассуждений лежит идея сходства, похожести.

Нечеткая силлогистика

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

«Жара уже спадала, когда Сумбурук и Твидл приехали в один маленький городок – кажется, где-то на юге Франции. Возле автостоянки был бар. Они оставили машину, договорились встретиться в баре вечером и разошлись кто куда. Сумбурук пошел бродить по незнакомым улицам, а Твидл сразу направился в бар: он всегда больше предпочитал сидеть, чем ходить.

К вечеру в бар, помахивая бамбуковой тросточкой, вошел Сумбурук. На голове у него был роскошный блестящий цилиндр.

– Вырядился, прямо как Макс Линдер. Только полосатых панталон не хватает, – сказал Твидл, когда Сумбурук приблизился к нему. – Красивая тросточка. И цилиндр, кстати, тебе идет.

– Хочешь, можешь тоже купить. Они продаются на каждом углу. А кто в цилиндре… – Сумбурук слегка, кончиками пальцев коснувшись цилиндра, сделал незаметный жест, и тросточка в другой его руке завертелась, как пропеллер. – Те, с тросточкой, я заметил, почти всегда, – закончил он и присел за стойку, собираясь заказать себе абсент. Но не успел он это сделать, как с удивлением обнаружил, что рюмка крепкого зеленоватого напитка уже стоит перед ним.

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

Сумбурук сделал глоток и на секунду задумался.

– Я, кажется, могу дать ему дельный совет, – сказал он и показал незаметно на бармена. Сумбурук щелкнул пальцами, и бармен поглядел на него.

– А тем, кто в цилиндре, вы тоже сразу наливаете абсент?

– Да, если в руках еще и тросточка, – ответил бармен.

– Но в этом городе все, кто в цилиндре, ходят с тросточкой, разве нет?

– Почти все, – поправил бармен. – Вам налить что-нибудь другое? И он с подозрением посмотрел на цилиндр Сумбурука

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

– Не ошибусь? – переспросил бармен. – Никогда? Вы уверены?

– Ну, почти никогда. Еще Аристотель говорил, если почти все, кто носит цилиндр, ходят с тросточкой, и почти все, кто ходит с тросточкой, пьют только абсент, то почти все, кто носит цилиндр, тоже пьют только абсент. Согласны? – спросил Сумбурук. Он когда-то изучал логику и немного гордился этим [8] .

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

Сумбурук никогда не был формалистом, – скорее, напротив. Но тут, немного задетый, он (с кем не бывает!) задал вопрос, который вряд ли пришел бы в голову Максу Линдеру:

– А что значит «многие»?

– Да-да, – поддержал его Твидл, – «многие» это что, больше 30 %, больше 50 % или, может, больше 90 %?

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

– По всему выходит, что ваша бабушка умнее Аристотеля, – заметил Твидл.

Бармен пожал плечами.

– Я, простите, ничего не знаю о человеке по имени Аристотель. Он, наверное, грек, а я наполовину француз. Но могу сказать одно, – тут он взял бутылку абсента и налил нашим друзьям еще по рюмке, – моя бабушка была очень умная и добропорядочная женщина».

8

Сумбурук учился логике давно. Он приписал Аристотелю то, что, как помнит читатель, Аристотель никогда не считал правильным умозаключением.