摘要
在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.
This paper proposes a concept of generalized λ-clause and introduces the generalized λ-resolution method. It is proved that the generalized λ-re-solution is complete for generalized λ-clauses.
出处
《计算机学报》
EI
CSCD
北大核心
1992年第9期655-661,共7页
Chinese Journal of Computers
基金
国家自然科学基金
关键词
模糊逻辑
Λ-归结
Operator Fuzzy logic, generalized resolution, λ-resolution.
