首页 | 本学科首页   官方微博 | 高级检索  
     检索      

几何机器明证引发的思考
引用本文:张景中,彭翕成,邹宇.几何机器明证引发的思考[J].数学教育学报,2020(1):1-5.
作者姓名:张景中  彭翕成  邹宇
作者单位:华中师范大学国家数字化学习工程技术研究中心;广州大学计算科技研究院
基金项目:国家自然科学基金项目——点几何及其机器证明(11701118)
摘    要:时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机给出的解答甚至比题干还短,这看似"有悖"常识,但又引起思考,如何知识表示才能尽量简洁而又方便推理.知识的创新表示,要尽量符合信息时代的要求,同时也可能造成原有知识体系的重新定位.

关 键 词:人工智能  教育应用  几何定理  机器明证  知识表示和推理

Thinking Inspired by Geometric Machine Certificate
ZHANG Jing-zhong,PENG Xi-cheng,ZOU Yu.Thinking Inspired by Geometric Machine Certificate[J].Journal of Mathematics Education,2020(1):1-5.
Authors:ZHANG Jing-zhong  PENG Xi-cheng  ZOU Yu
Institution:(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)
Abstract: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.
Keywords:artificial intelligence  educational application  geometric theorems  machine certificate  knowledge representation and reasoning
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号