您的位置： 专家智库 > >

刘海庆

作品数：2 被引量：26H指数：1
供职机构：海军工程大学更多>>
发文基金：云南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇语义
  • 1篇语义网
  • 1篇语义网络
  • 1篇知识表示
  • 1篇智能系统
  • 1篇时序逻辑
  • 1篇授权
  • 1篇网络
  • 1篇谓词逻辑
  • 1篇协商模型
  • 1篇多AGENT...

机构

  • 2篇海军工程大学
  • 2篇云南师范大学

作者

  • 2篇刘海庆
  • 2篇夏幼明
  • 1篇徐天伟
  • 1篇李晶
  • 1篇尹红丽

传媒

  • 2篇武汉大学学报...

年份

  • 1篇2005
  • 1篇2001
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于语义网络的知识表示的形式转换及推理被引量：26
2001年
介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL语言的描述机制 ,确定了用户描述的控制、导航方式 。
夏幼明刘海庆徐天伟
关键词：语义网络知识表示谓词逻辑智能系统
基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究
2005年
在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。
刘海庆夏幼明李晶尹红丽
关键词：多AGENT系统协商模型时序逻辑
全选 清除 导出
共1页<1>
聚类工具0