|
|||||
|
|
| Gdel n值命题逻辑中命题的α-真度理论 | |
| 引用本文： | 李骏,王国俊.Gdel n值命题逻辑中命题的α-真度理论[J].软件学报,2007(1). |
| 作者姓名： | 李骏 王国俊 |
| 作者单位： | 陕西师范大学数学与信息科学学院，陕西师范大学数学与信息科学学院 陕西西安710062，兰州理工大学理学院，甘肃兰州730050，陕西西安710062 |
| 基金项目： | 国家自然科学基金，陕西师范大学博士创新基金，兰州理工大学优秀青年基金~~ |
| 摘 要： | 为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示. |
| 关 键 词： | α-真度 真度 α-相似度 伪距离 |
| 本文献已被 CNKI 等数据库收录！ | |