数学研究
數學研究
수학연구
JOURNAL OF MATHEMATICAL STUDY
2008年
2期
205-211
,共7页
非均匀%概率空间%(p,q,r)测度%真度%相似度
非均勻%概率空間%(p,q,r)測度%真度%相似度
비균균%개솔공간%(p,q,r)측도%진도%상사도
在离散概率测度空间下定义了三值逻辑(p,q,r)测度,并相应地定义了命题逻辑系统中公式的真度概念;在三值逻辑(1/6,1/3,1/2)测度和(1/7,2/7,4/7)测度下证明了命题逻辑系统G3中全体公式的真度值之集在[0,1]上是稠密的,并给出真度的表达式;利用真度定义公式的相似度和一种伪距离,为一般离散概率空间下三值命题的近似推理理论提供一种可能的框架.
在離散概率測度空間下定義瞭三值邏輯(p,q,r)測度,併相應地定義瞭命題邏輯繫統中公式的真度概唸;在三值邏輯(1/6,1/3,1/2)測度和(1/7,2/7,4/7)測度下證明瞭命題邏輯繫統G3中全體公式的真度值之集在[0,1]上是稠密的,併給齣真度的錶達式;利用真度定義公式的相似度和一種偽距離,為一般離散概率空間下三值命題的近似推理理論提供一種可能的框架.
재리산개솔측도공간하정의료삼치라집(p,q,r)측도,병상응지정의료명제라집계통중공식적진도개념;재삼치라집(1/6,1/3,1/2)측도화(1/7,2/7,4/7)측도하증명료명제라집계통G3중전체공식적진도치지집재[0,1]상시주밀적,병급출진도적표체식;이용진도정의공식적상사도화일충위거리,위일반리산개솔공간하삼치명제적근사추리이론제공일충가능적광가.
