几何机器明证引发的思考  

Thinking Inspired by Geometric Machine Certificate

作　　者：张景中[1,2] 彭翕成[1] 邹宇[2] 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)

机构地区：[1]华中师范大学国家数字化学习工程技术研究中心,湖北武汉430079 [2]广州大学计算科技研究院,广东广州510006

出　　处：《数学教育学报》2020年第1期1-5,共5页Journal of Mathematics Education

基　　金：国家自然科学基金项目——点几何及其机器证明(11701118)

摘　　要：时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机给出的解答甚至比题干还短,这看似"有悖"常识,但又引起思考,如何知识表示才能尽量简洁而又方便推理.知识的创新表示,要尽量符合信息时代的要求,同时也可能造成原有知识体系的重新定位.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.

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

分 类 号：G40-03[文化科学—教育学原理]