基于剩余格语义的格值逻辑系统的程度化方法

mutougeda

基于剩余格语义的格值逻辑系统的程度化方法

摘要:基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法.
0 m  R; k. h0 k+ A4 t, d* W关键词:剩余格;赋值态;概率真度;概率逻辑度量空间;近似推理

, U+ j5 w3 D8 [# ?" }

游客，如果您要查看本帖隐藏内容请回复

9 ^% n6 B5 |9 G) q
, a+ ]/ j  [6 ~; I

xiaogegepcb

基于剩余格语义的格值逻辑系统的程度化方法