λ-Horn集上的λ-单元锁归结

被引:1
作者
刘叙华
杨凤杰
不详
机构
[1] 吉林大学计算机科学系
[2] 吉林大学计算机科学系 长春
[3] 长春
关键词
锁归结; Horn; 归结方法; 完备性定理; 二值逻辑; 数理逻辑;
D O I
暂无
中图分类号
学科分类号
摘要
<正> 我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规
引用
收藏
页码:78 / 78
页数:1
相关论文
empty
未找到相关数据