摘要
本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的．
This paper proposes the generalized λ-paramodulation method in Operator Fuzzy Logic. It is proved that generalized λ-paramodulation is complete when used with generalized λ-resolution for λE-unsatisfiable set S of generalized clauses.
出处
《计算机学报》
EI
CSCD
北大核心
1995年第2期135-140,共6页
Chinese Journal of Computers
基金
国家自然科学基金
博士点基金
863计划
国家攀登计划资助
关键词
算子模糊逻辑
广义
Λ-归结
λ-调解
Operator Fuzzy logic, generalized λ-resolution, generalized λ-paramodulation.
