论文部分内容阅读
基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.
Boole语义的程度化方法
【摘 要】
：
基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑
【机 构】
：
华北水利水电学院数学与信息科学学院
【出 处】
：
电子学报
【发表日期】
：
2012年3期
【基金项目】
：
国家自然科学基金（No.51009065）, 河南省自然科学基金（No.112300410040）, 河南省教育厅自然科学基金（No.2011A110012）, 河南省高等学校骨干教师资助计划（No.2011GGJS-097）
其他文献
崔家营航电枢纽工程厂房河心洲中部地质条件很差,属Ⅰ级阶地冲积层（Q4～lal）,为砂砾石,结构松散,砂砾石中空隙填充物为细砂,覆盖层总厚约24～30 m。在厂房基坑开挖过程中为保证厂房
T/R-R高频地波雷达可以对海面目标超视距探测,探测距离高达几百公里,因此由雷达量测量对目标定位应考虑地球曲率影响.本文分别给出了球面定位算法及其定位精度公式.应用加权
航迹关联算法应当具备自动调整控制参数的能力，以适应复杂多变、特性未知的航迹数据。本文提出了局部航迹关联不确定度的概念，给出了两种局部航迹关联不确定度的定义，在传统序贯
中联重科环卫机械公司研制出国内首台分类压缩式垃圾车，该垃圾车轻松‘吃进’各种垃圾，不留一点污水残垢，还能随时‘走动’把垃圾送往城郊，让垃圾不再停留中转站过夜。
本文主要研究海杂波分数阶Fourier变换（职丌t）谱的扩展自相似特性及FRFTr域多尺度Hurst指数在海杂波目标检测中的应用．鉴于扩展自相似过程的描述参数——多尺度Hurst指数可以描
复延迟型时频分布（CID）是近年来提出的一种新型时频分布．对于单分量调频信号，CTD具有良好的时频聚集性．但是对于包含两个或两个以上分量的多分量调频信号，直接采用定义式或传统频域
各种水果给人口感最为重要的指标之一是甜度的大小。柑橘的质量，除了观其大小、形状、色泽之外，甜度的大小也相当重要。而甜度则是随柑橘表皮中所含叶红素（色素）的增加而提高。因
美国德州大学奥斯汀分校的研究人员已经开发出一种创新的3D碳，它可以当作大幅强化的超级电容（supercapacitor）使用，可储备电力供作电动车与消费性电子设备等使用。
随着农村税费改革的不断深入和中央关于建设新农村举措的推进,各级政府对农村的投入也随之增加。然而由于各地区情况的差异,财政管理存在一些死角,农村财务管理运行中暴露出