经典逻辑中的不确定性及其支持度  

The Uncertainty in the Classical Logic and Its Supporting Degree

作　　者：周青[1] 彭为 

机构地区：[1]中山大学软件研究所,广州510275 [2]广州铁路集团公司科技研究所,广州510060

出　　处：《计算机学报》2006年第10期1882-1888,共7页Chinese Journal of Computers

摘　　要：分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS的语法及语义,证明了URS的合理性与完全性定理,并与其它不确定推理方法作了比较.The existence of uncertainty of propositions in the classical logic is analyzed and a measurement method on the uncertainty of those propositions through deduction is proposed. The construction of a new logical system, URS, with uncertain reasoning function which is an extension of the classical logical system is described in detail. The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of authors＇ proposal with other methods in this field.

关 键 词：支持度 命题的不确定性 一阶推理系统 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]