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