A COMMENT ON RCC: FROM RCC TO RCC

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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of philosophical logic 2008-08, Vol.37 (4), p.319-352
Main Author: DONG, TIANSI
Format: Article
Language:English
Subjects:
Alliances
Artificial intelligence
Axioms
Cognition & reasoning
Connected regions
Dyadic relations
Education
Euclidean space
Government relations
International conferences
Knowledge representation
Logic
Mathematical vectors
Philosophical logics. Philosophy of language
Philosophy
Real numbers
Reasoning
Smith, B
Space
Temporal logic
Topology
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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⁺⁺.
ISSN:0022-3611
1573-0433
DOI:10.1007/s10992-007-9074-y