狭义模糊逻辑中的锁语义归结原理

被引:2
作者
刘叙华
机构
[1] 吉林大学计算机科学系
关键词
归结原理; 模糊逻辑; 不分明逻辑; 模糊系统; 二值逻辑; 数理逻辑;
D O I
暂无
中图分类号
学科分类号
摘要
在狭义模糊逻辑中的锁语义归结原理可以有比在广义模糊逻辑中更强的限制。本文讨论了这种更强限制下的锁语义归结原理,证明了它在狭义模糊逻辑中是完备的。
引用
收藏
页码:56 / 60
页数:5
相关论文
共 4 条
[1]   广义模糊逻辑和锁语义归结原理 [J].
刘叙华 .
计算机学报, 1980, (02) :97-111
[2]   使用引理的锁语义归结原理——LI-归结原理 [J].
刘叙华 .
吉林大学自然科学学报, 1979, (04) :129-136
[3]   3型IDI-归结原理 [J].
刘叙华 .
吉林大学自然科学学报, 1979, (01) :47-52
[4]   一种新的语义归结原理——IDI-归结 [J].
刘叙华 .
吉林大学学报(自然科学版), 1978, (02) :112-117