自动推理
(人工智能学科的研究课题)
自动推理,人工智能学科的一个重要研究课题。在计算机支持下实现推理,以求解问题。在20世纪60年代中期以前,定理机器证明的注意力还仅仅限于数学方面。
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
人工智能
软件
互联网
计算机
IT
科技
农学
技术
科学
电气
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多