您的位置： 专家智库 > >

刘瑛睿

作品数：2 被引量：2H指数：1
供职机构：武汉大学更多>>
发文基金：国家高技术研究发展计划“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇定理证明
  • 1篇多媒体
  • 1篇多媒体软件
  • 1篇语义
  • 1篇语义网
  • 1篇语义网络
  • 1篇数学
  • 1篇数学归纳
  • 1篇数学归纳法
  • 1篇人工智能
  • 1篇自动定理证明
  • 1篇网络
  • 1篇面向对象
  • 1篇基于知识
  • 1篇归纳法
  • 1篇归纳法推理

机构

  • 2篇武汉大学
  • 1篇武汉分公司

作者

  • 2篇刘瑛睿
  • 2篇金涛
  • 1篇石自力

传媒

  • 1篇计算机工程与...
  • 1篇武汉大学学报...

年份

  • 1篇2000
  • 1篇1999
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
归纳法推理中若干问题的探讨被引量：2
2000年
归纳法推理是人工智能领域中富有挑战性的研究方向，它是一种难度较大但较有前途的自动定理证明方法。文章对近年来归纳法推理的主要研究成果进行了综述，并分析国内外的研究现状，讨论了归纳法推理研究中的推理效率、理论的不完备性、自动推理机制和构造实用的定理证明器等问题。
金涛刘瑛睿
关键词：数学归纳法归纳法推理自动定理证明人工智能
基于知识的多媒体创作模型
1999年
通过对传统方法进行分析，引入语义网络的知识表示方法，将面向对象技术与超媒体方法相结合，提出了一个基于知识的多媒体创作模型（ＫＡＭ），给出了ＫＡＭ模型的形式化定义，并对该模型的结构进行了讨论．ＫＡＭ模型具有以下特点：（１）支持结构与内容的分离；（２）支持复合机制；（３）基于语义的导航，有效地避免了在交互性系统中的迷路问题；（４）独立的链服务功能和管理功能，保持系统的开放性。
金涛石自力熊晖刘瑛睿
关键词：语义网络面向对象多媒体软件
全选 清除 导出
共1页<1>
聚类工具0