RCC的可数核心模型

doi:10.11896/j.issn.1002-137X.2016.04.049

计算机科学 ›› 2016, Vol. 43 ›› Issue (4): 241-246.doi: 10.11896/j.issn.1002-137X.2016.04.049

RCC的可数核心模型

赵晓蓉,余泉,王驹

黔南民族师范学院计算机科学系都匀558000,黔南民族师范学院数学系都匀558000;桂林电子科技大学广西可信软件重点实验桂林541004,桂林电子科技大学广西可信软件重点实验桂林541004

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家自然科学基金项目(61463044),广西可信软件重点实验室研究课题(kx201330,kx201419),贵州省科技厅项目((2011)LKZ7038,LKQS[2013]29,[2014]7421),贵州省省长基金项目((2012)47)资助

On Countable Core Models of RCC

ZHAO Xiao-rong, YU Quan and WANG Ju

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

摘要/Abstract

摘要： 空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通性,证明了该内部连通性是一阶语义可定义的。基于内部连通性,证明了核心模型的外延定理。

关键词: 空间逻辑,RCC,最小连通,核心模型

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

赵晓蓉,余泉,王驹. RCC的可数核心模型[J]. 计算机科学, 2016, 43(4): 241-246. https://doi.org/10.11896/j.issn.1002-137X.2016.04.049

ZHAO Xiao-rong, YU Quan and WANG Ju. On Countable Core Models of RCC[J]. Computer Science, 2016, 43(4): 241-246. https://doi.org/10.11896/j.issn.1002-137X.2016.04.049

参考文献

[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

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

RCC的可数核心模型

On Countable Core Models of RCC

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0