四川师范大学学报(自然科学版)
四川師範大學學報(自然科學版)
사천사범대학학보(자연과학판)
JOURNAL OF SICHUAN NORMAL UNIVERSITY(Natural Science)
2008年
5期
508-512
,共5页
λ-归结%算子模糊逻辑%模糊推理
λ-歸結%算子模糊邏輯%模糊推理
λ-귀결%산자모호라집%모호추리
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质.在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法.
建立瞭一種帶模糊文字以及模糊算子的算子模糊邏輯繫統,討論瞭該邏輯繫統邏輯性質.在算子模糊邏輯繫統中,定義瞭λ-歸結,證明瞭λ-歸結的相容性以及基于λ-歸結的歸結推理的完備性,為基于邏輯的不確定性推理提供瞭新的思路與方法.
건립료일충대모호문자이급모호산자적산자모호라집계통,토론료해라집계통라집성질.재산자모호라집계통중,정의료λ-귀결,증명료λ-귀결적상용성이급기우λ-귀결적귀결추리적완비성,위기우라집적불학정성추리제공료신적사로여방법.
