indu网络的解析表达及其一致性计算

？indu网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了indu网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画indu网络,并用它来实现indu网络全局解的一致性计算。