时态关系的向量表示及其推理

摘要：

作为推理的基础,时间的表示方法是一个基本的要素.文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量.其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中.这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现.

关键词：区间代数、时态推理、关系向量、时态关系运算

所属期刊栏目：7

分类号：TP3(计算技术、计算机技术)

资助基金：解放军总装备部预研项目514060201040CBB0201

在线出版日期：2007-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1191-1193,1204