聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
学位论文 基于逻辑的自动推理研究
摘要:自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种... 显示全部
关键词: 人工智能 自动推理 谓词演算 模糊逻辑 归结原理 知识标记 万维网服务
找到1条结果
`