Computer Science ›› 2016, Vol. 43 ›› Issue (4): 241-246, 273.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   
[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .