daner написал(а):
в логику предикатов она переводиться элементарно, просто функции принадлежности делаются дискретными
здесь, видимо, некое недопонимание проблемы... а как же кванторы, многоместные предикаты, функции над объектами, да и собственно сам вывод и типу резолюцию?..
daner написал(а):
вот как раз из предикатов в фази проблематично, видимо вероятностей как раз и не хватает ...
это справедливо
а в многозначных "чистых" логиках вывод оказывается слишком сложным и громоздким... что делать?