geogebra 3d 图形计算器使用手册（开源软件自动推理）

geogebra 3d 图形计算器使用手册（开源软件自动推理）

有些智能是人才有的，会使用符号，会去推理动物是没有思维能力的，而人可以用符号、用语言推理动物的符号是生理符号，通过发出各种不同的声音（如鲸有鲸的声音，海豚有海豚的声音），以互相传递信息，但是现在还没有发现动物使用符号、利用文字在这一点上，人是独特的，人可以进行很复杂的推理，这种智能是人独有的智能人通过推理，可以由此及彼、由表及里、去粗取精、去伪存真，所以自动推理在人工智能中是个非常重要的部分自动推理是人工智能中最为成功的部分，今天小编就来聊一聊关于geogebra 3d 图形计算器使用手册?接下来我们就一起去研究一下吧!

geogebra 3d 图形计算器使用手册

有些智能是人才有的，会使用符号，会去推理。动物是没有思维能力的，而人可以用符号、用语言推理。动物的符号是生理符号，通过发出各种不同的声音（如鲸有鲸的声音，海豚有海豚的声音），以互相传递信息，但是现在还没有发现动物使用符号、利用文字。在这一点上，人是独特的，人可以进行很复杂的推理，这种智能是人独有的智能。人通过推理，可以由此及彼、由表及里、去粗取精、去伪存真，所以自动推理在人工智能中是个非常重要的部分。自动推理是人工智能中最为成功的部分。

人的一种心态，希望用较少的工具完成较多的任务。把作点、线、圆的工具合为一个工具，明显能够减少工具之间的切换，提高工作效率。如果计算机就时时刻刻估计揣摩人的意愿，通过鼠标的位置和状态猜测人要作什么，及时显示出提示向人请示．在智能作图状态，单击左键作点，按下左键拖动画线，单击左键再按下左键拖动作圆；还可以作线段中点、平行线、垂直线、等长线段、圆的切线、圆和直线的交点、平行四边形、等腰三角形等图形。这也就是智能化软件的优越性。真正的智能化软件，其智能性是可以选择的，当限制其智能化程度，让用户用最基础的工具进行搭建。标注角．人去标注，会按照是不是直角来标注；智能软件则会自动判断是不是直角，并给予不同标注。

推理的基础实际上是数学计算。逻辑推理可以化为布尔代数中的计算。用大量的计算来代替推理。符号运算在自动推理中有着相当重要的作用。用符号计算软件展开，能很快展出来，而且能排好版。一个多项式能不能分解，人就很难判断．但是计算机马上就能分解出来。对因式分解的研究，是自动推理中很难的一块，论文上千篇。但是，对计算机来说，手到擒来，马上就可以知道不能再分解了。符号运算还包括计算不定积分、微分、排列组合、大数运算等诸多方面。理工科离开符号运算软件，根本完成不了。

用智能软件，可以直接输入文本，然后自动转化为数学中所需要的形式。

用自动推理软件来证明问题，已经不仅仅简单地判断命题的对错，而且可以自动生成人能够看懂的证明过程。

开放性问题，要问一个几何图形中有多少组成比例的线段，如果让人去找，花费大量时间不说，而且未必能够找全。采用自动推理，不到 3秒钟，就能全部找出来，不单找出总共多少组成比例的线段，而且找到了有多少对相似三角形，相等的角有多少组等信息。

用自动推理的方法来设计动画，可以让动画变得非常小。用自动推理的方法，在智能软件上一个动画文件有多大呢？如果把这个动画做成网页，只有 8K．它实际上传输的是一系列命令组成的模型，模型的内容包括这个动画的制作原理，生成曲线的方程以及控制方程的参数等，这些都是文本数据，所以文件非常小。接收方根据模型，自动

生成动画即可。

很多问题，光用计算机很难做出来，就要用交互推理。就是计算机做一做，人出点主意，人告诉它下一步怎么做，叫交互推理。人在操纵着机器，人出主意，用机器做计算推理，这是交互推理的基本思想。机器在推理时，开始第一遍它不会，第二遍它自己就会做了。

在自动推理平台方面，最流行的软件，一个是美国的Mathematica，一个是加拿大的 Maple。

国际上比较有影响力的符号运算软件有Maxima 和 Scilab，动态几何软件还有 Geogebra，这些都是开源软件，不存在盗版问题，可以放心使用。#自动推理# ，#交互推理# ，#符号运算# #机器学习#