不确定性推理与语义网中知识表示的数学基础

项目名称： 不确定性推理与语义网中知识表示的数学基础

项目编号： No.11201053

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 数理科学和化学

项目作者： 雷银彬

作者单位： 电子科技大学

项目金额： 22万元

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

中文关键词： 不确定性；描述逻辑；拓扑；算子；

英文摘要： Uncertainty leads the station in the human thinking activity. In recent years, uncertainty reasoning is one of research focuses. In real world and world wide web, majority of knowledge and data are uncertain, then we cannot deal with it through the precis

英文关键词： uncertainty；description logic；topology；operator；