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

我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规