Между двух ушей: Ответы на вопросы по системе Норбекова

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