计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
7期
49-51,109
,共4页
公式真度%二值逻辑%多重广义MP问题%三Ⅰ算法%α-三Ⅰ真度解
公式真度%二值邏輯%多重廣義MP問題%三Ⅰ算法%α-三Ⅰ真度解
공식진도%이치라집%다중엄의MP문제%삼Ⅰ산법%α-삼Ⅰ진도해
在二值逻辑系统中基于真度理论讨论了三Ⅰ推理机制的意义,求出了真度理论下的多重广义MP问题的三Ⅰ解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三Ⅰ真度解.
在二值邏輯繫統中基于真度理論討論瞭三Ⅰ推理機製的意義,求齣瞭真度理論下的多重廣義MP問題的三Ⅰ解,證明瞭該解與其形式解是等價的解,併推廣得到瞭多重廣義MP問題的α-三Ⅰ真度解.
재이치라집계통중기우진도이론토론료삼Ⅰ추리궤제적의의,구출료진도이론하적다중엄의MP문제적삼Ⅰ해,증명료해해여기형식해시등개적해,병추엄득도료다중엄의MP문제적α-삼Ⅰ진도해.