区间代数与区间段代数在定性时态推理中的联合运用

摘要：

详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示.研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Allen代数合成运算表.将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法.

关键词：时态推理、约束网络、区间代数、INDU代数

所属期刊栏目：9

分类号：TP183(自动化基础理论)

资助基金：总装备部武器装备预研基金51406020104CB0201

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

页数：共4页

页码：1012-1015