中文摘要：

不确定性在人类思维活动中占主导地位，不确定性推理问题也是近年来中外学者研究的热点之一，现实世界中包括万维网上的知识、数据绝大部信息均具有不确定性，我们不能或难以通过精确方式来处理。现有的逻辑系统中得到的不确定推理模式尚有明显需要改进之处，或者很难应用于实际问题。经典数学中的Domain理论、拓扑学、范畴论与逻辑推理之间具有本质深刻的联系，而知识表示的最终目的仍是逻辑推理，本项目将研究不确定性推理和知识表示的数学基础，我们将充分利用Domain理论、拓扑学、范畴论及模糊逻辑的思想方法，并借助数据分析处理的有力工具形式概念分析、粗糙集论，研究语义网（Semantic Web）中的知识表示和推理以及逻辑推理规则的构建，研究不确定性理论，特别是构建不确定性推理逻辑框架。