[论文解读] On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi

Zhiguo Long, Sanjiang Li|arXiv (Cornell University)|Jun 1, 2015

Constraint Satisfaction and Optimization参考文献 21被引用 9

一句话总结

本文引入并表征了定性空间与时间演算中的分配子代数，证明在这些子代数上进行路径一致性处理可确保全局一致性。文章建立了分配性的充要条件——任意三个或更多关系的交集非空当且仅当所有两两交集均非空，并计算了PA、IA、RCC5/8、CRA和RA的所有最大分配子代数，从而实现了大规模约束网络中的高效推理。

ABSTRACT

Qualitative calculi play a central role in representing and reasoning about qualitative spatial and temporal knowledge. This paper studies distributive subalgebras of qualitative calculi, which are subalgebras in which (weak) composition distributives over nonempty intersections. It has been proven for RCC5 and RCC8 that path consistent constraint network over a distributive subalgebra is always minimal and globally consistent (in the sense of strong $n$-consistency) in a qualitative sense. The well-known subclass of convex interval relations provides one such an example of distributive subalgebras. This paper first gives a characterisation of distributive subalgebras, which states that the intersection of a set of $n\geq 3$ relations in the subalgebra is nonempty if and only if the intersection of every two of these relations is nonempty. We further compute and generate all maximal distributive subalgebras for Point Algebra, Interval Algebra, RCC5 and RCC8, Cardinal Relation Algebra, and Rectangle Algebra. Lastly, we establish two nice properties which will play an important role in efficient reasoning with constraint networks involving a large number of variables.

研究动机与目标

• 对定性演算中的分配子代数进行形式化与表征，其中弱复合运算对非空交集具有分配性。
• 确定在何种条件下，基于此类子代数的路径一致约束网络可保证全局一致。
• 计算主要演算（包括点代数、区间代数、RCC5/8、基数关系代数和矩形代数）的所有最大分配子代数。
• 建立支持大规模约束网络中高效推理的结构性质（例如Helly性质）。
• 为通过利用分配子代数优化定性空间与时间推理提供理论基础。

提出的方法

• 提出定性演算中分配子代数的形式化定义，要求对非空 $ S \cap T $ 满足 $ R \diamond (S \cap T) = (R \diamond S) \cap (R \diamond T) $，并满足右分配性的类似条件。
• 建立表征：一个子代数是分配的当且仅当任意 $ n \geq 3 $ 个关系的交集非空当且仅当所有两两交集均非空。
• 应用集合系中的Helly性质，证明在分配子代数中，两两交集非空可推出总交集非空。
• 利用环路定律和弱复合性质，在路径一致性算法的增量约束扩展过程中验证一致性。
• 采用代数闭包与情景扩展技术，证明在分配子代数上，路径一致网络具有全局一致性。
• 通过分析每种演算中弱复合、交集与逆运算的封闭性，系统计算最大分配子代数。

实验结果

研究问题

• RQ1 在定性演算中，表征分配子代数的精确代数条件是什么？
• RQ2 在何种条件下，基于分配子代数的路径一致约束网络可保证全局一致？
• RQ3 对于主要定性演算（如PA、IA、RCC5/8、CRA和RA）而言，哪些最大分配子代数存在？
• RQ4 如何利用分配子代数提升大规模定性约束网络中推理的效率？
• RQ5 支撑分配子代数中一致性保证的结构性质（如Helly性质）是什么？

主要发现

• 当且仅当所有两两交集非空时，任意 $ n \geq 3 $ 个关系的交集才非空，此时子代数为分配的。
• 在分配子代数上，路径一致网络具有全局一致性，即所有部分解均可扩展为完整解。
• 区间代数中凸区间关系的类是一个最大分配子代数，推广了Ligozat的早期结果。
• 本文已计算并表征了PA、IA、RCC5/8、CRA和RA的所有最大分配子代数。
• 分配子代数满足Helly性质，确保两两交集非空可推出总交集非空。
• 分配性质支持高效的增量推理：一致的部分情景可被扩展以包含新变量，同时保持路径一致性。