QQ客服 官方微博 反馈留言

	On countable RCC models
	Li, SJ ; Ying, MS ; Li, YM
	2010-05-06 ; 2010-05-06
关键词	Region Connection Calculus Qualitative Spatial Reasoning (generalized) Boolean connection algebra countable RCC models hierarchical spatial reasoning REGION-CONNECTION CALCULUS COMPOSITION TABLE Computer Science, Software Engineering Mathematics, Applied
中文摘要	Region Connection Calculus (RCC) is the most widely studied formalism of Qualitative Spatial Reasoning. It has been known for some time that each connected regular topological space provides an RCC model. These 'standard' models are inevitable uncountable and regions there cannot be represented finitely. This paper, however, draws researchers' attention to RCC models that can be constructed from finite models hierarchically. Compared with those 'standard' models, these countable models have the nice property that regions where can be constructed in finite steps from basic ones. We first investigate properties of three countable models introduced by Duntsch, Stell, Li and Ying, resp. In particular, we show that (i) the contact relation algebra of our minimal model is not atomic complete; and (ii) these three models are non-isomorphic. Second, for each n>0, we construct a countable RCC model that is a sub-model of the standard model over the Euclidean unit n-cube; and show hat all these countable models are non-isomorphic, Third, we show that every finite model can be isomorphically embedded in any RCC model. This leads to a simple proof for the result that each consistent spatial network has a realization in any RCC model.
语种	英语 ; 英语
出版者	IOS PRESS ; AMSTERDAM ; NIEUWE HEMWEG 6B, 1013 BG AMSTERDAM, NETHERLANDS
内容类型	期刊论文
源URL	[http://hdl.handle.net/123456789/10423]
专题	清华大学
推荐引用方式 GB/T 7714	Li, SJ,Ying, MS,Li, YM. On countable RCC models[J],2010, 2010.
APA	Li, SJ,Ying, MS,&Li, YM.(2010).On countable RCC models..
MLA	Li, SJ,et al."On countable RCC models".(2010).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。