Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

被引：22

作者：

Cohn A.G. ^{[1
,2
,3
,4
]}

Bennett B. ^{[1
,5
,6
]}

Gooday J. ^{[1
,7
,8
,9
]}

Gotts N.M. ^{[1
,10
]}

机构：

[1] Division of Artificial Intelligence, School of Computer Studies, University of Leeds

[2] Department of Automated Reasoning, University of Leeds

[3] UK AI Society AISB, Europ. Coordinating Committee on AI

[4] School of Computer Studies, University of Leeds

[5] University College London, Imperial College

[6] Qualitative Spatial Reasoning Group, University of Leeds

来源：

GeoInformatica | 1997年 / 1卷 / 3期

基金：

英国工程与自然科学研究理事会;

关键词：

Qualitative spatial reasoning; Shape; Spatial logics; Topology; Vague boundaries;

D O I：

10.1023/A:1009712514511

中图分类号：

学科分类号：

摘要：

This paper surveys the work of the qualitative spatial reasoning group at the University of Leeds. The group has developed a number of logical calculi for representing and reasoning with qualitative spatial relations over regions. We motivate the use of regions as the primary spatial entity and show how a rich language can be built up from surprisingly few primitives. This language can distinguish between convex and a variety of concave shapes and there is also an extension which handles regions with uncertain boundaries. We also present a variety of reasoning techniques, both for static and dynamic situations. A number of possible application areas are briefly mentioned.

引用

页码：275 / 316

页数：41

共 118 条

[61]

Gotts N.M., Defining a 'doughnut' made difficult, Reports of the Doctoral Programme in Cognitive Science, 37, (1994)

[62]

Gotts N.M., How far can we 'C'? defining a 'doughnut' using connection alone, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), (1994)

[63]

Gotts N.M., An Axiomatic Approach to Topology for Spatial Information Systems, (1996)

[64]

Gotts N.M., Formalising commonsense topology: The INCH calculus, Proc. Fourth International Symposium on Artificial Intelligence and Mathematics, (1996)

[65]

Gotts N.M., Toplogy from a Single Primitive Relation: Defining Topological Properties and Relations in Terms of Connection, (1996)

[66]

Gotts N.M., Using the RCC Formalism to Describe the Topology of Spherical Regions, (1996)

[67]

Gotts N.M., Cohn A.G., A mereological approach to spatial vagueness, Proceedings, Qualitative Reasoning Workshop 1995 (QR-95), (1995)

[68]

Gotts N.M., Gooday J.M., Cohn A.G., A connection based approach to common-sense topological description and reasoning, The Monist, 79, 1, pp. 51-75, (1996)

[69]

Grigni M., Papadias D., Papadimitriou C., Topological inference, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1, pp. 901-906, (1995)

[70]

Grzegorczyk, A. Undecidability of some topological theories, Fundamenta Mathematicae, 38, pp. 137-152, (1951)

← 2 3 4 5 6 7 8 9 10 11 →