Domain理论及Rough集理论若干相关问题研讨.pdfVIP

3110 —Y121 p j，；大学 霉耋孥一塞论塞 题目 望!翌!堕墨堡垒坠!些叁墨垒 董士塑薹塑墼盟塞 研究方向 堑 i[ 茔 授予学位日期 生 盆 目 摘 要 Domain理论及Rough集理论若干相关问题研究 基础数学专业 研究生雷银彬 指导教师刘应明院士罗懋康教授 随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到 人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领域．产生 两个重要交叉领域．它们独立发展，但从共同的数学基础来看，二者均基于数 学中三大基本结构之一的序结构理论，同时与拓扑，代数、范畴、逻辑等学科 有着密切的联系． 它们的提出都有较强的计算机背景，但同时也是数学发展的需要．其中， Domain理论建立的初衷是为高级程序设计语言的指称语义学提供数学基础， 序和拓扑的相互结合、相互作用是其基本特征，正因如此，Domain理论成为计 算机科学家和数学家共同关心的领域．事实上，除了在计算机科学方面作为形 式语义学的数学基础或数学框架。赋予或解释语句语义，以及应用于人工智能 (AI)中知识表示及推理(KRR)、数据分析等方面之外，在若干数学分支如动力 境便从序与拓扑交融的角度为某些拓扑空间提供了一种计算模型．另一方面， 力的数学工具，但其理论基础，依然建立在数学中的经典分支如集合论、拓扑、 逻辑、代数、序结构理论之上．经过二十多年的发展，Rough集方法已被广泛 应用于AI和认知科学中，尤其是在数据分析．知识表示、知识发现、机器学 习、决策分析、专家系统、模式识别等领域． 对象和特点，但它们的研究都是在序结构的框架下进行的，在某些方面相互渗 面的共同数学基础特别是序结构方面进行讨论．文中我们运用拓扑、序结构、 代数、范畴及逻辑的理论和方法，在Domain方面，研究了两类最受关注的拓 的收缩、相关范畴和Domain方程等问题，在Rough集方面，研究了近似算子 的内在联系． 具体而言，我们作了如下工作； 首先，我们对Domain理论中与此相关的3个公开问题进行讨论 Prob- lemsinTopology》中提出的两个关于对偶拓扑的公开问题组成；哪些拓扑它 们同时也是对偶拓扑?如果对一个拓扑连续取对偶，作用有限次后所产生的拓 扑之中有互为对偶的吗?对该问题，我们讨论了两类经典的拓扑即Hausdorff 对f反复取对偶，连同7-本身至多产生3个不同的拓扑：r，『d和7-dd，由 此，我们对所有Hausdorff空间做了一个分类，即三个严格递增的类，然后刻 空间(X，r)恰为Hausdorffk一空间．此外，我们研究了对偶拓扑与原拓扑 之间的关系，为解决公开问题提供了一些可行的思路．另一方面，对Scott拓 我们给出了仃(D)4=“(D)的刻画及其成立的一个较广泛的充分条件，研究了 的一个内在刻画，并借助于若干具体的例子讨论了a(D)与盯(D)出之间的关 的重要情形下作了部分回答． 第二、三个公开问题都相关于有限偏序集的Cartesian积 对于三元真值dcpoT及任一基数KⅣ，函数空间[T‘一T1不是T“的收 缩．我们知道Scott曾于1976年证明了具有可数基的连续格恰为2“的一个收 缩以及更一般地，任一连续格恰为2的某个积的收缩【97】；随后，Plotkin于 1978年证明了具有可数基的coherentdomain(即两两相容的子集必有上确界 的domain)恰为T“的收缩．然而，该结果若要推广至不可数情形，则有难以 逾越的障碍，这正是Plotkin提出上述猜想的原因．文中我们构造性地证明了 该猜想．这个结果不仅给出了T‘这个基本生成结构在拓扑与序结构理论方面 的一个