描述逻辑及其推理机制精编.pptVIP

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