%0 Journal Article
%T λ-Horn集上的λ-单元锁归结
%A 刘叙华
%J 科学通报
%D 1989
%I 
%X 我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=B5F21EEB54CD45A313A8F4219FEB3AD7&yid=1833A6AA51F779C1&vid=339D79302DF62549&iid=CA4FD0336C81A37A&sid=46CB27789995047D&eid=46CB27789995047D&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0