一类代数上的逻辑学(Ⅱ)

被引:27
作者
王国俊
机构
[1] 陕西师范大学数学研究所
关键词
模糊公式代数;模糊取式;模糊拒取式;支持度;相似度;
D O I
10.15983/j.cnki.jsnu.1997.03.002
中图分类号
O141.1 [命题演算、谓词演算、类演算];
学科分类号
摘要
Zadeh的复合命题演算方法(简称CRI方法)虽然已被广泛采纳并在应用上取得了很大成功,然而CRI方法至今尚未有严格的理论基础.本文在一类模糊公式代数F(S)上通过特殊的赋值方法为模糊取式(FuzyModusPonens)与模糊拒取式(FuzyModusTolens)建立了严格的逻辑基础.其中关于FMP的一个结果不只是Zadeh的CRI方法相应结果的改进,而且也是首次把CRI方法纳入了模糊逻辑的框架之中,沿此途径,进一步提出并研究了前提与结论之间的支持度与相似度的理论.
引用
收藏
页码:5 / 12
页数:8
相关论文
共 5 条