数学的实践与认识
數學的實踐與認識
수학적실천여인식
MATHEMATICS IN PRACTICE AND THEORY
2010年
5期
222-226
,共5页
Γ-绝对真度%Γ-绝对相似度%伪距离%近似推理
Γ-絕對真度%Γ-絕對相似度%偽距離%近似推理
Γ-절대진도%Γ-절대상사도%위거리%근사추리
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.
將多值邏輯中的∑-α重言式理論與計量邏輯學中的真度理論相結閤,在n值Lukasiewicz命題邏輯繫統中引入瞭公式相對于有限理論Γ的Γ-絕對真度概唸,討論瞭它的若榦性質.利用Γ-絕對真度定義瞭公式間的Γ-絕對相似度與偽距離,為進一步建立n值Lulcasiewicz命題邏輯繫統相對于有限理論Γ的近似推理奠定瞭基礎.
장다치라집중적∑-α중언식이론여계량라집학중적진도이론상결합,재n치Lukasiewicz명제라집계통중인입료공식상대우유한이론Γ적Γ-절대진도개념,토론료타적약간성질.이용Γ-절대진도정의료공식간적Γ-절대상사도여위거리,위진일보건립n치Lulcasiewicz명제라집계통상대우유한이론Γ적근사추리전정료기출.
