摘要
自动推理是人工智能中最成功的部分．自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案．凡是用到计算机的地方，或多或少都要用到自动推理．自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面．我国在数学机械化的应用上有一些先进成果，但是在自动推理平台方面，还远远落后于世界先进水平，智能软件的开发需要长期努力．
The history and significance of automated reasoning research was expatiated in this paper, and the applications of automated reasoning in mathematics education were reviewed from several different aspects such as geometry drawing, symbols computing, geometric proof, animation designing and machine learning. Lastly, some advises were proposed for the development of intelligent software.
出处
《数学教育学报》
北大核心
2008年第4期1-5,共5页
Journal of Mathematics Education
基金
教育部科技创新工程重大项目培育资金项目资助(705038)
关键词
人工智能
自动推理
智能软件
artificial intelligence
automated reasoning
intelligent software
