期刊文献+

几何机器明证引发的思考 被引量:11

Thinking Inspired by Geometric Machine Certificate
下载PDF
导出
摘要 时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机给出的解答甚至比题干还短,这看似"有悖"常识,但又引起思考,如何知识表示才能尽量简洁而又方便推理.知识的创新表示,要尽量符合信息时代的要求,同时也可能造成原有知识体系的重新定位. The development of times requires intelligent education resources, rather than simple "electronic". The basic requirement that intelligent solutions can be applied in the field of education is that they can be understood and accepted by people, that is, they have good readability. Our latest research suggests that human solutions are not necessarily the best, and that computers may offer surprising solutions. The fact that a computer gives a solution even shorter than the stem of the problem seems "contrary" to common sense, but it also leads to the question of how to represent knowledge in such a way as to be as concise and convenient as possible for reasoning. The innovation representation of knowledge should conform to the requirements of the information age as far as possible, and at the same time may cause the repositioning of the original knowledge system.
作者 张景中 彭翕成 邹宇 ZHANG Jing-zhong;PENG Xi-cheng;ZOU Yu(National Engineering Research Center for E-Learning,Central China Normal University,Hubei Wuhan 430079,China;Institute of Computing Science and Technology,Guangzhou University,Guangdong Guangzhou 510006,China)
出处 《数学教育学报》 CSSCI 北大核心 2020年第1期1-5,共5页 Journal of Mathematics Education
基金 国家自然科学基金项目——点几何及其机器证明(11701118)
关键词 人工智能 教育应用 几何定理 机器明证 知识表示和推理 artificial intelligence educational application geometric theorems machine certificate knowledge representation and reasoning
  • 相关文献

参考文献15

二级参考文献43

共引文献246

同被引文献114

引证文献11

二级引证文献76

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部