%0 Journal Article
%T λ-Horn集上的λ-单元锁归结
%A 刘叙华
%J 科学通报
%P 78-78
%D 1989
%X 我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规
%U http://csb.scichina.com:8080/CN/abstract/abstract359054.shtml