论文部分内容阅读
时间作为描述客观世界事物状态变化发展过程的重要因素之一，与人们的日常生活息息相关。在信息科技不断普及和深化的今天，计算机研究的对象从过去简单数据的存储和运算发展到更深层次的知识的发现和推理。同样地，时态信息的研究内容从时态数据逐渐拓展到时态知识领域。在探索时态知识的研究过程中，人们逐渐认识到，时态知识的研究并不能脱离领域知识，如何有效地表达和处理带有时态特征的知识成为一个重要研究课题。
时态知识的研究内容和对象十分广阔，本文以时态事件规则作为研究切入点，深入探讨了如何有效地表达时态事件规则中的领域知识和时态约束知识的模型，并重点研究基于时态约束网络的时态事件规则的时态约束冲突的推理和规则的实例推理。
本文的研究工作主要包括：首先系统地分析现有的时态知识模型，提出评价时态知识的建模原则，并对支持定性和定量模型的时态约束网络进行详细的分析和研究。然后，探讨了时态事件规则中领域知识的处理方法。借鉴了在语义网中的得到广泛应用的本体建模的方法，提出以本体表达时态事件规则库的领域知识部分。本体作为概念模型显示的形式化说明，能够有效地表达时态事件规则中特定领域的知识。最后，制定了基于时态事件约束网络的时态事件规则的表达和推理的原型框架。提出了检测时态事件规则的时态约束冲突的方法和规则实例检测的方法。