您的位置： 专家智库 > >

刘汉武

作品数：4 被引量：21H指数：1
供职机构：首都师范大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：理学自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 2篇学位论文

领域

  • 3篇自动化与计算...
  • 3篇理学
  • 1篇文化科学

主题

  • 3篇知识表示
  • 3篇知识获取
  • 2篇知识管理
  • 2篇知识管理平台
  • 2篇数学
  • 2篇管理平台
  • 1篇大学本科
  • 1篇学分
  • 1篇学系
  • 1篇一致性
  • 1篇语法
  • 1篇语法错误
  • 1篇冗余
  • 1篇冗余性
  • 1篇软件系统
  • 1篇数学分析
  • 1篇数学软件
  • 1篇数学系
  • 1篇数学系统
  • 1篇人工智能

机构

  • 3篇首都师范大学
  • 2篇中国科学院

作者

  • 4篇刘汉武
  • 2篇曹存根
  • 2篇曾庆田
  • 1篇田国刚
  • 1篇眭跃飞
  • 1篇司晋新

传媒

  • 1篇微电子学与计...
  • 1篇计算机科学

年份

  • 3篇2005
  • 1篇2003
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
数学知识获取研究和知识管理平台的实现
随着计算机技术和Internet技术的发展，数学Web平台和远程教学系统成为可能，越来越多的数学活动将在Web上进行。 NKIMath是我们2001年启动的一个研究计划，其目的是研究数学知识获取的理论和方法，同时实现数...
刘汉武
关键词：知识获取知识管理平台
文献传递
大学水平的“数学分析知识”的获取和分析研究
2005年
在过去的几十年里,数学软件系统变得越来越强大和复杂。各种数学系统的集成变得非常有意义。基于Web的分布式数学平台使得与数学相关的活动(称之为数学服务)都可以在Web上得以实现。所有这些都需要一个底层的、可共享的、面向内容的知识库作为支撑。本文介绍一个大学水平的、可共享的数学分析知识库的获取和分析方法。NKIMath采用基于本体、框架、逻辑和类型的形式表示,采用面向概念的知识获取方法,从一套大学本科数学分析课本(2本)中获取了所有主要概念和定理。本文还总结和分析了知识获取过程中出现的错误。
刘汉武曹存根曾庆田
关键词：知识表示知识获取数学分析大学本科数学系统软件系统
数学知识获取研究与知识管理平台的实现
刘汉武
关键词：知识表示知识获取语法错误冗余性一致性
基于本体的数学知识获取与知识继承机制研究被引量：21
2003年
基于本体、框架和逻辑给出了数学知识表示语言,采用了面向概念的数学知识获取方法,利用半自动的方式对数学知识进行了获取。提出了知识树的概念用于所获得的知识的管理,设计并实现了数学知识获取和管理平台。研究了数学概念知识体系结构以及概念之间的知识继承机制,并对知识继承的一致性进行了分析。在数学知识的应用方面,对基于Web的数学知识问答系统、数学智能教学系统、数学知识的多语言版本自动生成等进行了初步的探讨。
曾庆田曹存根眭跃飞司晋新田国刚刘汉武
关键词：数学软件本体知识表示人工智能
全选 清除 导出
共1页<1>
聚类工具0