共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
3.
4.
5.
6.
7.
8.
11.
12.
13.
14.
15.
Tiansi Dong 《Journal of Philosophical Logic》2008,37(4):319-352
The Region Connection Calculus (RCC theory) is a well-known spatial representation of topological relations between regions.
It claims that the connection relation is primitive in the spatial domain. We argue that the connection relation is indeed
primitive to the spatial relations, although in RCC theory there is no room for distance relations. We first analyze some
aspects of the RCC theory, e.g. the two axioms in the RCC theory are not strong enough to govern the connection relation,
regions in the RCC theory cannot be points, the uniqueness of the operation in the theory is not guaranteed, etc. To solve some of the problems, we propose an extension to the RCC theory
by introducing the notion of region category and adding a new axiom which governs the characteristic property of the connection
relation. The extended theory is named as RCC++. We support the claim that the connection relation is primitive to spatial domain by showing how distance relations, size
relations are developed in RCC++. At last we revisit a sub-family of un-intended models in RCC theory, argue that RCC++ is more suitable than RCC with regards to its original intended model, and discuss the representation limitation of the RCC,
as well as RCC++. 相似文献
16.
17.
18.
19.
20.