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