聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
学位论文 若干逻辑自动推理方法研究
摘要:自动定理证明(Automated Theorem Proving)或者机器定理证明(MechanicalTheorem Proving)是通过计算机实现... 显示全部
关键词: 定理证明 自动推理 子句搜索方法 一阶逻辑 格值逻辑 方法 试探方法 自然推理方法 可读证明
学位论文 自动推理中几何信息的压缩及表达式推理
摘要:几何定理机器证明的研究在最近20年来取得了一系列令人瞩目的成果,特别是计算机自动推理可读证明的突破,使... 显示全部
关键词: 自动推理 可读证明 信息的压缩 表达式
学位论文 反证法在自动推理系统中的研究与实现
摘要:从50年代tarski发表的《初等代数与初等几何的判定问题》<'[25]>开始,到70年代的吴法<'[4,5]>,90年代的消点... 显示全部
关键词: 规则 自动推理 前推搜索 语句 矛盾
学位论文 基于逻辑的自动推理研究
摘要:自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种... 显示全部
关键词: 人工智能 自动推理 谓词演算 模糊逻辑 归结原理 知识标记 万维网服务
学位论文 基于前向推理的平面解析几何计算器
摘要:本文第一章简要地回顾了机器证明的发展历程,介绍了智能教育软件的研究现状,并对本文的工作做了阐述.第二章... 显示全部
关键词: 自动推理 计算器 中学数学教学 教育软件 解析几何
找到5条结果
`