安东尼·科恩（Anthony G.Cohn）。;李三江;刘伟明;Jochen伦茨 二维空间对象之间拓扑关系和基本方向关系的推理。 （英语） Zbl 1364.68331号 J.阿蒂夫。智力。研究（JAIR） 51, 493-532 (2014). 小结：提高定性空间计算的表达能力是满足应用程序需求的重要一步。这可以通过组合现有计算来实现，我们可以使用多个计算的关系来表达空间信息。最大的挑战是开发在对组合信息进行推理时正确且完整的推理算法。以前的工作主要研究合并结石之间相互作用很小的情况，或者两个结石中的一个非常简单的情况。本文讨论了扩展空间对象的拓扑和方向信息的重要组合。我们结合了定性空间推理中一些最著名的演算，用于表示拓扑信息的RCC8代数，以及用于表示方向信息的矩形代数（RA）和基数方向演算（CDC）。我们考虑了RCC8代数的两种不同解释，一种使用弱连通关系，另一种使用强连通关系。在这两种解释中，我们都表明，利用拓扑和方向信息进行推理是可判定的，并且仍然是NP。我们的计算复杂性结果揭示了RA和CDC之间以及弱RCC8模型和强RCC8模式之间的显著差异。以基本RCC8和基本CDC约束的组合为例：我们证明了只有当我们使用强RCC8代数并明确知道相应的基本RA约束时，一致性问题才在P中。 引用于2文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Cohn}等人，J.Artif。智力。研究（JAIR）51，493--532（2014；Zbl 1364.68331） 全文： 内政部