期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
适用于多种蕴涵算子的赋值空间上的测度与积分理论 被引量:9
1
作者 王国俊 《中国科学(E辑)》 CSCD 北大核心 2001年第1期42-50,共9页
对多种蕴涵算子导出的赋值空间进行统一处理 ,引入公用的Lebesgue测度 ,证明了相对于若干常见蕴涵算子而言 ,全体逻辑公式都是可测函数 .建立了t_(α_重言式 )理论 ,提出了一般的语义MP规则和一般的语义HS规则 .基于积分理论引入了逻辑... 对多种蕴涵算子导出的赋值空间进行统一处理 ,引入公用的Lebesgue测度 ,证明了相对于若干常见蕴涵算子而言 ,全体逻辑公式都是可测函数 .建立了t_(α_重言式 )理论 ,提出了一般的语义MP规则和一般的语义HS规则 .基于积分理论引入了逻辑公式的真度概念 ,提出了积分MP规则和积分HS规则 .最后 ,通过通用逻辑度量空间概念在全体公式集上引入了伪距离 ,为近似推理提供了一种可能的框架 . 展开更多
关键词 蕴涵算子 赋值空间 LEBESGUE测度 积分 通用逻辑度量空间 近似推理 t-(α-重言式) 模糊推理
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部