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

Рис. 15.

На рис. 15 в верхнем ярусе показаны два возможных варианта областей истинности для первой посылки. Вторая посылка такова, что ее добавление к каждой из областей первой посылки дает только одну альтернативу. Обе области, показанные в нижнем ярусе, есть области типа g (рис. 8). Это означает, что в качестве заключительного высказывания силлогизма может выступать лишь высказывание типа Е . Само заключение при этом имеет вид «Всякие, заслуживающие уважения, не есть малые дети». После этого промежуточного вывода мы имеем две посылки:

Всякие, заслуживающие уважения, не есть малые дети.

Всякий, укрощающий крокодилов, есть заслуживающий уважения.

Если теперь М – класс с именем «заслуживающие уважения» (надо помнить, что М – единственный класс, имя которого встречается в обеих посылках), то Р соответствует классу «малые дети», a S – классу «укрощающий крокодилов». Такое введение классов сущностей приводит нас к первой фигуре силлогистики Аристотеля (рис. 10). Для получения вывода можно воспользоваться тем, что показано на рис. 16. В верхнем ярусе возможна только одна область истинности, а добавление к первой посылке второй приводит к появлению двух вариантов. Эти два варианта дают область истинности, соответствующую схеме базового высказывания Е . Таким образом, окончательное заключение разбираемого нами сорита выглядит следующим образом: «Всякий, укрощающий крокодилов, не есть малые дети».

Рис. 16.

При получении заключений мы из соображений наглядности каждый раз обращались к графической интерпретации областей истинности. На самом деле для правильных модусов силлогистики Аристотеля (поскольку схемы посылок однозначно определяют схему заключения в каждой из четырех фигур) эти заключительные схемы могут при необходимости выдаваться автоматически. Например, для первой фигуры если посылки имеют тип АА , то заключение имеет тип А , а если посылки имеют тип EI , то заключение имеет тип О . Значит, при определении высказывания, стоящего в заключении, нет никакой необходимости строить области истинности высказываний-посылок. Переход к заключению может происходить чисто механически. Надо только определить по виду выбранных посылок номер фигуры, а затем обратиться к таблице правильных силлогизмов, в которой находится ответ по номеру фигуры и типам посылок. Вот эта таблица:

Первая фигура: AAA , EAE , ЕIO , AII , AAI , EAO .

Вторая фигура: ЕАЕ , АЕЕ , ЕIO , АОО , ЕАО , АЕО .

Третья фигура: AAI , IАI , АII , ЕАО , ОАО , ЕIO .

Четвертая фигура: AAI , AEE , IAI , ЕАО , ЕIO , АЕО .

Проиллюстрируем процесс такого механического перехода на примере следующего сорита:

1. Те, кто нарушает свои обещания, не заслуживают доверия.

2. Любители выпить очень общительны.

3. Человек, выполняющий свои обещания, честен.

4. Ни один трезвенник не ростовщик.

5. Тому, кто очень общителен, всегда можно верить.

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

1. Всякий, кто нарушает свои обещания, есть не заслуживающий доверия.

2. Всякий любитель выпить есть человек очень общительный.

3. Всякий, кто выполняет свои обещания, есть человек честный.

4. Всякий трезвенник не есть ростовщик.

5. Всякий общительный человек есть человек, заслуживающий доверия.

Обратим внимание на то, что переход к нормальной форме для посылок требует прежде всего уточнения того, что за универсум объединяет все имеющиеся посылки. Каков он для нашего сорита? О каких сущностях идет в посылках речь? По-видимому, общей сущностью для всех, о ком говорится в посылках сорита, является сущность с именем «люди», как это было и в предшествующем сорите. Заметим, что если мы не хотим оперировать с «отрицательными классами» сущностей, то надо провести дальнейшую нормализацию посылок, ибо в силлогистике Аристотеля должно неукоснительно выполняться правило, согласно которому при n посылках должен быть выделен в точности n+1 класс сущностей (в силлогизме соответственно три класса S , М и Р ). Посчитаем, сколько классов получилось в примере после перехода к нормальной форме представления: W 1– «нарушающие свои обещания», W 2– «не заслуживающие доверия», W 3– «любители выпить», W 4– «очень общительные люди», W 5– «те, кто выполняют свои обещания», W 6– «честные люди», W 7– «трезвенники», W 8– «ростовщики», W 9– «заслуживающие доверия».

Итак, девять классов сущностей вместо полагающихся шести. Какие из классов можно исключить из рассмотрения? Анализируя семантику имен классов, можно прийти к тому, что имеют место соотношения: W 5= 1 , W 7= 3и W 9= 2. Из этих утверждений некоторое сомнение вызывает лишь соотношение W 7= 3, так как класс тех, кто любит выпить, не есть чистое отрицание для класса тех, кто вообще не пьет. Более точно было бы вместо «трезвенники» говорить о людях, которые образуют класс с именем «не любители выпить». Но согласимся с тем, что есть. Из анализа полученной системы посылок видно, что надо либо оперировать с силлогистикой, в которой имеются «положительные» и «отрицательные» классы сущностей, либо провести необходимые преобразования, о которых мы говорили раньше, чтобы перейти к случаю традиционной силлогистики Аристотеля. Выберем второй путь.

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

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