您的位置： 专家智库 > >

杨玉普

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

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

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

主题

  • 1篇算子
  • 1篇逻辑系统
  • 1篇模糊逻辑
  • 1篇模糊算子
  • 1篇归算

机构

  • 3篇吉林大学

作者

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

传媒

  • 1篇科学通报

年份

  • 1篇1990
  • 1篇1989
  • 1篇1900
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
自动推理的研究
刘叙华姜云飞安直欧阳继红杨凤杰杨玉普刘广清石生
自动推理的研究包括两个方面内容：一是以传统逻辑为基础的精确的研究；另一是以非标准逻辑为基础的，非精确推理的研究。该课题首先提出了一个新的逻辑系统—算子模糊逻辑系统，将命题的模糊度与命题原子分离，更便于对模糊推理进行形式化...
关键词：
关键词：归算模糊算子模糊逻辑逻辑系统
线性半锁归结方法被引量：3
1990年
1965年Robinson提出归结方法后,引起了人工智能学者的重视,纷纷对这一方法做了很多精练和改进。著名的工作有Slagle(1967)提出的语义归结方法,Loveland和Luckham(1970)提出的线性归结方法,以及Boyer(1971)提出的锁归结方法。 这三种改进方法之间的相容性问题,是进一步改进归结方法的途径。1978年本文作者证明了语义归结和锁归结是相容的,提出了锁语义归结策略;
刘叙华杨玉普
线性半锁归结原理
杨玉普
全选 清除 导出
共1页<1>
聚类工具0