"Записки научных семинаров ПОМИ"
Том 517, стр. 176-190
Нечеткие нехорновские базы знаний: исчисления, модели, вывод
А. Сахаров
Synstretch
Framingham, Massachusetts, USA
mail@sakharov.net
- Аннотация:
В этой статье исследуется вывод в нехорновских базах знаний с нечеткими
фактами и правилами. Исчисления секвенций с одним структурным правилом,
одним логическим правилом и нелогическими аксиомами, представляющими
правила и факты базы знаний, служат теорией доказательств для этих баз
знаний. Эти базы знаний также характеризуются вещественнозначными
моделями с ограничениями в форме неравенств. Эти исчисления и модели
применимы к множеству функций истинности. Вывод для нехорновских
нечетких баз знаний осуществляется путем применения метода резолюций,
преобразования опровержений в секвенциальные выводы, построения
символьных выражений из выводов и оценки этих выражений.
Библ. -- 23 назв.
- Ключевые слова: метод резолюций, нехорновское правило, функция истинности, нечеткая
логика, исчисление секвенций, Reductio Ad Absurdum
[resolution, non-Horn rule, truth function, fuzzy logic, sequent calculus,
Reductio Ad Absurdum]
Полный текст(.pdf)