| G?del n值命题逻辑中命题的α-真度理论 |
| |
| 引用本文： | 李骏,王国俊.G?del n值命题逻辑中命题的α-真度理论[J].软件学报,2007,18(1):33-39. |
| |
| 作者姓名： | 李骏 王国俊 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062;兰州理工大学,理学院,甘肃,兰州,730050;陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.10331010 (国家自然科学基金); the Innovation Foundation for Doctors of Shaanxi Normal University of China (陕西师范大学博士创新基金); the Outstanding Youth Foundation of Lanzhou University of Technology of China (兰州理工大学优秀青年基金) |
| |
| 摘 要： | 为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.
|
| 关 键 词： | α-真度 真度 α-相似度 伪距离 |
| 收稿时间： | 2005/9/15 0:00:00 |
| 修稿时间： | 2005年9月15日 |
Theory of |
| |
| LI Jun and WANG Guo-Jun.Theory of[J].Journal of Software,2007,18(1):33-39. |
| |
| Authors: | LI Jun and WANG Guo-Jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
