模糊系统与数学
模糊繫統與數學
모호계통여수학
FUZZY SYSTEMS AND MATHEMATICS
2008年
1期
7-14
,共8页
λ-归结%Petri网%T-不变量%模糊逻辑%模糊推理
λ-歸結%Petri網%T-不變量%模糊邏輯%模糊推理
λ-귀결%Petri망%T-불변량%모호라집%모호추리
定义一种只带模糊文字以及模糊算子的模糊逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质.为了实现算子模糊逻辑的归结推理,给出了算子模糊逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理,最后用实例进行了验证.
定義一種隻帶模糊文字以及模糊算子的模糊邏輯,討論瞭該邏輯的λ-歸結的相容性、完備性及其若榦邏輯性質.為瞭實現算子模糊邏輯的歸結推理,給齣瞭算子模糊邏輯的Petri網模型:Horn型,進一步討論瞭推理算法:T-不變量算法,得到瞭算法的完備性定理,最後用實例進行瞭驗證.
정의일충지대모호문자이급모호산자적모호라집,토론료해라집적λ-귀결적상용성、완비성급기약간라집성질.위료실현산자모호라집적귀결추리,급출료산자모호라집적Petri망모형:Horn형,진일보토론료추리산법:T-불변량산법,득도료산법적완비성정리,최후용실례진행료험증.
