您的位置： 专家智库 > >

刘海燕

作品数：15 被引量：94H指数：2
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划霍英东基金更多>>
相关领域：自动化与计算机技术文化科学化学工程更多>>

合作作者

文献类型

  • 9篇期刊文章
  • 3篇专利
  • 2篇会议论文
  • 1篇学位论文

领域

  • 9篇自动化与计算...
  • 1篇化学工程
  • 1篇文化科学

主题

  • 7篇人工智能
  • 4篇CONTEX...
  • 2篇碳纤维
  • 2篇先驱体
  • 2篇纤维
  • 2篇计算机
  • 2篇功能复合材料
  • 2篇非单调推理
  • 2篇复合材料
  • 2篇硅
  • 2篇氧
  • 2篇复合材
  • 1篇多AGENT...
  • 1篇形式化
  • 1篇形式语义
  • 1篇异构
  • 1篇用户
  • 1篇用户参与
  • 1篇用户偏好
  • 1篇语义

机构

  • 14篇国防科学技术...
  • 1篇国防科技大学

作者

  • 15篇刘海燕
  • 9篇陈火旺
  • 4篇王兵山
  • 2篇王兵
  • 2篇吴楠
  • 2篇王应德
  • 2篇刘凤岐
  • 1篇刘凤歧
  • 1篇李爱平
  • 1篇江荣
  • 1篇王献昌
  • 1篇周斌
  • 1篇王晔
  • 1篇田磊
  • 1篇刘凤岐

传媒

  • 2篇国防科技大学...
  • 2篇软件学报
  • 2篇计算机科学
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇计算机应用与...
  • 1篇’94全国理...
  • 1篇第四届中国人...

年份

  • 2篇2024
  • 1篇2022
  • 3篇1998
  • 3篇1997
  • 3篇1996
  • 2篇1995
  • 1篇1994
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
人工智能中context的形式化及其应用的研究
刘海燕
关键词：人工智能
一个多context的逻辑
定义了一个多ｃｏｎｔｅｘｔ的逻辑－ＤＣＬ。基于Ｂｏｃｈｖａｒ的三值逻辑，为ＤＣＬ定义了一个三值的解释，证明了该逻辑是可靠的。
刘海燕陈火旺
关键词：逻辑运算三值逻辑
一个多ａｇｅｎｔ系统模型
刘海燕王兵山
关键词：分布式计算机人工智能通信
一种高强高韧硅氧碳纤维及其制备方法、应用
本发明公开一种高强高韧硅氧碳纤维及其制备方法、应用，该制备方法以二甲苯和协同溶剂为混合溶剂，得到的纺丝分散液更稳定；并在先驱体中引入金属有机盐小分子。再通过高速转筒牵伸作用，使得金属有机盐小分子在纤维固化前形成一定取向，...
吴楠刘海燕王兵王应德
一种高强高韧硅氧碳纤维及其制备方法、应用
本发明公开一种高强高韧硅氧碳纤维及其制备方法、应用，该制备方法以二甲苯和协同溶剂为混合溶剂，得到的纺丝分散液更稳定；并在先驱体中引入金属有机盐小分子。再通过高速转筒牵伸作用，使得金属有机盐小分子在纤维固化前形成一定取向，...
吴楠刘海燕王兵王应德
一个MC逻辑及其逻辑程序的语义
1998年
本文定义了一个多context逻辑结构(MCO)。MCO在几个方面推广了传统的一阶逻辑:每个context相关一个理论;context间存在outer关系;引入了模态词ist,公式ist(c,A)表示命题A在context c中为真;每个context可以有关于其内层context的元理论,…等等。我们还讨论了MCO逻辑程序的MCO谓词演算解释和MCO缺省解释。
刘海燕陈火旺刘凤岐
关键词：逻辑程序语义人工智能
一个多理论的逻辑系统
1998年
文中为多理论系统建立了一个层次的理论框架——ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算：允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明；每个ｃｏｎｔｅｘｔ可以有关于其下层ｃｏｎｔｅｘｔ的元理论，而ｃｏｎｔｅｘｔ自身又作为其上层ｃｏｎｔｅｘｔ的一个个体常元．
刘海燕陈火旺刘凤岐
关键词：逻辑系统知识库
并发模型分析被引量：2
1995年
并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确定性的方式等。
刘海燕陈火旺
关键词：并发模型形式语义计算机语言PETRI网
一个用于异构的数据库集成的多context逻辑被引量：5
1997年
Internet的发展要求能同时使用来自不同知识源的信息．本文定义了一个两层的多con－text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论，对应于一个数据库；第2层的context是个特殊的多类逻辑理论，可以声明第1层中各context间的各种联系，DBCL为异构的数据库的集成提供了一个形式化描述．本文还为DBCL定义了一类可靠且完备的语义解释．
刘海燕陈火旺刘凤岐
关键词：数据库
一个带量词的context逻辑及其限制推理
1997年
本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理。
刘海燕陈火旺王兵山
关键词：人工智能非单调推理
全选 清除 导出
共2页<12>
聚类工具0