基于描述逻辑的时态知识表示与推理研究

来源 :中山大学 | 被引量 : 0次 | 上传用户:lijizhong520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,描述逻辑由于其强大的表达能力和优良的计算性质,在知识工程领域受到广泛关注。描述逻辑的出现改变了以往知识表示和推理的方式,具有语义的知识表示方便了领域知识的创建与共享,成为目前知识表示和推理的主流语言。知识库、语义Web及本体理论等都开始用描述逻辑作为其底层的逻辑基础。 时态表达和推理有专门的国际会议,相关的研究也比较多。自然语言中时态知识的提取和标记即时态感知(temporally aware)是其中一个比较集中的研究方向,而一些针对专门领域(如实时系统、智能规划等)的时态知识的推理和应用也有较多研究。但由于应用环境和需求各不相同,一直没有形成相对统一的时态知识表示和推理框架。虽然描述逻辑已经成为知识表示和推理的主流语言,但是基于描述逻辑的时态知识表示和推理研究还只是初步的、不全面的,因此本文期望通过对基于描述逻辑的时态知识表示和推理的研究,能推进统一的时态知识表示和推理框架的形成。 本文首先通过研究时间本体来表示时态信息和知识。通过研究已有的时间本体及现实中时态知识的表现形式,给出了一个较全面的时间本体表示框架,对时态信息与知识的规范表示有一定的促进作用。在研究了时间本体表示框架后,结合时间本体给出了一个基于本体的工作流模型,能方便地表示工作流中的时态信息及约束,同时可以对工作流中的各种时态约束进行自动验证和控制,提供了另一种工作流实现的思路。 本体作为描述逻辑的应用,在其基础上的时态表达和推理必然会过于繁琐,并导致推理算法的低效。因此我们尝试对逻辑层即描述逻辑本身进行时态扩展来增加时态表达和推理能力。本文对描述逻辑进行了时态领域的扩展,给出了带时态扩展的描述逻辑ALC(T)的形式化描述及其对应的Tableau推理算法;对已有的描述逻辑推理机进行了DIG接口的时态领域扩充,同时实现了对应的Tableau推理算法;使得推理机具备了时态知识的表示和推理能力,该算法及其实现过程能方便地扩展到其他具体领域,可广泛用于现实世界中具体知识的表示和推理。 建立一个基于本体的知识库原型系统可以搭建一个研究平台,方便描述逻辑进一步的理论研究与应用。在研究了国内外本体知识库理论及应用后,决定对基于本体的法律知识库进行深入的研究。本文最后给出了一个法律领域的本体表示模型DOLegal,构建了法律知识库原型系统,能实现简单法律知识的表示和推理,并给出了具体实现过程,该系统具有较广泛的应用和推广前景。
其他文献
随着我国信息化建设力度逐步增大,我国各行业对信息系统的依赖程度日益增高。信息系统所面临的各种信息安全问题,因网络本身存在的技术脆弱性与局限性以及管理风险的大量存在
在高校图书馆,期刊是被利用最多、信息价值最高、处于“龙头”地位的一种文献。期刊具有出版周期短、内容新颖、信息量大、能系统地反映最新科技动态等特点,是高校师生从事教学
视线代表一个人的注意力方向,而视线追踪技术则是一种用于计算人视线方向的技术。视线追踪在交互、医学诊断等领域等都有着很好的应用前景,例如通过人眼对计算机的操控实现新
本文研究了C/C++程序安全检查中的函数依赖分析。给出了一种低损失解除递归函数依赖的算法。该算法通过分析程序语义,将函数调用划分为有条件调用和必然调用。利用这些信息生
几十年来,计算机技术获得飞速的发展,并在很多领域得到广泛的应用。与此同时,数据安全面临着更大的挑战,如数据泄露和人为破坏数据。根据美国计算机安全研究所的计算机犯罪和
目前,团体测试已广泛应用到驾驶员理论考试、资格考试、会议投票系统等领域,而随着计算机及网络技术的迅猛发展,考试方式也发生了巨大的变化。使用计算机化的考试系统可大大缩短
经过国家多年的信息化建设,各种电子政务系统和协同办公系统已经在政府部门广泛应用,由于当前大量的电子政务系统多为B/S模式的Web应用程序,缺乏统一的管理和设计,造成应用系
微粒群算法(PSO)是继遗传算法后的又一个基于生物演化的随机优化算法,它操作简便,收敛速度快且稳定,使得它近年来已广泛应用于很多工程中,发挥了重要的作用。本文在基本微粒群的
目前,包括地球在内的行星探测,已成为世界各国的科技发展重点,如何使探测更便捷有效变得非常重要。然而,传统的探测方式需要大量的科学技术人员的技术支撑和价格昂贵的硬件配
在集成电子商务系统研究开发的背景下,本文以国际结算软件的研制为基础,探讨了系统开发的过程、方法和工具等问题。整个研制工作贯穿基于三层体系结构的软件开发过程,运用设