论文部分内容阅读
作为宇宙间所有事物具有的一种属性,时间一直贯穿着事物的发展过程。人们不仅仅关注数据和信息本身,同时也考虑事务处理的时序、有效性等时态问题。本文目的在于应用面向对象的时态知识表达模型描述时态知识。 文中首先通过研究时间的基本属性,确定表达时间的模型;进而分析时态区间和时间点并描述两者间时态关系,并引入时态算子描述这些关系。其次,进一步描述了时态逻辑的三大分支:线性时态逻辑、分支时态逻辑以及分区时态逻辑;然后引入面向对象的时态知识表达模型,给出了其BNF语法,分析如何描述领域时态知识,并研究了时态知识推理机制和算法。最后,对时态知识的可视化管理展开研究。 主要贡献在于:一、提出采用面向对象的知识表达模型描述领域知识,将多种单一的知识表达方法按照面向对象的原理组织,形成一种混合的知识表达方法。二、采用时态逻辑描述静态知识的时态属性以及动态知识的时态关系和约束,把它们独立出来作为时态知识进行处理。三、在面向对象的知识表达模型结构中扩展了描述时态知识的部分,使之成为面向对象的时态知识表达模型,进而给出了BNF语法和结构描述,并提出了时态知识可视化管理的原型。 作为理论的验证,本文在总结前期相关工作的基础上,应用该模型重新描述了SIDSS中的时态知识,详细举例说明了如何描述结构化时态知识和非结构化时态知识,并给出了时态知识可视化管理工具的原型,介绍了其结构和原理。同时,文中分析了协同工作中存在的串行和并行工作,采用时态约束描述了串、并行任务间的时序关系,并描述了一个并行协同工作的实例。