Domain理论在不确定性推理中的应用

Domain理论作为计算机程序设计语言研究的数学基础，引起了拓扑学和计算机科学研究者的共同兴趣。其创建的初衷是为程序设计的指称语义提供数学模型。程序设计的关键技术是逻辑推理，从而揭示了Domain理论与逻辑推理之间的内在联系。拓扑与序的相互结合在Domain领域起着基本而重要的作用，正是这一特征，使得该理论与许多数学学科产生了密切的联系。本项目将沿着这个思路，利用拓扑学和范畴论的方法研究Domain结构的逻辑特征，试图将其应用在逻辑推理中，尤其是不确定性推理中，进而为不确定性逻辑框架的构建作一些基础。