Fuzzy non-horn knowledge bases: calculi, models, inference

В этой статье исследуется вывод в нехорновских базах знаний с нечеткими фактами и правилами. Исчисления секвенций с одним структурным правилом, одним логическим правилом и нелогическими аксиомами, представляющими правила и факты базы знаний, служат теорией доказательств для этих баз знаний. Эти базы знаний также характеризуются вещественнозначными моделями с ограничениями в форме неравенств. Эти исчисления и модели применимы к множеству функций истинности. Вывод для нехорновских нечетких баз знаний осуществляется путем применения метода резолюций, преобразования опровержений в секвенциальные выводы, построения символьных выражений из выводов и оценки этих выражений. Библ. – 23 назв.