数学教育学报

2020, v.29;No.130(01) 1-5

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

几何机器明证引发的思考
Thinking Inspired by Geometric Machine Certificate

张景中;彭翕成;邹宇;

摘要(Abstract):

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

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

Abstract:

Keywords:

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

作者(Author): 张景中;彭翕成;邹宇;

Email:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享