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

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

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

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

Рис. 18.

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

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

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

Таблица 2

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

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