摘要
本文提出了算子Fuzzy逻辑,并给出了这种逻辑系统中公式的一些简单性质,在算子Fuzzy逻辑中,提出了λ-恒真和λ-恒假的概念,提出了λ-归结方法。证明了:对于任一个λ-恒假公式,使用λ-归结方法,都可以在有限步内,给以判定。
In this paper, we propose the concept of Operator Fuzzy Logic and some simple properties of formula in Operator Fuzzy Logic. We introduce the concepts of λ-inconsistent, λ-valid and a λ-resolution method. It is proved that if a formula is λ-inconsistent, it can be-decided in finite steps by using λ-resolution method.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第2期81-91,共11页
Chinese Journal of Computers
基金
国家自然科学基金
