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