MTL代数语义上逻辑公式的概率真度

来源 :电子学报 | 被引量 : 0次 | 上传用户：wuxirl

【摘要】

：

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引

【作者】

：

左卫兵

【机构】

：

华北水利水电大学数学与信息科学学院

【出处】

：

电子学报

【发表日期】

：

2015年2期

【关键词】

：

MTL代数 L-赋值概率真度概率逻辑度量空间程度化推理 monoidal t-norm based logic algebra lattice valu

【基金项目】

：

国家自然科学基金（No.11201145）, 河南省教育厅自然科学基金（No.13A110719）, 河南省教育厅人文社会科学研究项目（No.2013-QN-295）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.

其他文献

新型环保灯仅靠重力转化为能量来源

对于今天的人来说，环保灯早已不是什么新鲜的事物。但能够在任何时间、任何地点提供照明的环保灯，是不是会让你感到惊讶呢？

期刊

能量来源环保转化重力灯

访存与用户行为敏感的MPSoC应用映射

应用映射是MPSo C设计中的关键问题,针对多应用负载的MPSo C,提出一种访存与用户行为敏感的动态映射策略,该策略根据应用的数据访问特征区分热点与非热点应用,并对用户行为进

期刊

多处理器片上系统片上网络应用映射任务映射MPSoC（multiprocessor system-on-chip） NoC（network-on-ch

农业转移人口市民化进程中的“二律背反”现象及其应对

摘要：农业转移人口市民化进程中的“二律背反”现象是指农业转移人口群体市民化意愿强烈，渴望融入城市成为市民，但是由于市民化能力不足、落户城市困难而又不愿舍弃农村的特定社会现象。“二律背反”现象不仅延缓了我国的城镇化进程，还会诱发一系列的社会问题，其主要根源在于以传统户籍制度为核心的城乡二元社会结构。消除这一现象，必须深化户籍和相关配套制度改革，构建合理的农业转移人口市民化成本分担机制，推进城市常住

期刊

农业转移人口市民化新型城镇化agricultural population immigration citizenization new type u

基于最大公共路径匹配的拓扑推断算法

针对存在节点动态加入和退出的网络,提出了一种基于最大公共路径匹配的拓扑推断算法.该算法根据背景流量影响对＂三明治＂包中两个小包进行排序重组,利用重组后的＂三明治＂包对节点

期刊

网络测量网络层析成像拓扑推测最大公共路径匹配network measurement network tomography topology infe

解决“三农”问题的途径--统筹城乡发展

我国的“三农”问题，是与我国的工业化与城镇化道路，以及决定着只能选择这种道路的城乡二元结构交织在一起的。城乡二元结构是我国的“三农”问题的症结之所在。我国农村的基本

期刊

“三农”问题统筹国民待遇the three-faceted agriculture-relate policy problem coordination

高校招生的服务理念与服务运作

高等学校通过提供优质的教育服务而培养合格的学生。高校招生作为高等教育服务的入口，应当树立服务的理念，为考生接受高等教育做好全程、全面的服务工作，并使招生服务工作人性化

期刊

高校招生服务考生college enrollment services examinees

几类非确定型量子程序的终止验证

程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形

期刊

量子通讯量子程序程序验证信息安全quantum communication quantum programs program verificat

迈向高收入：分工分化与中国的现代化转型

摘要：中国经过了多年的高速增长后，未来经济社会的发展是否可持续，能否顺利地完成经济增速下台阶的过程、实现转型升级而跨越高收入之墙，是亟待进一步探索的重大问题。站在分工理论的视角，中国经济能否保持继续增长而迈入高收入社会，是一个分工水平能否持续深化的问题，而社会系统的“分化模式”并由此相伴的社会结构和治理模式对其社会“分工状态”有着重要影响。只有在功能分化式的现代社会，才能真正破除限制分工深化的樊

期刊

高收入国家分工理论分工深化功能式分化现代化转型high income countries theory of division of labor

基于复调制细化谱分析的轧辊偏心谐波参数估计

针对轧辊的上、下支撑辊偏心信号是密集型频谱的特点,提出了一种基于复调制细化谱分析方法的轧辊偏心谐波参数估计新方法.利用复调制细化谱分析方法准确估计出偏心谐波的频率

期刊

轧辊偏心谐波复解析带通滤波器频谱细化分析参数估计roll eccentric harmonic multiple analytical band-pa

基于值依赖分析的空指针解引用检测

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能

期刊

程序分析静态缺陷检测空指针解引用检测需求驱动别名分析program analysisstatic error detectionnull point

MTL代数语义上逻辑公式的概率真度

与本文相关的学术论文