γ-UNIT LOCK RESOLUTION ON λ-HORN SET
γ-UNIT LOCK RESOLUTION ON λ-HORN SET作者机构：Department of Computer Science Jilin University Changchun 130021 PRC
出 版 物：《Chinese Science Bulletin》 (科学通报(英文版))
年 卷 期：1990年第35卷第5期
页 面：439-440页
主 题：Operator literal clause HORN SET valued reasoning convenient valid resolved lowest
摘 要：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
维普期刊数据库
同方期刊数据库