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

作     者：张景中 彭翕成 ZHANG Jing-zhong;PENG Xi-cheng

作者机构：华中师范大学教育部教育信息技术工程研究中心 

基　　金：教育部科技创新工程重大项目培育资金项目资助(705038) 

出 版 物：《数学教育学报》 (Journal of Mathematics Education)

年 卷 期：2008年第17卷第4期

页      码：1-5页

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

主 题 词：人工智能 自动推理 智能软件 

学科分类：0402[教育学-体育学类] 040202[040202] 04[教育学] 

D　O　I：10.3969/j.issn.1004-9894.2008.04.001

馆 藏 号：203108021...