Computer Science ›› 2016, Vol. 43 ›› Issue (4): 241-246.doi: 10.11896/j.issn.1002-137X.2016.04.049

Previous Articles     Next Articles

On Countable Core Models of RCC

ZHAO Xiao-rong, YU Quan and WANG Ju   

  • Online:2018-12-01 Published:2018-12-01

Abstract: Spatial logic is an important branch of knowledge representation and reasoning.RCC(GRCC) is one of the most popular formal systems which attracts most attention.We started from the redundancy and nonredundancy of connection relation,proposed the concept of core-models,and proved the existence theorem of core-models.The internal connectivity of the RCC model was studied,and the first order definable property was proved.We proved the extension theorem of core-models based on internal connectivity.

Key words: Spatial logic,RCC,Minimal contactness,Core-models

[1] Sioutis M,Condotta J F.Tackling large Qualitative Spatial Networks of scale-free-like structure[M]∥Artificial Intelligence:Methods and Applications.Springer International Publishing,2014:178-191
[2] Miguel-Tomé S.Extensions of the heuristic topological qualitative semantic:Enclosure and fuzzy relations[J].Robotics and Autonomous Systems,2015,63:214-218
[3] Waga P.What Does It Mean to Reason Qualitatively?[J].Filozofia Nauki,2015,23(1):59-80
[4] Cohn A G,Hazarika S M.Qualitative spatial representation and reasoning:An overview [J].Fundamenta Informaticae,2001,46 (1/2):1-29
[5] Chen J,Cohn A G,Liu D,et al.A survey of qualitative spatial representations[J].The Knowledge Engineering Review,2015,30(1):106-136
[6] Egenhofer M J.reasoning about binary topological relation [C]∥Gunther O,Sheck H J,eds.Proceedings of the 2nd Symposiumon Large Spatial Databases.SSD’91(Zurich,Switzerland).Lecture Notes in Computer Science 525,1991:143-160
[7] Smith B.Mereotopology:A thory of parts and boundaries [J].Data and knowledge Engineering,1996,20(3):287-304
[8] Stell J G.Boolean connection algebras:A new approach to theregion-connection calculus [J].Artificial Intelligence,2000,122:111-137
[9] Li S,Ying M,Li Y.On countable RCC models [J].Fundamenta Informaticae,2005,65(4):329-351
[10] Li S,Ying M.Generalized Region Connection Calculus [J].Artificial Intelligence,2004,160(1/2):1-34
[11] Liu W,Zhang X,Li S,et al.Reasoning about cardinal directions between extended objects[J].Artificial Intelligence,2010,174(12):951-983
[12] Hawes N,Klenk M,Lockwood K,et al.Towards a Cognitive System that Can Recognize Spatial Regions Based on Context[C]∥AAAI.2012
[13] Kontchakov R,Pratt-Hartmann I,Zakharyaschev M.Spatialreasoning with RCC8 and connectedness constraints in Euclideanspaces[J].Artificial Intelligence,2014,217:43-75
[14] Sabharwal C L,Leopold J L.Evolution of Region Connection Calculus to VRCC-3D+[J].New Mathematics and Natural Computation,2014,10(2):103-141

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!