基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等.非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的.随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题.本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法.首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法.然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的.
推荐文章
描述逻辑系统εLN中概念的匹配算法研究
描述逻辑
概念模式
匹配
描述逻辑系统uεVN中概念的包含关系
描述逻辑
非标准推理
概念描述树
含传递角色和存在限制描述逻辑系统的匹配推理
描述逻辑
概念模式
传递角色
匹配推理
基于逻辑推理的数字权利动态描述研究
逻辑推理
多集
规则
动态描述
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 描述逻辑系统εLN中概念最小公共包含推理研究
来源期刊 计算机工程与科学 学科 工学
关键词 描述逻辑 描述树 同态 最小公共包含
年,卷(期) 2012,(2) 所属期刊栏目 人工智能
研究方向 页码范围 139-145
页数 分类号 TP18
字数 7959字 语种 中文
DOI 10.3969/j.issn.1007-130X.2012.02.026
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王驹 广西师范大学计算机科学与信息工程学院 53 458 11.0 19.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (10)
共引文献  (11)
参考文献  (4)
节点文献
引证文献  (1)
同被引文献  (9)
二级引证文献  (4)
1955(2)
  • 参考文献(0)
  • 二级参考文献(2)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(2)
  • 参考文献(0)
  • 二级参考文献(2)
2007(3)
  • 参考文献(1)
  • 二级参考文献(2)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
2020(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
描述逻辑
描述树
同态
最小公共包含
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与科学
月刊
1007-130X
43-1258/TP
大16开
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
42-153
1973
chi
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
贵州省科学技术基金
英文译名:Natural Science Foundation of Guangxi Province
官方网址:
项目类型:重点项目
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导