科学技术与工程
科學技術與工程
과학기술여공정
SCIENCE TECHNOLOGY AND ENGINEERING
2007年
6期
1191-1193,1204
,共4页
区间代数%时态推理%关系向量%时态关系运算
區間代數%時態推理%關繫嚮量%時態關繫運算
구간대수%시태추리%관계향량%시태관계운산
作为推理的基础,时间的表示方法是一个基本的要素.文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量.其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中.这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现.
作為推理的基礎,時間的錶示方法是一箇基本的要素.文中為Allen的區間代數理論中區間的關繫錶達提齣瞭嚮量錶示法,稱之為關繫嚮量.其後,給齣瞭定義在關繫嚮量上的幾種運算,併將其運用于時態推理中.這種方法把原先的矩陣錶示法降為嚮量錶示,從而較好地減少瞭時態推理計算量,併易于計算機實現.
작위추리적기출,시간적표시방법시일개기본적요소.문중위Allen적구간대수이론중구간적관계표체제출료향량표시법,칭지위관계향량.기후,급출료정의재관계향량상적궤충운산,병장기운용우시태추리중.저충방법파원선적구진표시법강위향량표시,종이교호지감소료시태추리계산량,병역우계산궤실현.
