人的一种心态，希望用较少的工具完成较多的任务。把作点、线、圆的工具合为一个工具，明显能够减少工具之间的切换，提高工作效率。如果计算机就时时刻刻估计揣摩人的意愿，通过鼠标的位置和状态猜测人要作什么，及时显示出提示向人请示．在智能作图状态，单击左键作点，按下左键拖动画线，单击左键再按下左键拖动作圆；还可以作线段中点、平行线、垂直线、等长线段、圆的切线、圆和直线的交点、平行四边形、等腰三角形等图形。这也就是智能化软件的优越性。真正的智能化软件，其智能性是可以选择的，当限制其智能化程度，让用户用最基础的工具进行搭建。标注角．人去标注，会按照是不是直角来标注；智能软件则会自动判断是不是直角，并给予不同标注。
推理的基础实际上是数学计算。逻辑推理可以化为布尔代数中的计算。用大量的计算来代替推理。符号运算在自动推理中有着相当重要的作用。用符号计算软件展开，能很快展出来，而且能排好版。一个多项式能不能分解，人就很难判断．但是计算机马上就能分解出来。对因式分解的研究，是自动推理中很难的一块，论文上千篇。但是，对计算机来说，手到擒来，马上就可以知道不能再分解了。符号运算还包括计算不定积分、微分、排列组合、大数运算等诸多方面。理工科离开符号运算软件，根本完成不了。
用智能软件，可以直接输入文本，然后自动转化为数学中所需要的形式。
用自动推理软件来证明问题，已经不仅仅简单地判断命题的对错，而且可以自动生成人能够看懂的证明过程。
开放性问题，要问一个几何图形中有多少组成比例的线段，如果让人去找，花费大量时间不说，而且未必能够找全。采用自动推理，不到 3秒钟，就能全部找出来，不单找出总共多少组成比例的线段，而且找到了有多少对相似三角形，相等的角有多少组等信息。
用自动推理的方法来设计动画，可以让动画变得非常小。用自动推理的方法，在智能软件上一个动画文件有多大呢？如果把这个动画做成网页，只有 8K．它实际上传输的是一系列命令组成的模型，模型的内容包括这个动画的制作原理，生成曲线的方程以及控制方程的参数等，这些都是文本数据，所以文件非常小。接收方根据模型，自动
生成动画即可。
很多问题，光用计算机很难做出来，就要用交互推理。就是计算机做一做，人出点主意，人告诉它下一步怎么做，叫交互推理。人在操纵着机器，人出主意，用机器做计算推理，这是交互推理的基本思想。机器在推理时，开始第一遍它不会，第二遍它自己就会做了。
在自动推理平台方面，最流行的软件，一个是美国的Mathematica，一个是加拿大的 Maple。
国际上比较有影响力的符号运算软件有Maxima 和 Scilab，动态几何软件还有 Geogebra，这些都是开源软件，不存在盗版问题，可以放心使用。#自动推理# ，#交互推理# ，#符号运算# #机器学习#
