咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 电子科学与技术（可...

主题

  • 3 篇 格值一阶逻辑
  • 2 篇 自动推理
  • 1 篇 α-归结原理
  • 1 篇 一般广义子句
  • 1 篇 简单广义子句集
  • 1 篇 多元α-归结原理
  • 1 篇 局部极复杂广义文...
  • 1 篇 广义归结
  • 1 篇 格蕴涵代数

机构

  • 3 篇 西南交通大学
  • 1 篇 河南工业大学
  • 1 篇 东北财经大学
  • 1 篇 内江师范学院

作者

  • 3 篇 徐扬
  • 1 篇 刘熠
  • 1 篇 许伟涛
  • 1 篇 张德贤
  • 1 篇 贾海瑞
  • 1 篇 张闻强
  • 1 篇 李晓冰

语言

  • 3 篇 中文
检索条件"主题词=格值一阶逻辑"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
格值一阶逻辑系统的α广义归结原理
收藏
分享
引用
西安电子科技大学学报 2014年 第1期41卷 135-139,139页
作者： 许伟涛 张闻强 徐扬 张德贤 河南工业大学信息科学与工程学院 河南郑州450001 西南交通大学数学学院 四川成都610031
在基于格蕴涵代数的格值逻辑系统框架下,笔者扩展了基于格值逻辑系统的α归结原理,将广义子句集上的归结扩展到一般广义子句集上,提出了基于格值一阶逻辑系统LF(X)的α广义归结原理,建立了格值一阶逻辑系统中α广义归结原理的可靠性定理... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于格值一阶逻辑LF(X)的自动推理算法
收藏
分享
引用
计算机工程与应用 2010年 第23期46卷 18-20,49页
作者： 李晓冰 徐扬 东北财经大学管理科学与工程学院 辽宁大连116025 西南交通大学智能控制开发中心 成都610031
基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于格值一阶逻辑LF(X)的多元α-归结原理的注记
收藏
分享
引用
计算机工程与应用 2015年 第14期51卷 51-56,190页
作者： 刘熠 徐扬 贾海瑞 内江师范学院数学与信息科学学院 四川内江641112 西南交通大学智能控制开发中心 成都610031
进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件