区问代数与区间段代数在定性时态推理中的联合运用 |
| |
引用本文: | 胡广朋,梁伟,夏祖勋.区问代数与区间段代数在定性时态推理中的联合运用[J].科学技术与工程,2009(4). |
| |
作者姓名: | 胡广朋 梁伟 夏祖勋 |
| |
作者单位: | 江苏科技大学计算机科学与工程学院,镇江212003 |
| |
摘 要: | 详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示。研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Mlen代数合成运算表。将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法。
|
关 键 词: | 时态推理 约束网络 区间代数 INDU代数 |
本文献已被 维普 等数据库收录! |
|