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

摘要：

分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS的语法及语义,证明了URS的合理性与完全性定理,并与其它不确定推理方法作了比较.

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

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

在线出版日期：2006-11-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1882-1888