检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到7篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

归纳法推理系统被引量：3: 1; 作者李卫华张黔 +1 位作者刘娟石自力《计算机学报》 EI CSCD 北大核心 1996年第3期230-236,共7页; 本文介绍了基于微机的归纳法推理系统．用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序的正确性、ＦＯＲＴＲＡＮ编译程序的正确性、ＬＩＳＰ解释程序的正确性等．文中简介了系统的理论... 展开更多; 关键词归纳法推理程序证明人工智能计算机; 在线阅读下载PDF 职称材料

归纳法推理中若干问题的探讨被引量：1: 2; 作者金涛刘瑛睿《计算机工程与应用》 CSCD 北大核心 2000年第5期12-14,共3页; 归纳法推理是人工智能领域中富有挑战性的研究方向，它是一种难度较大但较有前途的自动定理证明方法。文章对近年来归纳法推理的主要研究成果进行了综述，并分析国内外的研究现状，讨论了归纳法推理研究中的推理效率、理论的不完备性、... 展开更多; 关键词数学归纳法归纳法推理自动定理证明人工智能; 在线阅读下载PDF 职称材料

并行归纳法推理系统: 3; 作者张黔《计算机应用研究》 CSCD 1998年第4期5-9,共5页; 为提高归纳法推理过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纳法推理的研究，其中包括推理知识的分布处理，系统初始工作的并行化，并行推理子任务的识别与调... 展开更多; 关键词归纳法推理知识库任务并行分布推理人工智能; 在线阅读下载PDF 职称材料

归纳法推理中的子句简化策略: 4; 作者李卫华张黔《软件学报》 EI CSCD 北大核心 1996年第A00期558-564,共7页; 本文介绍归纳法推理系统中的简化策略，系统推理能力在很大程度上取决于系统简化持证公式的能力，本文从定义的类型规定出发，描述了如何计算并利用类型集信息来简化子句，以及如何在运用重写策略的基础上，完成对各种子句的简化，该系... 展开更多; 关键词类型集归纳法推理子句简化人工智能; 在线阅读下载PDF 职称材料

归纳法推理中的项重写策略: 5; 作者李卫华张黔《软件学报》 EI CSCD 北大核心 1996年第A00期565-571,共7页; 本文介绍归纳法推理系统中的项重写策略，该策略根据不同的待重写项ｔｅｒｍ，分别运用公理、重写引理、函数定义、项重写规则等重写项ｔｅｒｍ，以期得到一个更接近推理目标的已重写项，这一策略已在微机上用编译ＬＩＳＰ语言实现。; 关键词项重写归纳法推理知识库人工智能; 在线阅读下载PDF 职称材料

归纳法推理中的各种推理策略: 6; 作者李卫华张黔《软件学报》 EI CSCD 北大核心 1996年第A00期551-557,共7页; 分元符删除，项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略，文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译ＬＩＳＰ语言实现。; 关键词归纳法推理推理策略人工智能; 在线阅读下载PDF 职称材料

归纳法模式的自动生成被引量：1: 7; 作者李卫华张黔 +1 位作者张亮刘娟《软件学报》 EI CSCD 北大核心 1996年第3期168-174,共7页; 本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ＬＩＳＰ语言实现．; 关键词归纳法模式归纳法推理人工智能; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部