TABLEAU方法

作品数：9被引量：5H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘全孙吉贵程晓春于万钧高晓雷更多>>
相关机构：吉林大学苏州大学上海大学国防科学技术大学更多>>
相关期刊：《计算机工程与设计》《广西师范大学学报（自然科学版）》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划吉林省自然科学基金高等学校骨干教师资助计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=吉林省科技发展计划基金x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊命题模态逻辑的Tableau方法被引量：1
《哈尔滨工程大学学报》2017年第6期914-920,共7页刘磊 王强 吕帅 
国家自然科学基金项目(61300049;61402195);教育部高等学校博士学科点专项科研基金项目(20120061120059);吉林省科技发展计划项目(20130206052GX;20140520069JH)
为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不...
关键词：TABLEAU方法 模态逻辑 模糊命题模态逻辑 不确定推理 一致性检测 模糊断言集合 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部