摘要：自动推理是人工智能中最成功的部分．自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案．凡是用到计算机的地方，或多或少都要用到自动推理．自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面．我国在数学机械化的应用上有一些先进成果，但是在自动推理平台方面，还远远落后于世界先进水平，智能软件的开发需要长期努力．

原文链接:http://www.cqvip.com//QK/91144X/200804/28039216.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）