Qualitative reasoning about relative direction of oriented points
Qualitative reasoning about relative direction of oriented points
复制标题
DOI：
10.1016/j.artint.2011.10.003
复制
发表时间：
2012-04-01
影响因子：
14.4
通讯作者：
Moratz, Reinhard
中科院分区：
文献类型：
--
作者：
Mossakowski, Till;Moratz, Reinhard
定性空间推理中的一个重要问题是相对方向的表示。在这篇文章中，我们提出了简单的几何规则，使人们能够推理定向点之间的相对方向。这个框架称为有向点代数OPRA(M)，具有可伸缩的粒度m。我们提出了一个计算OPRA(M)合成表的简单算法，并证明了它的正确性。使用合成表，对一组OPRA(M)语句进行代数闭包，对于解决空间导航任务非常有用。事实证明，可伸缩的粒度在这些导航任务中很有用。(C)2011爱思唯尔B.V.保留所有权利。
An important issue in qualitative spatial reasoning is the representation of relative directions. In this paper we present simple geometric rules that enable reasoning about the relative direction between oriented points. This framework, the oriented point algebra OPRA(m), has a scalable granularity m. We develop a simple algorithm for computing the OPRA(m) composition tables and prove its correctness. Using a composition table, algebraic closure for a set of OPRA(m) statements is very useful for solving spatial navigation tasks. It turns out that scalable granularity is useful in these navigation tasks. (C) 2011 Elsevier B.V. All rights reserved.