模糊RCC8拓扑关系.pdfVIP

第 25卷第 6期 模 糊 系 统 与 数 学 Vo1．25，No．6 2011年 12月 FuzzySystemsandMathematics Dec．，2011 文章编号：1001—7402(2011)06—0044．09 模糊RCC8拓扑关系。 李伯权h，贺 伟 (1．南京师范大学 数学科学学院，江苏 南京 210046； 2．安徽师范大学 数学计算机科学学院，安徽 芜湖 241003) 摘 要 ：研 究几类模糊空间关系。作为分明的RCC8拓扑关系的推广 ，给 出R一正则开的模糊集、R一正则 闭的模糊集、R一开的模糊集 以及 R一闭的模糊集的模糊 RCC8刻画。这些模糊空间关系将会有助于对模 糊空间区域进行定性 的推理研 究。 关键词 ：模糊空间推理 ；R一正则开；R一正则 闭；模糊 RCC8拓扑关系 中图分类号：0159 文献标识码 ：A 1 引言 定性空间推理在人工智能，地理性息系统 ，图像处理等领域都有重要的应用。空间区域之间关系在 定性空间推理中是一个首要解决的问题 ，其 中RCC8拓扑关系(叨 )已被重点研究。 叨8=：={DC，EC，PO，EQ，TPP，NTPP，TPPi，NTPPi} 重要的空间推理模型有两种：完全正则连通拓扑空间中的非空的正则开子集簇和完全正则连通拓 扑空间中的非空的正则闭子集簇 。每一个非空正则开集或每一个非空正则闭集被看作空间中的一个非 空区域(region)。模糊空间关系已有一些研究，文献Es]基于空间区域连结演算(RCC)理论以及模糊集 理论 ，给出了一种模糊区域间的模糊拓扑关系刻画的方法。SchockaertL7]中的模糊区域定义为集合x上 的正规的模糊集 ，并进一步给出了两个模糊区域A和B之间的模糊关系 C(A，B)，O(A，B)，P(A，B)和 NTPP(A，B)。作为分明的RCC8拓扑关系的推广，本文将给出R一正则开的模糊集、R一正则闭的模糊集、 R一开的模糊集以及R一闭的模糊集的模糊 RCC8关系刻画。这些模糊空间关系将会有助于对模糊空间区 域进行定性的推理研究。 2 预备知识 ￡一模是一个从[O，1]到[0，1]的映射 丁，具有交换律、结合律、单调增加的性质且满足对于任意a∈ [0，1-1，T(a，1)=a．t-余模是一个从[0，1]。到[0，1]的映射5，具有交换律、结合律、单调增加的性质且 满足对于任意n∈[0，1-1，S(a，o)一a．令丁是一个左连续的￡一模，定义从[0，1]。到[o，13的映射L，为： 任意口，b∈[O，1-1， (口，6)=sup{xI ∈Eo，1-1，T(a，)≤b)，IT被称为R一蕴涵。以下列出一些重要 的 一模 以及 ￡一余模 。 ★ 收稿 日期 ；2010—10—28；修订 日期 ：2011—01—19 基金项 目：国家自然科学基金资助项 目；江苏省普通高校研究生科研创新计划项 目与南京师范大学研究生科研创新计 划项 目(CXLX11-0861) 作者简介：李伯权 (1978一)，男，安徽庐江人，南京师范大学数学科学学院博士研究生，研究方 向：空间推理，人工智能；贺伟 (1964一)，男，陕西横 山人，南京师范大学数学科学学院教授 ，研究方向：拓扑学，格论。 第6期 李伯权，贺伟：模糊RCC8拓扑关系 45 f一模 ￡一余模 TjIf(口，6)= rain(4，6) 5‘(4，6)一 max(a，6) (口，6)= ab Sr(n，6)= a+ b— ab 丁u，(口，6)= max(0，n+ b一 1) SⅣ(口，6)= min(1，口+ 6) 本文将用到如下R一蕴涵：