收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Domain理论及Rough集理论若干相关问题研究

雷银彬  
【摘要】: 随着计算机科学的飞速发展,有关计算机科学的数学基础研究越来越受到人们的关注和重视,已成为数学和计算机科学研究者共同感兴趣的领域。产生于上个世纪70年代初的Domain理论和80年代初的Rough集理论正是这样两个重要交叉领域。它们独立发展,但从共同的数学基础来看,二者均基于数学中三大基本结构之一的序结构理论,同时与拓扑、代数、范畴、逻辑等学科有着密切的联系。 它们的提出都有较强的计算机背景,但同时也是数学发展的需要。其中,Domain理论建立的初衷是为高级程序设计语言的指称语义学提供数学基础,序和拓扑的相互结合、相互作用是其基本特征,正因如此,Domain理论成为计算机科学家和数学家共同关心的领域。事实上,除了在计算机科学方面作为形式语义学的数学基础或数学框架、赋予或解释语句语义,以及应用于人工智能(AI)中知识表示及推理(KRR)、数据分析等方面之外,在若干数学分支如动力系统、分形、拓扑等方面,Domain也是一种重要的数学结构;例如,Domain环境便从序与拓扑交融的角度为某些拓扑空间提供了一种计算模型。另一方面,Rough集理论创立的目的是为处理含糊不清(vague)的概念或数据提供一个有力的数学工具,但其理论基础,依然建立在数学中的经典分支如集合论、拓扑、逻辑、代数、序结构理论之上。经过二十多年的发展,Rough集方法已被广泛应用于AI和认知科学中,尤其是在数据分析、知识表示、知识发现、机器学习、决策分析、专家系统、模式识别等领域。 作为两个数学分支,Domain理论与Rough集理论有着各自不同的研究对象和特点,但它们的研究都是在序结构的框架下进行的,在某些方面相互渗透和相互影响。本文的主旨也就是对Domain理论与Rough集理论在这些方面的共同数学基础特别是序结构方面进行讨论。文中我们运用拓扑、序结构、代数、范畴及逻辑的理论和方法,在Domain方面,研究了两类最受关注的拓扑(Hausdorff拓扑、Scott拓扑)的对偶拓扑、有限偏序集的Cartesian积、积的收缩、相关范畴和Domain方程等问题,在Rough集方面,研究了近似算子的刻画及相关范畴问题,最后建立了Domain理论与Rough集理论之间深入的内在联系。 具体而言,我们作了如下工作: 首先,我们对Domain理论中与此相关的3个公开问题进行讨论。 第一个公开问题事实上由Misloye和Lawson在拓扑学名著《Open Problems in Topology》中提出的两个关于对偶拓扑的公开问题组成;哪些拓扑它们同时也是对偶拓扑?如果对一个拓扑连续取对偶,作用有限次后所产生的拓扑之中有互为对偶的吗?对该问题,我们讨论了两类经典的拓扑即Hausdorff拓扑与Scott拓扑的相关问题。对任意Hausdorff空间(X,τ),有τ~d=τ~(ddd),对τ反复取对偶,连同τ本身至多产生3个不同的拓扑:τ、τ~d和τ~(dd),由此,我们对所有Hausdorff空间做了一个分类,即三个严格递增的类,然后刻画了满足τ=τ~(dd)的Hausdorff空间。事实上,满足τ=τ~(dd)的Hausdorff空间(X,τ)恰为Hausdorffκ-空间。此外,我们研究了对偶拓扑与原拓扑之间的关系,为解决公开问题提供了一些可行的思路。另一方面,对Scott拓扑,我们的研究对象是定向完备偏序集(dcpo)D,其上Scott拓扑记为σ(D),我们给出了σ(D)~d=ω(D)的刻画及其成立的一个较广泛的充分条件,研究了σ(D)~d=ω(D)与Scott紧集、强紧集之间的关系。此外,我们证明了对任何dcpo D有σ(D)~(dd)(?)σ(D),进而对应于Hausdorff拓扑情形给出了σ(D)=σ(D)~(dd)的一个内在刻画,并借助于若干具体的例子讨论了σ(D)与σ(D)~(dd)之间的关系。这些结果对上述公开问题在Hausdorff拓扑与Scott拓扑这两类最受关注的重要情形下作了部分回答。 第二、三个公开问题都相关于有限偏序集的Cartesian积。 其中,第二个公开问题是Plotkin于1978年在文[90]中提出的如下猜想:对于三元真值dcpo T及任一基数,κ>ω,函数空间[T~κ→T~κ]不是T~κ的收缩。我们知道Scott曾于1976年证明了具有可数基的连续格恰为2~ω的一个收缩以及更一般地,任一连续格恰为2的某个积的收缩[97];随后,Plotkin于1978年证明了具有可数基的coherent domain(即两两相容的子集必有上确界的domain)恰为T~ω的收缩。然而,该结果若要推广至不可数情形,则有难以逾越的障碍,这正是Plotkin提出上述猜想的原因。文中我们构造性地证明了该猜想。这个结果不仅给出了T~κ这个基本生成结构在拓扑与序结构理论方面的一个重要性质,而且,在计算机科学中的形式语义学方面,它指出了这样一个事实:对κ>ω,T~κ不能作为任何程序设计语言的指称语义模型;其意义在于:对于形式语义学中包涵较连续格更为广泛的基本生成结构T~κ,澄清了由其生成的coherent domain作为指称语义模型在理论上的界限。 类似地,作为对形式语义学数学模型的考虑,基于Scott的前述结论,Mislove和Lawson在[55]中更进一步提出如下公开问题即本文的第三个问题:更为一般的拓扑空间在积和收缩的作用下产生的最小封闭类具有什么性质?具体地,若选择一族有限T_0空间作为生成空间,会产生什么样的空间类?它是Cartesian Closed的吗?事实上,有限T_0空间恰为赋Scott拓扑的有限偏序集,因此,该公开问题中的有限T_0空间可直接换为有限偏序集。对该问题,我们具体讨论了生成的空间含T的任何一族有限偏序集(具有最小元)F,F在积和收缩的作用下产生的最小封闭类不是Cartesian Closed的,从而说明了: 在由任何一族非平凡有限偏序集作为生成空间在积和收缩的作用下产生的最小封闭类中, (1)连续格范畴是其最小的关于任意积和收缩封闭的Cartesian Closed满子范畴, (2)若生成空间中每一个对象均为有限L-domain,则连续格范畴是其唯一的关于任意积和收缩封闭的Cartesian Closed满子范畴。 综上,我们澄清了Domain理论中关于对偶拓扑、有限偏序集所生成的空间及相关范畴的一些疑问。 本文另一工作是研究Rough集理论中与序结构相关的2个问题。 正如前面所提到的,Rough集理论与Domain理论一样具有知识表示及推理、数据分析等功能,而其中所用到的核心概念是近似算子(approximation operator)。首先,我们从整体角度刻画该理论中的近似算子,然后,进一步从范畴角度考虑所有近似空间。 对一个近似空间(U,R),由于上、下近似算子从整体看是对偶的,所以我们主要讨论了上近似算子在R为各种可能关系情形下的刻画。这些刻画表明了Rough集理论与序结构理论之间的密切联系,同时我们得到了该算子的一些重要而新颖的性质。另一方面,基于前述刻画及应用之需,我们建立了近似空间与完备原子布尔格、素代数格之间的联系,从不同知识间关系的角度,定义了近似空间范畴AS_E,用范畴的语言(构造)解释了对信息系统的不同处理。比如,pullback可用来解释两个或两个以上源信息系统的融合;pushout可用来解释两个或两个以上源信息系统的共有的背景知识。在Rough集理论中引入范畴打破了原有的对知识处理的单一的方式,从范畴层次对已有的相关或不相关的知识进行处理。以上对近似算子的刻画以及引入范畴理论为Rough集的研究提供了一个新的途径。 最后,我们从Domain理论与Rough集理论共有的知识表示及推理功能的角度,借助于形式概念分析的方法,在概念格这个共同的基点上,通过模态算子◇和□构成的Galois联络以及引入逼近结构,在两个理论之间建立了深入的内在联系.具体而言,我们通过Galois联络讨论了Rough集理论中已有的两种概念格结构,并将其推广至无穷情形,得出在Rough集框架下的完备格的概念格表示,由此说明了:Rough集框架下的概念格与标准的概念格具有同等的表达力。然后,从逻辑的角度,我们讨论了Rough概念格与信息系统(由Scott定义)之间的联系,证明了对任何形式上下文(U,V,(?)),当属性集V有限时,其面向对象的Rough概念恰和相应导出信息系统的状态一致。一般地,对无限情形,我们在Rough概念格中引入逼近结构,定义了Rough可逼近概念,得到任何形式上下文的Rough可逼近概念和相应导出信息系统的状态一致,然后构造了Rough集框架下的Domain结构,并给出完备代数格的Rough可逼近概念格表示。以上结果不仅建立了Domain理论和Rough集理论之间深入的内在联系,而且也表明了Domain中蕴含非经典逻辑结构。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郑婷;朱思念;王刚;;一类分数阶m点边值问题正解的存在性[J];长春师范学院学报;2011年08期
2 王艳平;孙静;陈美薇;;区间直觉模糊粗糙集[J];计算机工程与应用;2011年24期
3 赵玲;任必军;梁俊奇;;变精度覆盖S-粗糙集模型及其性质[J];河南师范大学学报(自然科学版);2011年05期
4 张贤勇;莫智文;;精度与程度的逻辑差近似算子及其性质[J];四川师范大学学报(自然科学版);2011年04期
5 郭兰坤;李庆国;;L-偏序集上闭包算子和内部算子的等价刻画[J];湖南大学学报(自然科学版);2011年08期
6 姜广浩;蔡锦;韩贵文;;偏序集上滤子极大理想的若干注记[J];吉林师范大学学报(自然科学版);2011年03期
7 马周明;李进金;;广义粗集公理化的一个注记[J];山东大学学报(理学版);2011年08期
8 高嘉凌;赵彬;;双Z-连续格和双Z-Scott拓扑的性质[J];陕西师范大学学报(自然科学版);2011年04期
9 陈美巍;王艳平;;基于包含度的区间直觉模糊粗糙集模型[J];辽宁工业大学学报(自然科学版);2011年03期
10 汤国明;曾妮;张跃辉;;对偶扩张代数的特征模的广义Betti数[J];山东大学学报(理学版);2011年06期
11 郝春亮;孙雨;徐从富;张作衡;宋国玺;;粗糙集理论与方法在地质研究中的应用[J];地质与勘探;2011年03期
12 汪义瑞;赵虎;;拟一致结构与拟邻近结构的相互确定[J];内蒙古师范大学学报(自然科学汉文版);2011年04期
13 程利涛;李德玉;郑建兴;陈红星;;基于双参数相容关系的区间值信息系统属性约简[J];山西大学学报(自然科学版);2011年03期
14 段汕;李琰;;代数格上形态算子的表示方法[J];中南民族大学学报(自然科学版);2011年02期
15 张懿;尉文静;李生刚;;推理闭包系统的一些性质[J];西安工程大学学报;2011年03期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 徐罗山;;FS-偏序集和连续L-偏序集(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
2 许格妮;;偏序集上关联s代数的性质[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
3 李志伟;;偏序集上的关联蕴涵代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
4 米洪海;;Fuzzy偏序集[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
5 何伟;樊磊;王万良;;量化Domain中的模糊收敛与伴随映射[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
6 许格妮;;可交换的s代数[A];第十二届中国青年信息与管理学者大会论文集[C];2010年
7 熊方;张贤勇;莫智文;詹惠琴;;程度上近似算子与变精度下近似算子的差运算的算法与分析[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
8 尚云;李永明;;一些量子结构的构造和Fuzzy有效空间[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
9 钟业勋;;地图图像系统为布尔代数系的证明[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
10 徐晓泉;刘应明;;完备格的关系表示理论及其应用[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 雷银彬;Domain理论及Rough集理论若干相关问题研究[D];四川大学;2007年
2 毛华;偏序集理论在拟阵论中的应用[D];西安电子科技大学;2002年
3 卢俊杰;几何图论中的若干问题[D];上海交通大学;2009年
4 吴正江;L模糊粗糙集研究[D];西南交通大学;2009年
5 陈彦昌;环面拓扑中闭流形的分类及相关问题研究[D];河北师范大学;2011年
6 郝景;偏序幺半群作用和模糊粗糙集研究[D];湖南大学;2012年
7 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年
8 张华军;Sperner理论中的几个问题[D];大连理工大学;2006年
9 张俊;偏序集的Erd(?)s-Ko-Rado性质及相关问题[D];大连理工大学;2008年
10 吴栋;混合配置的组合与代数性质[D];南开大学;2009年
中国硕士学位论文全文数据库 前10条
1 郭峰;偏序集的套链分解[D];大连理工大学;2010年
2 马周明;几类粗糙近似算子及其公理化[D];漳州师范学院;2011年
3 龚雅玲;拟C-偏序集与广义完全分配偏序集的若干性质[D];江西师范大学;2010年
4 张蕾;排异粗糙近似算子的相关性质研究[D];西南交通大学;2012年
5 马立珍;环和半环上近似算子的研究[D];西南交通大学;2010年
6 陈群;强Raney偏序集与HC-偏序集的若干性质[D];江西师范大学;2010年
7 王玉凤;特殊字的一些组合性质[D];大连理工大学;2002年
8 李毅君;广义格及广义格上的微分[D];西北大学;2009年
9 李海宁;关于软集的拓扑结构及相关结果[D];广西民族大学;2012年
10 张曦;超平面构型的Orlik-Solomon代数与φ_3不变量的计算[D];北京化工大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978