语义网与描述逻辑.pptVIP

语义网与描述逻辑 广西师范大学 计算机科学与信息工程学院 王 驹 目 录 语义网发展的背景 描述逻辑 当前国内相关工作及现状 我们目前的工作 语义网发展的背景 希尔伯特纲领及其副产品 信息科学和知识科学的数学工具 希尔伯特纲领及其副产品 所谓的“希尔伯特”纲领既是想建立“元数学”来作为一切数学的数学，但哥德尔证明了它是不可能的。 作为该纲领的副产品：各种理论计算机如图灵机、自动机、广义程序语言迅速出现，计算机、电脑工程以高阶的加速度发展。 为了给计算机提供各种理论工具和合适的语言，科学家们又孜孜不倦地建立和研究各种关于程序的理论：形式语义学、算法研究、并行程序及并发程序理论、时序逻辑、 -演算、CSP、CCS 等等。 信息科学和知识科学的数学工具 网络信息，网络知识时代的出现，这使得科学家们多少有点 “穷于应付”的感觉。不得不寻找新的、更好的理论工具来研究它们。 对信息和知识的刻划当前分量的刻划和性质刻划两大范畴。 前者包括机器学习、数据挖掘等领域，它们的优点是实用，在特定领域内精确度高。但信息和知识在更广的范围内是无法量化的。 后者随着时间发展打造成型的系列工具是：1.粗糙集理论、2.形式概念分析、3.基于语义网络的本体理念和描述逻辑的信息处理和知识推理方法.它们得到较多的认同。 粗糙集 粗糙集理论及其核心问题：给定一个粗糙集理论框架 U,C,C={C1,C