基于本体的数学知识获取演示稿件.pptVIP

基于本体的数学知识获取 报告人：侯华洋 报告时间：9月28日 目 录 1、本体论介绍 本体论 本体论是对概念化对象(conceptualization) 的明确表示和描述. Nicola guarino 把概念化对象C定义为:C=D,W,R D代指领域 W是领域中相关的事务状态( state of affairs)的集合 R是领域空间D,W上概念关系(conceptual relation)的集合 例如：平行四边形 1、本体论介绍 C：平行四边形 D：四边形 W：对边相等；对边平行；对角相等；同旁内角互补；对角线相互平分 R：并 2、数学领域本体设计与知识表示 数学领域对象分析与上层本体设计 基本的知识对象主要包括： （1）各种符号：Σ ，∈，≥等； （2）概念的定义知识，数学知识最主要的描述对象，如：集合、群、环等； （3）断言知识，包括公理、引理、定理、猜想等。如：勾股定理； （4）数学实例知识，如整数加法群是一个群； （5）断言的证明知识，数学定理、引理的证明方法、技巧、具体过程； （6）…… 2、数学领域本体设计与知识表示 据对数学知识描述对象的分类，借鉴OMDoc的思想，定义的上层本体主要包括： (1)概念定义本体 (2)断言知识本体 (3)例子本体 (4)证明过程本体 (5)数学方法本体等 2、数学领域本体设计与知识表示 数学知识表示语言 数学知识的表示，我们采用本体、框架和逻辑相结合的方法： (1)本体：数学概念、断言、例子等 (2)框架：在领域上层本体的指导下，对每个数学对象(概念、断言、例子等)给出框架形式的知识表示。 (3)逻辑：在框架内部基于一阶逻辑给出数学对象的严格形式刻画 2、数学领域本体设计与知识表示 下面给出描述语言的具体内容： 框架描述：：defframe框架名【实现本体】 ‘{‘ {继承关系；} {自身知识定义；} {槽定义；} ‘}’ 2、数学领域本体设计与知识表示 槽分类 (1)属性槽(简称属性)。 (2)关系槽(简称关系)。 (3)方法槽(简称方法)。 2、数学领域本体设计与知识表示 形式定义 形式定义：：=合适公式 合适公式：：=谓词 |量词合适公式 |not(合适公式) |(合适公式) |合适公式V合适公式 |合适公式Ʌ合适公式 |合适公式→合适公式 |合适公式≡合适公式 |n限定式 2、数学领域本体设计与知识表示 |n限定式 Ʌ 合适公式 |合适公式 Ʌ n限定式 谓词：：=谓词名(变量名序列) 变量名序列：：=常数|变量名|函数|变量名序列，变量名序列 函数：：=函数名(变量名序列) 量词：：=所有(指代变量名：集合名) |存在(指代变量名：集合名) 2、数学领域本体设计与知识表示 3、面向概念的数学知识获取 获取原理 (1)面向概念的概念知识获取(算法1)； (2)面向概念的断言知识获取(算法2)； (3)面向概念的实例知识获取(算法3)。 3、面向概念的数学知识获取 本体知识库△概念封闭性的定义： 定义1 ：给定知识库△，KF(C)∈△为△中任意概念C的知识框架。若任意概念C’∈DefSet(C)，均有KF(C’)∈△ ，则称知识库△为概念封闭的。 由定义1知，若△ 是概念封闭的，从中任取一个概念知识框架KF(C)，那么定义概念C的所有概念的知识框架肯定都在△中。 3、面向概念的数学知识获取 算法1 (面向概念的概念知识获取) 输入：概念集CS 输出：包含概念CS的知识库△ (1)如果CS= φ ，概念集CS的知识获取结束；否则，任取概念C∈CS，CS←CS-{C}； (2)获取概念C的知识框架KF(C)，并将其加入到已有的知识库△ 中：△←△U{KF(C)}；若DefSet(C)= φ(概念C是一个原概念)，则转(1)；否则转(3)；KF(C)表示C的知识框架； (3)对所有概念C∈DefSet(C)，CS←CS U DefSet(C)，转(1)。 3、面向概念的数学知识获取 子环的例子： 3、面向概念的数学知识获取 子环知识框架的深度优先获取过程 子环知识框架的广度优先获取过程 3、面向概念的数学知识获取 算法2 (面向概念的断言知识获取) 输入：断言A 输出：包含断言A的知识库△ (1)在断言本体的指引下获取断言A的知识框架：△←△U{KF(A)}； (2)对ConSet(A)中的任意概念C，若KF(C)已在△中，则断言A的知识获取结束转(4)；否则，转(3)。 (3)对KF(C)不在△ 中的所有概念CS，按算法1获取CS所对应的知识库△’，并且添加到已有的知识库△中：△←△U△’。 (4)结束。 3、面向概念的数学知识获取 算法3 (面向概念的实例知识获取) 输入