| RCC11复合表的表示 |
| |
| 引用本文： | 李永明,李三江.RCC11复合表的表示[J].软件学报,2007,18(10):2458-2468. |
| |
| 作者姓名： | 李永明 李三江 |
| |
| 作者单位： | 1. 陕西师范大学,计算机科学学院,陕西,西安,710062
2. 清华大学,计算机科学与技术系,智能技术与系统国家重点实验室,北京,100084 |
| |
| 基金项目： | 国家自然科学基金;教育部高等学校优秀青年教师教学科研奖励计划;国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 a∩b≠? .
|
| 关 键 词： | 区域连接演算 连接关系代数 RCC11复合表 补闭圆盘代数 对偶关系集 扩张性 |
| 收稿时间： | 5/8/2005 12:00:00 AM |
| 修稿时间： | 2006-05-11 |
Representation of RCC11 Composition Table |
| |
| LI Yong-Ming and LI San-Jiang.Representation of RCC11 Composition Table[J].Journal of Software,2007,18(10):2458-2468. |
| |
| Authors: | LI Yong-Ming and LI San-Jiang |
| |
| Abstract: | This paper is mainly concerned with the relation-algebraic aspects of the well-known Region Connection Calculus (RCC).It is shown that the complemented closed disk algebra is a representation for the relation algebra determined by the RCC11 table,which was first described by Düntsch.The domain of this algebra contains two classes of regions,the closed disks and closures of their complements in the real plane,and the contact relation is the standard Whiteheadean contact(i.e.aCb iff a∩b≠(θ)). |
| |
| Keywords: | region connection calculus contact relation algebras RCC11 composition table complemented closed disk algebra dual-relation set extensionality |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
