γ-UNIT LOCK RESOLUTION ON λ-HORN SET  

作　　者：刘叙华 杨凤杰 

机构地区：[1]Department of Computer Science, Jilin University, Changchun 130021, PRC

出　　处：《Chinese Science Bulletin》1990年第5期439-440,共2页

摘　　要：We presented the concept of Operator Fuzzy Logic System and λ-Resolution Method in 1984, and obtained some theoretical results. In practice, in many cases knowledge and rules can be expressed by λ-Horn set of clauses. For example, the knowledge

关 键 词：Operator literal CLAUSE HORN SET VALUED reasoning CONVENIENT VALID resolved lowest 

分 类 号：N[自然科学总论]