基于支持度理论的广义MP问题的形式化解

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

【摘要】

：

在n值R0命题逻辑系统Ln^＊中，基于命题的真度概念提出了命题之间的支持度，并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制，并给出了解的存在性定理．本文

【作者】

：

李骏王国俊

【机构】

：

兰州理工大学理学院,陕西师范大学数学研究所

【出处】

：

电子学报

【发表日期】

：

2008年11期

【关键词】

：

广义MP问题集体广义MP问题真度支持度 generalized modus ponens（GMP） problem collective general

【基金项目】

：

国家自然科学基金（No.10771129）,陕西师范大学博士创新基金（No.2006CXB002）,兰州理工大学优秀青年基金（No.2003YX0971）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

在n值R0命题逻辑系统Ln^＊中，基于命题的真度概念提出了命题之间的支持度，并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制，并给出了解的存在性定理．本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础．本文的方法是一种程度化的方法，这就使得求解过程从算法上实现成为可能，并对知识的程度化推理有所启示．

其他文献

关于园林工程施工中园林植物的病虫害防治

摘?要园林工程是我国现代城市建设的重要工程，是城市生态绿化的重要组成部分，不仅美化了城市景观，而且降低了城市的热岛效应，大大提升了现代城市的生活质量。因此，加强对园林工程施工中园林植物病虫害的防治，不仅是园林工程施工的要求，更是提高城市生活质量的要求。笔者将对园林工程中常见的病虫害做出简单介绍，分析病虫害防治原则，探究施工过程中病虫害防治方法，以促进我国园林工程病虫害防治工作的进展。　　关键词

期刊

园林工程施工园林植被病虫害防治方法

WLAN中基于效用的呼叫接纳控制策略

为了在802.11的网络中提供服务质量（QoS）支持,IEEE 802.11 Task Group E提出了EDCF协议.然而EDCF只能提供业务区分服务,并不能提供服务质量（QoS）保证.为了能在重负载下提供QoS保

期刊

呼叫接纳控制效用函数EDCF马尔可夫模型排队论区分服务call admission controlutility functionEDCFMa

重庆渝北区消防应急科普知识进校园

近日，重庆市渝北区科协组织渝北区消防支队的官兵为松树桥中学师生们开展了2012年秋季应急疏散演练和消防知识及器材使用演练活动，有效提高了师生们风险防范意识和自救互救能力

期刊

重庆渝北区消防知识科普知识校园风险防范意识消防支队科协组织自救互救

包钢稀土整合上游12家稀土企业北方稀土集团渐形成

历时一年多，包钢稀土对内蒙古自治区稀土上游企业的整合终于迈出实质性的一步。包钢稀土12月28日公告，公司于12月27日在包头与内蒙古自治区内12家稀土上游企业及股东分别签署了《稀土上游企业整合重组框架协议》。　　这意味着包钢稀土的重组工作正式展开，组建北方稀土集团的整合思路也逐步实现，北方轻稀土产业集中度将进一步提高。　　整合上游企业　　包钢稀土对上游企业的整合从去年即已经开始。2011年5月，内

期刊

基于残差预测修正的局部在线时间序列预测方法

对于复杂的非线性和非平稳时间序列预测,基本的支持向量回归（Support Vecotr Regression,SVR）在线算法无法有效兼顾执行效率和预测精度.本文首先采用局部SVR进行时间序列建模预

期刊

时间序列预测在线预测SVR残差time series prediction online prediction SVR residual

基于主相位一致性的医学图像配准

本文提出了一种新的图像特征——主相位一致性(Principal Phase Congruency,PPC),并在此基础上构造了一种新的基于主相位一致性的配准算法.首先计算不同尺度、方向上的相位一致性,然后利用主成分分析将它们进行融合,从而得到信息更加丰富的主相位一致性;将待配准图像的主相位一致性看作模糊集合,引入模糊数学中的贴近度概念,计算它们的模糊相似性.我们对模拟和真实数据进行了实验,结果表明

期刊

图像配准相位一致性主成分分析主相位一致性贴近度image registrationphase congruencyprincipal compon

浅谈煤矿调度员工作

矿井安全与生产是相辅相成不可分割的。安全是为了生产，生产必须安全，作为矿井调度员，要深入现场了解一切，包括各采掘面断面情况，打钻抽放情况，通风情况，瓦斯情况，运输情况等，才能抓好

期刊

安全生产调度工作

基于CA-CMAC的快速传感器故障诊断方法

针对动态系统的在线故障诊断问题,将信度分配小脑神经网络CA-CMAC(Credit Assigned Cerebellar Mod-el Articulation Controller)应用于主元分析模型,实现多传感器在线故障检测与隔离.首先,应用传感器正常工作时测量的历史数据,由主元分析模型得到所有传感器的预测值;接着计算传感器系统的均方预期误差值SPE(Squared Predic-tion

期刊

主元分析故障检测故障隔离信号重构principal component analysis fault detection fault isolati

一种基于RFID数据集的物品工作流挖掘方法

不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管

期刊

物品工作流物品工作流挖掘RFID数据集PETRI网commodity workflow commodity workflow mining RFID

基于支持度理论的广义MP问题的形式化解

其他学术论文