Логика четырехзначная

Другим видом некорректности, грозящим спокойствию содержимого базы знаний, является так называемая переопределенность. При переопределенности одним и тем же интервальным константам, переменным и прочим не-объектам приписываются одновременно и с равным основанием противоречащие друг другу значения. Например, некоторой пропозициональной переменной одновременно приписывается значение истины и лжи. Для работы с подобными переопределенными (абсурдными) объектами также строятся специальные процедуры. Примером такой процедуры может служить четырехзначная логика, в которой каждой пропозициональной переменной приписывается одно из четырех значений истина, ложь, полная неопределенность и истина —ложь (абсурд). В последние годы исследования в области логик такого типа активно развиваются, и есть надежда, что в ближайшем будущем необходимый аппарат будет создан.  [c.158]


Ситуационное управление теория и практика (1986) -- [ c.158 ]