逻辑系统Ln中命题的真度理论 |
| |
引用本文: | 李骏,王国俊.逻辑系统Ln中命题的真度理论[J].中国科学(E辑),2006,36(6):631-643. |
| |
作者姓名: | 李骏 王国俊 |
| |
作者单位: | 李骏(陕西师范大学数学研究所,西安,710062;兰州理工大学理学院,兰州,730050);王国俊(陕西师范大学数学研究所,西安,710062) |
| |
基金项目: | 国家自然科学基金(批准号:
10331010)、陕西师范大学研究生创新培养基金和兰州理工大学优秀青年基金资助项目 |
| |
摘 要: | 利用势为n的均匀概率空间的无穷乘积,
在n值广义Lukasiewicz命题逻辑系统中引入命题的真度概念,
证明了全体公式的真度值之集在上是稠密的,
并给出了公式真度的表达通式及真度推理规则;
利用真度定义了公式间的相似度,
进而导出了全体公式集上的一种伪距离, 为n值命题逻辑的近似推理理论提供了一种可能的框架.
|
关 键 词: | 真度 相似度 近似推理 |
修稿时间: | 2005年9月13日 |
|
|