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