中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 学位论文
题名:
语义Web中的自动推理和主动规则终止性分析
作者: 徐贵红
答辩日期: 2008-06-04
导师: 张健
专业: 计算机软件与理论
授予单位: 中国科学院研究生院
授予地点: 中国科学院软件研究所
学位: 博士
关键词: 语义Web ; 自动推理 ; 描述逻辑 ; 一阶逻辑推理 ; 自动定理证明 ; 有限模型查找 ; ECA规则 ; 终止性 ; 约束 ; 约束求解
其他题名: Automated Reasoning and Termination Analysis of Rules for the Semantic Web
分类号: 暂无
索取号: 暂无
部门归属: 计算机科学国家重点实验室
摘要: 语义Web是现有Web的一个语义延伸,目标是使Web的应用具有一定的智能,能够进行更准确的信息搜索和一定的决策支持,帮助用户自动完成一些任务。语义Web的实现需要人工智能、数据库等领域的技术支持,需要对已有的技术进行改进和扩展,也需要对现有技术本身如ECA规则进行更深入的研究从而进一步将其扩展到语义Web。自动推理技术是语义Web实现的基础之一,而ECA规则可以为系统增加反应性行为能力,本文围绕自动推理和ECA规则,主要进行了如下研究:(1) 一阶逻辑推理技术对语义Web的推理支持。分析了语义Web语言需要的表达能力,对现有描述逻辑工具、一阶逻辑工具的能力进行了考察。现有的描述逻辑工具不足以处理应用所需要的更丰富的语言成分、任意的一阶逻辑规则等,而一阶逻辑自动定理证明工具和有限模型查找工具有分别都有较好的研究成果。把语义Web的推理问题化成可满足性判定问题后,本文给出了一阶逻辑定理证明器和有限模型查找器形成的并发过程进行可满足性判定的方法。这样既可以解决描述逻辑工具的不足,并可弥补定理证明器对可满足的公式推理的不完备性。(2) ECA规则(主动规则)的终止性分析。终止性是主动规则最重要的行为性质,不终止是由于主动规则的级联触发造成的,意味着定义错误。终止性检查通常是不可判定的。有效的静态分析方法是主动规则得以实际应用的保证。静态分析的关键是合适的数据库状态描述,本文给出用约束表示数据库状态的方法,通过模拟规则执行,使用约束求解进行条件计算和重复状态检查,判断主动规则集合是否终止。用约束精确表示了数据库状态,在规则处理中考虑了执行语义,从而得到更精确的终止性结论。
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6702
Appears in Collections:计算机科学国家重点实验室 _学位论文

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200318015001002徐贵红_paper.pdf(1915KB)----限制开放-- 联系获取全文

Recommended Citation:
徐贵红. 语义Web中的自动推理和主动规则终止性分析[D]. 中国科学院软件研究所. 中国科学院研究生院. 2008-06-04.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[徐贵红]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[徐贵红]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace