留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算

吴尽昭 侯晖 李绍荣

吴尽昭, 侯晖, 李绍荣. 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算[J]. 电子科技大学学报, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025
引用本文: 吴尽昭, 侯晖, 李绍荣. 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算[J]. 电子科技大学学报, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025
WU Jin-zhao, HOU Hui, LI Shao-rong. Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic Tbox[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025
Citation: WU Jin-zhao, HOU Hui, LI Shao-rong. Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic Tbox[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算

doi: 10.3969/j.issn.1001-0548.2009.05.025
基金项目: 

国家863计划(2007AA01Z143)

详细信息
    作者简介:

    吴尽昭(1965-),男,博士,教授,主要从事复杂系统验证与评估技术方面的研究

  • 中图分类号: TN959.3

Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic Tbox

计量
  • 文章访问数:  3824
  • HTML全文浏览量:  114
  • PDF下载量:  64
  • 被引次数: 0
出版历程
  • 收稿日期:  2009-08-08
  • 刊出日期:  2009-10-15

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算

doi: 10.3969/j.issn.1001-0548.2009.05.025
    基金项目:

    国家863计划(2007AA01Z143)

    作者简介:

    吴尽昭(1965-),男,博士,教授,主要从事复杂系统验证与评估技术方面的研究

  • 中图分类号: TN959.3

摘要: 源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。

English Abstract

吴尽昭, 侯晖, 李绍荣. 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算[J]. 电子科技大学学报, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025
引用本文: 吴尽昭, 侯晖, 李绍荣. 非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算[J]. 电子科技大学学报, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025
WU Jin-zhao, HOU Hui, LI Shao-rong. Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic Tbox[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025
Citation: WU Jin-zhao, HOU Hui, LI Shao-rong. Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic Tbox[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(5): 656-668. doi: 10.3969/j.issn.1001-0548.2009.05.025

目录

    /

    返回文章
    返回