适用于多种蕴涵算子的赋值空间上的测度与积分理论  

作　　者：王国俊[1] 

机构地区：[1]陕西师范大学数学研究所,西安710062

出　　处：《中国科学（E辑）》2001年第1期42-50,共9页Science in China(Series E)

基　　金：国家自然科学基金重点项目!(批准号 :198310 40 )

摘　　要：对多种蕴涵算子导出的赋值空间进行统一处理 ,引入公用的Lebesgue测度 ,证明了相对于若干常见蕴涵算子而言 ,全体逻辑公式都是可测函数 .建立了t_(α_重言式 )理论 ,提出了一般的语义MP规则和一般的语义HS规则 .基于积分理论引入了逻辑公式的真度概念 ,提出了积分MP规则和积分HS规则 .最后 ,通过通用逻辑度量空间概念在全体公式集上引入了伪距离 ,为近似推理提供了一种可能的框架 .

关 键 词：蕴涵算子 赋值空间 LEBESGUE测度 积分 通用逻辑度量空间 近似推理 t-(α-重言式) 模糊推理 

分 类 号：O177[理学—数学]