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

Обратим внимание на то, что переход к нормальной форме для посылок требует прежде всего уточнения того, что за универсум объединяет все имеющиеся посылки. Каков он для нашего сорита? О каких сущностях идет в посылках речь? По-видимому, общей сущностью для всех, о ком говорится в посылках сорита, является сущность с именем «люди», как это было и в предшествующем сорите. Заметим, что если мы не хотим оперировать с «отрицательными классами» сущностей, то надо провести дальнейшую нормализацию посылок, ибо в силлогистике Аристотеля должно неукоснительно выполняться правило, согласно которому при n посылках должен быть выделен в точности n+1 класс сущностей (в силлогизме соответственно три класса S, М и Р). Посчитаем, сколько классов получилось в примере после перехода к нормальной форме представления: W₁ – «нарушающие свои обещания», W₂ – «не заслуживающие доверия», W₃ – «любители выпить», W₄ – «очень общительные люди», W₅ – «те, кто выполняют свои обещания», W₆ – «честные люди», W₇ – «трезвенники», W₈ – «ростовщики», W₉ – «заслуживающие доверия».

Итак, девять классов сущностей вместо полагающихся шести. Какие из классов можно исключить из рассмотрения? Анализируя семантику имен классов, можно прийти к тому, что имеют место соотношения: W₅=₁, W₇=₃ и W₉=₂. Из этих утверждений некоторое сомнение вызывает лишь соотношение W₇=₃, так как класс тех, кто любит выпить, не есть чистое отрицание для класса тех, кто вообще не пьет. Более точно было бы вместо «трезвенники» говорить о людях, которые образуют класс с именем «не любители выпить». Но согласимся с тем, что есть. Из анализа полученной системы посылок видно, что надо либо оперировать с силлогистикой, в которой имеются «положительные» и «отрицательные» классы сущностей, либо провести необходимые преобразования, о которых мы говорили раньше, чтобы перейти к случаю традиционной силлогистики Аристотеля. Выберем второй путь.

Сохраним все высказывания, в которые не входят классы W₂, W₅ и W₇, а высказывания, в которые они входят, подвергнем преобразованию. Тогда получим следующую систему высказываний, в которой классы сущностей обозначены соответствующими W_i, а около тех высказываний, которые подверглись пре…[4]

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

Рис. 18.

Наконец, в задачу лингвистического блока входит расшифровка входного сообщения. Эти сообщения могут быть двух типов: факты для пополнения базы фактов системы и факты, истинность которых хотелось бы установить. В первом случае факт после его перевода в нормальную форму передается в базу фактов, а во втором – поступает в блок формирования заключения, где он выступает в качестве задания на вывод.

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

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

Таблица 2

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