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