A Spatial Logic based on Regions and Connection
A Spatial Logic based on Regions and Connection
复制标题
DOI：
--
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
D. Randell;Z. Cui;A. Cohn
中科院分区：
文献类型：
--
作者：
D. Randell;Z. Cui;A. Cohn
我们描述了空间推理的区间逻辑。简单逻辑是由兰德尔和科恩提出的一个较早的理论，而前者的基础是克拉克的理论。该理论支持一个更简单的本体论，有更少的需要函数和关系，但在其有用的表达性方面却不像（cid:11）。给出了新理论的公理化，并与原来的两种理论作了比较。
We describe an interval logic for reasoning about space. The logic simpli(cid:12)es an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer de(cid:12)ned functions and relations, yet does not su(cid:11)er in terms of its useful expressiveness. An axiomatisationof the new theory and a comparison with the two original theories is given.