自动推理及其在数学教育中的应用

摘要：

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

关键词：人工智能、自动推理、智能软件

所属期刊栏目：17

分类号：G443(教育心理学)

资助基金：教育部高校科技创新工程重大项目705038

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

页数：共5页

页码：1-5