知识表示和推理

作品数：18被引量：75H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：常亮王小军周昌盛吕汉兴余晓东更多>>
相关机构：桂林电子科技大学中国科学院西安交通大学清华大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《海军工程大学学报》《中国中医药科技》更多>>
相关基金：国家自然科学基金云南省自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=数学教育学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
几何机器明证引发的思考被引量：12
《数学教育学报》2020年第1期1-5,共5页张景中 彭翕成 邹宇 
国家自然科学基金项目——点几何及其机器证明(11701118)
时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机给出的解答甚至比题干还短,...
关键词：人工智能 教育应用 几何定理 机器明证 知识表示和推理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部