您的位置： 专家智库 > 作者详情>刘广清

刘广清

作品数：3 被引量：0H指数：0
供职机构：吉林大学更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

题名
作者

文献类型

  • 1篇学位论文
  • 1篇会议论文
  • 1篇科技成果

领域

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

主题

  • 1篇定理
  • 1篇一阶逻辑
  • 1篇算子
  • 1篇重写
  • 1篇重写规则(转...
  • 1篇重写规则法
  • 1篇逻辑
  • 1篇逻辑系统
  • 1篇模糊逻辑
  • 1篇模糊算子
  • 1篇归算

机构

  • 3篇吉林大学

作者

  • 3篇刘广清
  • 2篇姜云飞
  • 2篇刘叙华
  • 1篇杨玉普
  • 1篇安直
  • 1篇欧阳继红
  • 1篇杨凤杰

传媒

  • 1篇第一届中国人...

年份

  • 1篇1990
  • 1篇1989
  • 1篇1900
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
相关度排序
基于重写规则法和广义单元归结原理的定理证明系统
刘广清
再谈一阶逻辑的重写证明算法
刘广清姜云飞刘叙华
关键词：重写规则(转换语法)定理逻辑
自动推理的研究
刘叙华姜云飞安直欧阳继红杨凤杰杨玉普刘广清石生
自动推理的研究包括两个方面内容：一是以传统逻辑为基础的精确的研究；另一是以非标准逻辑为基础的，非精确推理的研究。该课题首先提出了一个新的逻辑系统—算子模糊逻辑系统，将命题的模糊度与命题原子分离，更便于对模糊推理进行形式化...
关键词：
关键词：归算模糊算子模糊逻辑逻辑系统
全选 清除 导出
共1页<1>
聚类工具0