您的位置： 专家智库 > >

邱晓春

作品数：2 被引量：0H指数：0
供职机构：浙江理工大学理学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇理学

主题

  • 2篇描述逻辑
  • 2篇模糊描述逻辑
  • 2篇TABLEA...
  • 1篇一致性
  • 1篇蕴涵
  • 1篇三角模
  • 1篇可满足性

机构

  • 2篇浙江理工大学

作者

  • 2篇邱晓春
  • 1篇裴道武

传媒

  • 1篇高校应用数学...

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于修正的Kleene蕴涵的模糊描述逻辑
2013年
基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括这个逻辑中的可满足性问题,Tableau算法及一致性问题.
邱晓春裴道武
关键词：模糊描述逻辑可满足性一致性TABLEAU算法
基于三角模的模糊描述逻辑扩展研究
描述逻辑是一阶逻辑的可判定子集，它被认为是语义网的本体语言，因此对描述逻辑进行研究是语义网得以实现的保证.而模糊描述逻辑赋予其更丰富的适用范围，满足了人们在实际应用中处理模糊信息的需求.　　Zadeh提出的模糊集理论，为...
邱晓春
关键词：模糊描述逻辑TABLEAU算法
文献传递
全选 清除 导出
共1页<1>
聚类工具0