[论文解读] Relational reasoning in the region connection calculus

Yongming Li, Sanjiang Li+1 more|ArXiv.org|May 14, 2005

Constraint Satisfaction and Optimization参考文献 29被引用 5

一句话总结

本文研究了区域连接演算（RCC）的关系代数基础，证明标准RCC模型的接触关系代数（CRA）并非原子完备，因此为无限集，这使得通过简单细化RCC8无法获得外延性组合表。本文引入补全闭圆盘代数作为RCC11组合表的表示，证明其提供了一个所有组合三元组均可实现的外延性模型，从而解决了定性空间推理中的关键局限。

ABSTRACT

This paper is mainly concerned with the relation-algebraical aspects of the well-known Region Connection Calculus (RCC). We show that the contact relation algebra (CRA) of certain RCC model is not atomic complete and hence infinite. So in general an extensional composition table for the RCC cannot be obtained by simply refining the RCC8 relations. After having shown that each RCC model is a consistent model of the RCC11 CT, we give an exhaustive investigation about extensional interpretation of the RCC11 CT. More important, we show the complemented closed disk algebra is a representation for the relation algebra determined by the RCC11 table. The domain of this algebra contains two classes of regions, the closed disks and closures of their complements in the real plane.

研究动机与目标

• 研究区域连接演算（RCC）的关系代数性质，特别是其接触关系代数（CRA）的结构。
• 确定是否可以通过细化RCC8关系获得RCC的外延性组合表，考虑到RCC模型可能不支持外延性。
• 通过实平面上的几何区域，构建RCC11组合表的具体外延性模型。
• 证明补全闭圆盘代数为RCC11组合表定义的关系代数提供表示，确保所有组合三元组均可实现。
• 阐明RCC组合表在何种条件下可为外延性，特别是与域限制和原子完备性之间的关系。

提出的方法

• 本文分析最小RCC模型 $\mathfrak{B}_{\omega}$ 的接触关系代数（CRA），并证明其并非原子完备，意味着其为无限集。
• 研究$n$维欧氏空间中的CRA，表明其同样为无限集且非整环，因此排除了有限外延性组合表的存在。
• 本文构建补全闭圆盘代数 $\mathcal{L}$，其定义域由 $\mathbb{R}^2$ 中的闭圆盘及其补集的闭包构成，采用标准Whiteheadean接触关系（$a{\bf C}b$ 当且仅当 $a\cap b\neq\emptyset$）。
• 通过利用圆的几何性质（如相切、包含与分离）验证所有73个组合三元组，证明RCC11组合表（CT）在此代数中为外延性。
• 本文在RCC11组合表中引入上标×以表示无法进行外延解释的条目，并证明在补全闭圆盘代数中，所有此类条目均被解决。
• 本文使用关系代数技术，包括一致模型与外延模型的定义，正式证明补全闭圆盘代数是RCC11 CT所生成关系代数的表示。

实验结果

研究问题

• RQ1 是否可通过细化RCC8关系获得RCC的外延性组合表，还是需要更强的域限制？
• RQ2 标准RCC模型的接触关系代数（CRA）是否为原子完备？其对组合表外延性有何影响？
• RQ3 RCC11组合表是否容许一个外延性模型？若是，何种几何域可支持此类模型？
• RQ4 补全闭圆盘代数能否作为RCC11 CT所定义关系代数的表示？
• RQ5 将区域限制为若尔当曲线（如圆）及其补集的域限制，在实现空间组合表的外延性中起到何种作用？

主要发现

• 最小RCC模型 $\mathfrak{B}_{\omega}$ 的接触关系代数（CRA）并非原子完备，意味着其为无限集，无法支持有限外延性组合表。
• n维欧氏空间中CRA为无限集且非整环，表明RCC模型总体上无法产生有限且外延的组合表。
• 由 $\mathbb{R}^2$ 中的闭圆盘及其补集闭包构成的补全闭圆盘代数 $\mathcal{L}$，为RCC11 CT所确定的关系代数提供了表示。
• RCC11 CT中的全部73个组合三元组在补全闭圆盘代数中均可实现，无任何条目标记为上标×。
• 本文证明RCC11 CT在 $\mathcal{L}$ 中为外延性，且该代数满足全部组合方程（C-1）至（C-12），确认其作为模型的有效性。
• 研究表明，将域限制为由若尔当曲线（如圆）及其补集界定的区域，可产生外延性模型，为构建外延性空间演算提供了可行路径。