聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 与替换和集合运算有关的错误
出处:软件学报 1999年第2期 201-204,共4页
摘要:指出在使用归结方法的自运输推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有... 显示全部
关键词: 归结 替换 集合 自动推理 人工智能
在线阅读 下载全文
期刊文章 基于描述逻辑的概念图推理
出处:计算机科学 2008年第8期 176-179,共4页
摘要:分析了概念图在知识表示领域的重要性及其存在的问题,提出了一种基于描述逻辑的具有自动推理功能的扩展概... 显示全部
关键词: 知识表示 概念图 描述逻辑 自动推理
在线阅读 下载全文
期刊文章 几何自动推理系统发展研究
出处:山西广播电视大学学报 2010年第3期 40-41,共2页
摘要:通过回顾几何自动推理与几何软件的历史与研究现状,探讨了几何自动推理系统的发展,得出几何自动推理系统... 显示全部
关键词: 自动推理 几何 软件
在线阅读 下载全文
期刊文章 关于非单调逻辑
出处:计算机科学 1988年第4期
摘要:<正> 一、非单调推理的提出逻辑是研究思维与论证的科学。它的目的是研究人们在推理过程中的思维规律。并利... 显示全部
关键词: 非单调逻辑 自动推理 非单调推理 推理方法 一阶逻辑 谓词变量 推理过程 知识表示 人工智能技术 推理规则
期刊文章 计算机自动推理——它的兴起,萧条与复兴
出处:计算机科学 1988年第4期
摘要:<正> 一关于计茸机自动推理, 人工智能是研究如何使用电子计算机模拟或实现人的智胎行为的一门科学。人的推... 显示全部
关键词: 自动推理 计算机科学 计算机模拟 推理系统 智能活动 重写规则 计算机实现 非单调推理 机器学习 非单调逻辑
期刊文章 概率逻辑程序
出处:计算机科学 2003年第7期 1-3,11,共4页
摘要:The purpose of this paper is to present the syntax and semantics of probabilistic logic programming... 显示全部
关键词: 概率逻辑程序 知识描述 知识推理 自动推理
在线阅读 下载全文
找到6条结果
`