科学技术与工程
科學技術與工程
과학기술여공정
SCIENCE TECHNOLOGY AND ENGINEERING
2009年
4期
1012-1015
,共4页
时态推理%约束网络%区间代数%INDU代数
時態推理%約束網絡%區間代數%INDU代數
시태추리%약속망락%구간대수%INDU대수
详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示.研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Allen代数合成运算表.将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法.
詳細討論瞭從Allen代數縯化為INDU代數的思路和INDU代數的幾何錶示.研究指齣,INDU是Allen代數中原子關繫的細分和可採納域的細化,對于路徑一緻性計算它是比Allen更為準確的方法;但是在約束網絡推理計算中由于INDU的閤成運算錶過于龐大,仍可使用Allen代數閤成運算錶.將Allen代數與INDU代數結閤使用是時態約束網絡定性推理的較好方法.
상세토론료종Allen대수연화위INDU대수적사로화INDU대수적궤하표시.연구지출,INDU시Allen대수중원자관계적세분화가채납역적세화,대우로경일치성계산타시비Allen경위준학적방법;단시재약속망락추리계산중유우INDU적합성운산표과우방대,잉가사용Allen대수합성운산표.장Allen대수여INDU대수결합사용시시태약속망락정성추리적교호방법.
