基于间断区间的时态知识表示

一般，用逻辑形式表示时态信息的方法是命题附加一个时间点或时间区间。文［１］指出，时间区间表示单个事件带间断区间是困难的，不过，文［１］定义两个间断区间的时态关系为一个矩阵，其计算量相当之大以至该方法不实用二本文给出一个基于间断区间的时态知识表示模型，它将两个间断区间的时态关系分为２０种，其计算量与Ａｌｌｅｎ的区间演算属同一数量级