几何机器明证引发的思考

摘要：

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

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

所属期刊栏目：29

分类号：G40-03(教育学)

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

在线出版日期：2020-07-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-5