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

Representation and Reasoning of Interval Relations Based on Vector

作　　者：于枫[1] 胡广朋[1] 凌青华[1] 

机构地区：[1]江苏科技大学电子信息学院,镇江212003

出　　处：《科学技术与工程》2007年第6期1191-1193,1204,共4页Science Technology and Engineering

基　　金：总装备部武器预研基金项目(514060201040CBB0201)资助

摘　　要：作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。As the foundation of temporal reasoning, the representation of time is an essential fact. A vector named as relation vector to describe relations existing between intervals presented is used by Allen in his Interval algebra theory. Based on them, several operators are given to do temporal reasoning. The method which uses vector instead of metric in the reasoning can decrease amount of calculation and easy to be implemented with computer

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]