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