定理机器证明

作品数：55被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：孙吉贵印鉴李莹朱兴军吴尽昭更多>>
相关机构：吉林大学中国科学院数学与系统科学研究院北京邮电大学华东师范大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《数学教学》《高等数学研究》更多>>
相关基金：国家自然科学基金吉林省青年科研基金中国博士后科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种对象检索模型
《小型微型计算机系统》2000年第8期840-843,共4页印鉴 
国家自然科学基金部分资助 !( 6973 3 0 3 0 )
本文以计算逻辑为理论基础 ,设计了一种对象检索模型以解决定理机器证明中的“同理可证”问题 ,该模型采用基于事例的推理方法来进行推理 .
关键词：定理机器证明 对象检索模型 事例推理 机器学习 
基于演化Agent的推理模型被引量：1
《小型微型计算机系统》2000年第3期278-281,共4页印鉴 汤庸 
国家自然科学基金;广东省自然科学基金
本文描述了一种基于演化 agent的推理模型 ,并用这种推理模型来处理定理机器证明 .传统上 ,定理机器证明常常使用某种逻辑表示 ,然后再进行推理 ,这些方法往往缺乏灵活性 ,且证明过程难以理解 .在本文所叙述的方法中 ,演化 agent能将目...
关键词：AGENT 定理机器证明 人工智能 推理模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部