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

Рис. 18.

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

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

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

Таблица 2

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

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

Какие решения принимает система, если она обнаруживает противоречие между вновь поступившим фактом и теми, которые до этого хранились в базе фактов? Какому из двух выявившихся противоречивых фактов система должна верить?

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

Поясним эти альтернативы на следующем примере. Пусть в базе фактов хранился факт Asp : «Всякие лошади не есть летающие существа». И пусть на вход базы фактов поступили новые факты «Пегас есть лошадь» и «Пегас есть летающее существо». Эти факты входят в противоречие с ранее имевшимся фактом о том, что лошади не летают. Принятие первой альтернативы заключается в том, что класс сущностей с именем «лошади» делится на два класса с именами «лошади, которые не есть Пегас» и «пегасы». В качестве единичных сущностей первого класса выступают те конкретные сущности, о которых системе было известно ранее (если их в системе не было, то класс «лошади» не имеет в системе конкретных представителей). В качестве единичной сущности класса «пегасы» выступает тот Пегас, который был упомянут в поступившем в систему сообщении. Факт Asp сохраняется с учетом, что S есть имя класса «лошади, которые не есть Пегас», и вводится высказывание Aq , в котором Q есть имя класса сущностей «пегасы».

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

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

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