|
|||||
|
|
| 适用于多种蕴涵算子的赋值空间上的测度与积分理论 | |
| 引用本文： | 王国俊.适用于多种蕴涵算子的赋值空间上的测度与积分理论[J].中国科学(E辑),2001,31(1):42-50. |
| 作者姓名： | 王国俊 |
| 作者单位： | 陕西师范大学数学研究所, |
| 基金项目： | 国家自然科学基金重点项目!(批准号 :198310 40 ) |
| 摘 要： | 对多种蕴涵算子导出的赋值空间进行统一处理，引入公用的Lebesgue测度，证明了相对于若干常见蕴涵算子而言，全体逻辑公式都是可测函数.建立了t(α重言式)理论，提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念，提出了积分MP规则和积分HS规则.最后，通过通用逻辑度量空间概念在全体公式集上引入了伪距离，为近似推理提供了一种可能的框架. |
| 关 键 词： | 赋值空间 Lebesgue测度与积分 真度 通用逻辑度量空间近似推理t(α重言式) 蕴涵算子 |
| 收稿时间： | 2000-01-30 |
| 修稿时间： | 2000-05-09 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《中国科学(E辑)》浏览原始摘要信息 | |
| 点击此处可从《中国科学(E辑)》下载免费的PDF全文 | |