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

李骏; 王国俊

首页> 中文期刊> 《电子学报》 >基于支持度理论的广义MP问题的形式化解

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电子学报》 |2008年第11期|2190-2194|共5页
作者
李骏; 王国俊;
展开▼
作者单位

兰州理工大学理学院,甘肃兰州,730050;

陕西师范大学数学研究所,陕西西安,710062;

陕西师范大学数学研究所,陕西西安,710062;

展开▼
原文格式 PDF
正文语种 chi
中图分类应用数理逻辑;
关键词
广义MP问题; 集体广义IMP问题; 真度; 支持度;

相似文献

中文文献
外文文献
专利

1. 基于支持度理论的广义Modus Ponens问题的最优解 [J] . 李骏 ,王国俊 . 软件学报 . 2007,第011期
2. 广义MP问题的α-三Ⅰ解的形式化理论 [J] . 马丽娜 ,王国俊 . 陕西师范大学学报（自然科学版） . 2011,第002期
3. 基于广义SMP破坏准则的柱形孔扩张问题理论分析 [J] . 栾茂田 ,李波 . 岩土力学 . 2006,第12期
4. 一般形式多阶段有补偿问题的广义对偶理论 [J] . 陈志平 ,徐成贤 . 数学研究与评论 . 1997,第002期
5. 广义因果理论上基于模型诊断过程的形式化 [J] . 欧阳丹彤 ,欧阳继红 ,孙吉贵 . 吉林大学学报（理学版） . 2000,第004期
6. 论数据电文意思表示形式问题的体系化解决 [C] . 于海防 . 中国科学技术法学会2016年年会暨中国首届企业科技法治与知识产权战略高峰论坛 . 2016
7. 基于模糊加权支持度的D-S证据理论数据融合方法 [A] . 刘春雷 . 2013

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

摘要

著录项

相似文献

相关主题

期刊订阅