摘要
在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解释和λ_α-恒假概念,从而引进λ_α-归结方法。
The definition of operator on lattice elements is redefined on the basis of [3, 7] . A new concept, associative operator lattice, is also introduced. The operator fuzzy logic is improved to provide a model for the formal representation of semantic hedges. In this new logic system, concepts of α-interpretation and λ -false are introduced and the λα-resollution method is studied.
出处
《计算机学报》
EI
CSCD
北大核心
1990年第12期890-899,共10页
Chinese Journal of Computers
基金
国家自然科学基金
