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

限定检索结果

文献类型

  • 8 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 8 篇 工学
    • 8 篇 计算机科学与技术...
    • 8 篇 软件工程
    • 7 篇 控制科学与工程
  • 7 篇 管理学
    • 7 篇 管理科学与工程(可...

主题

  • 8 篇 归纳法推理
  • 7 篇 人工智能
  • 2 篇 知识库
  • 1 篇 归纳法模式
  • 1 篇 程序证明
  • 1 篇 数学归纳法
  • 1 篇 项重写
  • 1 篇 理论分析方法
  • 1 篇 计算机
  • 1 篇 分布推理
  • 1 篇 任务并行
  • 1 篇 子句简化
  • 1 篇 自动定理证明
  • 1 篇 推理策略
  • 1 篇 类型集

机构

  • 4 篇 武汉大学
  • 1 篇 东莞理工学院
  • 1 篇 新疆伊犁师范学院

作者

  • 6 篇 张黔
  • 5 篇 李卫华
  • 2 篇 刘娟
  • 1 篇 侯家利
  • 1 篇 张亮
  • 1 篇 金涛
  • 1 篇 路羽中
  • 1 篇 刘瑛睿
  • 1 篇 石自力

语言

  • 8 篇 中文
检索条件"主题词=归纳法推理"
共 8 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
归纳法推理系统
收藏
分享
引用
计算机学报 1996年 第3期19卷 230-236页
作者： 李卫华 张黔 刘娟 石自力 武汉大学计算机科学系
本文介绍了基于微机的归纳法推理系统．用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序的正确性、ＦＯＲＴＲＡＮ编译程序的正确性、ＬＩＳＰ解释程序的正确性等．文中简介了系统的理论... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
归纳法推理中的子句简化策略
收藏
分享
引用
软件学报 1996年 第A期7卷 558-564页
作者： 李卫华 张黔
本文介绍归纳法推理系统中的简化策略，系统推理能力在很大程度上取决于系统简化持证公式的能力，本文从定义的类型规定出发，描述了如何计算并利用类型集信息来简化子句，以及如何在运用重写策略的基础上，完成对各种子句的简化，该系... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
归纳法推理中的项重写策略
收藏
分享
引用
软件学报 1996年 第A期7卷 565-571页
作者： 李卫华 张黔
本文介绍归纳法推理系统中的项重写策略，该策略根据不同的待重写项ｔｅｒｍ，分别运用公理、重写引理、函数定义、项重写规则等重写项ｔｅｒｍ，以期得到一个更接近推理目标的已重写项，这一策略已在微机上用编译ＬＩＳＰ语言实现。
来源： 维普期刊数据库 维普期刊数据库 评论
归纳法推理中的各种推理策略
收藏
分享
引用
软件学报 1996年 第A期7卷 551-557页
作者： 李卫华 张黔
分元符删除，项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略，文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译ＬＩＳＰ语言实现。
来源： 维普期刊数据库 维普期刊数据库 评论
归纳法推理中若干问题的探讨
收藏
分享
引用
计算机工程与应用 2000年 第5期36卷 12-14页
作者： 金涛 刘瑛睿 武汉大学计算机科学与技术系国家多媒体软件工程技术研究中心
归纳法推理是人工智能领域中富有挑战性的研究方向，它是一种难度较大但较有前途的自动定理证明方法。文章对近年来归纳法推理的主要研究成果进行了综述，并分析国内外的研究现状，讨论了归纳法推理研究中的推理效率、理论的不完备性、... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
并行归纳法推理系统
收藏
分享
引用
计算机应用研究 1998年 第4期15卷 5-9页
作者： 张黔 武汉大学计算机科学及技术学院
为提高归纳法推理过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纳法推理的研究，其中包括推理知识的分布处理，系统初始工作的并行化，并行推理子任务的识别与调... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
归纳法推理系统模式自动生成的一种实现途径
收藏
分享
引用
武汉科技学院学报 2004年 第8期17卷 75-76页
作者： 侯家利 路羽中 东莞理工学院 广东东莞523106 新疆伊犁师范学院计科系 新疆伊犁835000
本文给出了归纳法推理系统模式自动生成程序的一种分析方法,有助于快速掌握有关模式自动生成的实现原理。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
归纳法模式的自动生成
收藏
分享
引用
软件学报 1996年 第3期7卷 168-174页
作者： 李卫华 张黔 张亮 刘娟 武汉大学计算机科学系
本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ＬＩＳＰ语言实现．
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件