经典命题逻辑中公式的D-条件真度及近似推理  

The D-conditional Truth Degree of Formulas and Approximate Reasoning in Classical Propositional Logic System

作　　者：崔美华[1] 

机构地区：[1]盐城师范学院数学科学学院,江苏盐城224051

出　　处：《模糊系统与数学》2010年第6期34-41,共8页Fuzzy Systems and Mathematics

基　　金：江苏省高校自然科学基础研究项目(08KJD110008)

摘　　要：基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性。Based on conditional probability,using the randomization method of valuation set,the concept of D-conditional truth degree of formulas,D-conditional similarity and pseudo-distance between formulas are introduced into Classical propositional logic system and to build the D-Γ logic metric space.Several properties of D-conditional truth degree are obtained and the continuity of logical operation in this space is proved.Three different types approximate reasoning patterns are introduced in D-Γ logic metric space.It is proved that they are equivalent.

关 键 词：D-条件真度 D-条件相似度 DΓ-逻辑度量空间 近似推理 

分 类 号：O141[理学—数学] O159[理学—基础数学]