[论文解读] A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties

Frank Dylla, Jae Hee Lee+5 more|arXiv (Cornell University)|Jun 1, 2016

Constraint Satisfaction and Optimization参考文献 122被引用 32

一句话总结

本文提出了一项关于定性空间与时间计算（QSTC）的全面、统一的综述，引入了一个广义代数框架，该框架涵盖了所有现有计算。它根据代数性质（如结合律、单位元和对合性）系统地对计算进行分类，同时对复合、逆和补运算提供统一处理，从而实现在各种QSTC形式化体系中的一致性推理与计算分析。

ABSTRACT

Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods, which now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.

研究动机与目标

• 提供一个统一的、通用的定性空间与时间计算定义，涵盖所有现有形式化体系。
• 基于其代数性质（如结合律、单位元和对合性）对现有计算进行分类。
• 通过广义关系代数概念，建立一个通用的理论基础，以支持对定性计算的推理。
• 调查所有已知的定性计算（作者所知）及其计算复杂度，包括可解性与一致性检查。
• 通过引入一种广义闭包算法，支持实际推理，该算法适用于所有计算，无论其具体属性如何。

提出的方法

• 提出一种使用无限域上关系集合的广义二元定性计算形式化，包含并集、复合、逆和补运算。
• 引入一个细化的代数层次结构：非结合（NA）、半结合（SA）、弱结合（WA）和完整关系代数（RA），并为每一类提供公理。
• 定义复合运算的多种变体（例如，$\mathbin{{}_{3}\circ_{2}^{3}}}$、$\mathbin{\circ_{\text{FZ}}^{3}}}$），并识别其对应的单位元和代数性质。
• 应用Peirce定律和Tarski公理，即使在不满足完整结合律或分配律的情况下，也统一了不同计算间的推理。
• 提出一种广义代数闭包算法，适用于所有计算，即使其不满足强代数公理。
• 使用推理问题的分类体系（如一致性、可满足性、路径一致性），并将其映射到计算复杂度类。

实验结果

研究问题

• RQ1 如何在单一广义框架下正式统一所有现有定性空间与时间计算？
• RQ2 支持一致且高效推理的计算所需的最小代数性质是什么？
• RQ3 不同复合、逆和补运算变体如何影响推理任务的计算复杂度？
• RQ4 哪些计算满足强代数性质（如结合律、分配律），哪些不满足，这对推理算法有何影响？
• RQ5 能否设计一种单一的广义闭包算法，使其适用于所有已知计算，即使这些计算缺乏强代数公理？

主要发现

• 本文识别并分类了50多个定性计算，首次全面综述了其计算与代数属性。
• 研究发现，并非所有计算都满足完整关系代数公理——部分仅满足较弱的性质，如半结合性或弱结合性。
• 对于三元计算，本文表明逆运算满足 $((R^{\mathord{\textup{{sc}}}})^{\mathord{\textup{{sc}}}})^{\mathord{\textup{{sc}}}} = R$，而非 $ (R^{\mathord{\textup{{sc}}}})^{\mathord{\textup{{sc}}}} = R $，表明其具有非标准的对合行为。
• 不同复合变体具有不同的单位元（例如，$\mathord{\textup{{id}}}^{3}_{\{2,3\}}}$ 对应于 $\mathbin{{}_{3}\circ_{2}^{3}}}$），且仅部分满足结合律（例如，$\mathbin{{}_{3}\circ_{2}^{3}}}$ 满足结合律，而 $\mathbin{\circ_{\text{FZ}}^{3}}}$ 不满足）。
• 所提出的广义闭包算法超越了以往方法，即使在不满足强代数公理的计算中也能适用，从而具备更广泛的应用范围。
• 综述表明，结合律和分配律等代数性质并非在所有计算中都普遍成立，因此需要一个灵活、模块化的推理框架。