主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

基于格蕴涵代数的格值逻辑系统的归结自动推理研究  CNKI文献

关于不确定性信息处理的研究是当前人工智能领域的一类重要的研究内容。为了处理不确定性信息,人们发展了各种相关的工具和方法,也形成了大量相关的研究成果。其中多值逻辑对于刻画和处理客观世界中的不确定性...

孟丹 导师:徐扬 西南交通大学 2004-03-01 博士论文

关键词: 人工智能 / 自动推理 / 归结原理 / 格蕴涵代数

下载(248)| 被引(4)

化LF(X)中任一公式为可归约形式的算法  CNKI文献

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究 .简述了LF(X)及其中公式的相关概念 ,证明了对LF(X)中公式进行转化的若干理论结果 ,并由此给出化LF(X)中任一公式为可归约形...

孟丹 宋振明... 《西南交通大学学报》 2003年04期 期刊

关键词: 人工智能 / 多值逻辑 / 自动推理 / 归结原理

下载(48)| 被引(8)

黄河流域骨干工程决策支持系统的系统分析与建模方法  CNKI文献

阐述了在黄河流域骨干工程决策支持系统开发研究中所使用的建模方法.首先,在系统分析中,建立起系统的与或图,获得了系统中各决策问题求解序列、本原问题集合以及本原问题求解算法的集合.然后将其与广义模型...

张勤生 宣慧玉... 《西安交通大学学报》 1998年04期 期刊

关键词: 决策支持系统 / 人工智能 / 广义模型化 / 问题求解

下载(77)| 被引(5)

拟人智能控制与三级倒立摆  CNKI文献

提出以“广义归约”和“拟人”为核心的“拟人智能控制理论”,并基于此理论成功地解决了三级倒立摆的单电机控制这一控制界的世界性难题。阐述了倒立摆的拟人控制方法 ,给出了基于拟人智能控制理论...

张明廉 郝健康... 《航空学报》 1995年06期 期刊

关键词: 人工智能 / 广义归约 / 拟人 / 本原问题

下载(472)| 被引(143)

成员系统模型及其归约  CNKI文献

本文提出了一种基于有限关联团块观点的成员系统模型,主要针对不确定性情况给出了其归约操作的形式化描述,讨论了它与产生式系统的关系,并根据该模型及其归约过程,成功地设计实现了一种并发成员系统程...

李明树 王文敏... 《计算机学报》 1994年02期 期刊

关键词: 成员 / 成员系统 / 不确定性 / 归约

下载(27)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状