数学概念的知识获取和分析方法的研究.pdfVIP

数学概念的知识获取与分析方法研究，摘要 摘要 基于知识的定理机器证明、数学软件系统集成、数学语义Web、高级数学教学系 0’ 统等对数学知识的表示和获取产生了巨大的需求。面向Web的数学内容标注语言，如 0 基础设施(NKI)的建设，我们于2001年开始启动了数学领域知识的表示与获取工作。 已经在数论、集合论、代数、图论、分析学等几个分支上进行了数学知识的表示和获取 工作，获得了数千个数学概念和数学命题． 本文主要围绕数学概念的知识表示、获取、正确性验证、组织与管理等方面的内容， 开展了如下几个方面的研究工作： (1)面向多用途的数学概念知识分层表示方法。首先给出了面向多用途的数学知 识系统体系结构，分析了数学知识获取可能潜在的用途。给出了满足多服务 需求的综合数学知识表示体系。知识表示采取分层的组织方式，主要分为三 层：①谓词逻辑层；②知识描述层；③知识关系层。给出了基于本体、框架 和逻辑的数学知识表示语言以及数学概念形式定义的表示语言。在概念的知 识表示体系中，充分考虑了知识之间的继承关系、知识的多粒度表达、知识 的可共享性和可重用性、不同知识表示方法之间的相互协调与转换等因素。 (2)满足完整性约束的数学概念知识获取方法。定义了概念与概念之间的关联关 系，建立了概念的关联空间，证明了关联空间是一个偏序空间，对概念的关 联度进行了量化分析，给出了用于数学概念关联刻画的四元指标(相对抽象 度、关联度、出度、描述复杂度)。在概念关联空间的指引下，给出了概念驱 动的数学知识获取方法，该方法不但可以获取给定知识而且可以获得与给定 知识相关联的知识，从而满足知识的相对完整性约束。 (3)数学概念的继承层次结构及其生成算法。首先给出了概念类划分标准以及概 ～ 念类之间的继承关系。在同一个概念类内部，定义了数学概念等同、概念蕴 ， 含、概念重叠、概念互斥等关系。从概念的构成出发，定义了常见的概念构 ● 造子，分析了不同的概念构造子得到的概念与原先概念之间满足的关系。最 后，给出了概念的知识继承关系及其层次结构，并得到了概念知识继承结构 的自动生成算法。 (4)数学概念知识表示的异常分析及其检查方法．首先综述了已有的知识分析和 验证方法与工具，给出了数学概念知识库检查的基本流程．然后详细分析了 概念知识表示中可能出现的语法错误并给出了检查方法。重点分析了数学概 数学概念的知识获取与分析方法研究，摘要 念知识库的语义异常，给出了知识冗余、知识不一致的确切定义及相应的检 查算法，着重分析了知识不一致性产生的原因。定义了概念知识的紧凑性并 给出了检查方法。研究了通过已知的概念关系测试知识库正确性的方法。并 根据概念关联空问给出了概念之间的知识错误影响关系、错误影响率以及错 误定位问题。最后给出了概念继承循环和冗余性的定义，并基于自动生成的 概念知识继承层次结构给出了检查概念问循环继承和冗余继承的方法。 (5)数学知识获取与管理平台。集成了数学知识获取与分析管理平台，主要功能 包括：知识的获取功能、知识编辑功能、知识的目录树管理、知识的多语占 版本翻译、数学知识不同格式的转换等。 关键词：国家知识基础设施，数学本体，数学知识表示，知识获取，知识分析，知识完 备性，知识冗余，知识一致性，知识紧凑