算子模糊逻辑相关论文
<正>70年代知识工程的出现与发展,使得不确定性推理成为人工智能领域的研究热点,从而形成了诸如证据理论、可性度理论、模糊推理理......
在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示......
本文提出了算子模糊逻辑中的广义λ-调解方法,证明了它和广义λ-归结的联合使用,对于λE-不可满足广义子句集是完备的。......
本文提出并比较了在信度语义下,计算算子模糊逻辑中公式(集)模糊程度的3种方法--归结法、广义归结法和TABLEAU方法。......
给出了基于信度语义的算子模糊BAOFL的TABLEAU推理方法,并证明了其可靠性和完备性。......
在布尔算子Fuzzy逻辑中证明了任意公式G是λ-恒假的,当且仅当G所对应的子句集S是λ-恒假的。进而有子句集S是λ-恒假的,当且仅当S在其所有Herbrand解释下是......
在算子模糊逻辑中分析了模糊算子运算的定义方法,证明了在一些比较基本的前提下,使用多项式定义模糊算子运算的方法是唯一的。......
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质.在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结......
在算子模糊逻辑的基础上,定义了直觉算子模糊逻辑,并对它的性质进行了讨论....