| 经典逻辑中的不确定性及其支持度 |
| |
| 引用本文： | 周青,彭为. 经典逻辑中的不确定性及其支持度[J]. 计算机学报, 2006, 29(10): 1882-1888 |
| |
| 作者姓名： | 周青 彭为 |
| |
| 作者单位： | 中山大学软件研究所,广州,510275;广州铁路集团公司科技研究所,广州,510060 |
| |
| 摘 要： | 分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS的语法及语义,证明了URS的合理性与完全性定理,并与其它不确定推理方法作了比较.
|
| 关 键 词： | 支持度 命题的不确定性 一阶推理系统 |
| 收稿时间： | 2004-12-18 |
| 修稿时间： | 2004-12-182006-04-21 |
The Uncertainty in the Classical Logic and Its Supporting Degree |
| |
| ZHOU Qing,PENG Wei. The Uncertainty in the Classical Logic and Its Supporting Degree[J]. Chinese Journal of Computers, 2006, 29(10): 1882-1888 |
| |
| Authors: | ZHOU Qing PENG Wei |
| |
| Abstract: | 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 details.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 our proposal with other methods in this field. |
| |
| Keywords: | supporting degree uncertainty of proposition first order reasoning system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
