面向对象的时态知识表示及推理

来源 :中山大学 | 被引量 : 0次 | 上传用户:gm_686
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时间是自然界无所不在的客观属性,在研究不断变化着的客观世界时,时间是一个非常重要的因素。传统的知识库系统忽视了知识的时态属性,不能正确地反映客观世界的变化。因为在客观世界中对知识的处理都是在某一特定时间下的知识的处理,知识具有时态特征。如何将时态信息引入知识库即时态知识库成为当前知识库系统技术面临的一个挑战。 本文的主要研究工作是:首先,在传统知识表示的基础上将有效时间引入知识单元(例如一条产生式规则、一个知识对象等),事务时间仅作为时态推理的触发时间不记录在知识库中;其次,提出一个面向对象的知识库方法来模拟和处理时态信息并给出了时态知识对象的概念,将时态产生式规则看作时态知识对象定义的一部分一一规则属性,时态产生式规则的具体内容和时态知识的推理封装在时态知识对象中,每一个时态知识对象看成一个小型时态产生式系统,时态知识的推理通过对象间的消息传递来驱动;最后,在此基础上设计了一个面向对象的时态知识库模型,并基于对象关系数据库Oracle探讨了面向对象的时态知识库的存储与管理。 本文的主要贡献在于把时态知识库引入到工资智能决策支持系统(SIDSS),将工资政策看作时态知识采用时态产生式规则来描述,人员的时态信息作为时态知识对象的时态特征属性。另外,本文在时态知识的表示中引入了时态变量“Now”,利用“Now”来表示不确定的时间,讨论了时态推理过程中知识的时间一致性问题,基于Allen的区间代数和时态逻辑设计了一个面向对象的时态知识推理模型。
其他文献
本文总结了目前精确模式串匹配算法的研究现状,介绍并实现了现有的主要高性能算法。这些算法包括单模式精确串匹配算法:KMP算法、BM算法、PK算法和QS算法;多模式精确串匹配算法:A
作为OMG提出的新一代软件开发方法学,MDA(模型驱动架构)将软件开发抽象层次从代码提高到了模型。模型转换技术是实现MDA的关键,其中,PSM(平台相关模型)到代码的转换是模型转换技
复杂仿真系统评估是个动态过程,而复杂仿真系统概念模型评估方法则是评估过程中重要的问题,可以保障复杂仿真系统概念模型能够作为仿真系统开发人员设计和实现复杂仿真系统的重
检查点技术可以使应用程序快速恢复至正确状态并减少系统故障带来的计算损失,保证长运算时间作业的可完成性,是提高机群系统可用性的重要手段。为了使应用程序在系统出现故障
分布式实时系统软件在大小和复杂性方面都在不断增加。尽管计算资源、处理能力和网络带宽在过去十年来都有着数量级的增长时,大规模的分布式实时软件系统的构造还是存在非常
太阳直接辐射及其间接辐射在作物冠层内的分布是其群体生理生态活动的基础性影响因素。本文在基于三角元的玉米冠层三维空间结构模型的基础上,利用蒙特卡洛光线跟踪(MonteCarl
为用户提供安全可靠的保密通信是计算机网络安全最为重要的内容。目前采用的方法是使用密码技术实现数据的加密传输,这样在网络中传递的数据是被加密以后生成的密文,从而防止非
近年来在无线通信和电子制造业的发展,促使了无线体域网的新兴。无线体域网是由各种各样的传感器组成的小型网络,可以为人们提供实时的身体情况监测和反馈,主要应用在病人的医疗
本文以内网安全技术和中间件技术为背景,并基于内网安全平台设计实现了面向分布式应用、跨平台的通信中间件,为内网安全应用提供强有力的、可靠的、安全的通信支撑。 论文共
随着计算机技术的飞速发展,嵌入式系统在各行各业获得了广泛的应用。硬件的正常运转不能没有软件支持,由于嵌入式系统本身不具备自举开发能力,因此拥有好的软件开发平台就显得尤