lecture 2：Reasoning:Goal Trees and Problem Solving

以一个积分程序解决问题的过程为例，讲解目标树

从一个积分程序谈起：
为了解决一个复杂的积分，需要对它进行变换，比如∫cf(x)dx=c∫f(x)dx、三角变换等，各种变换将一个复杂的积分转换成一个个子问题，我们将这个过程反映在树上就是一个目标树，从最初的积分开始（根节点），到下层的子结点，直到化为一个可解的简单形式。

几个概念：
problem reduction（问题规约）
goal tree（目标树）或者称为and/or tree（与或树）
最终可得到解树

举一个最简单的例子：

图：一个简单的积分 关于积分程序（MIT最难的作业ps:freshman）的几个观察角度： 1.正确率 2.最大深度 3.平均深度 4.树的宽度-未用到的分支 5.涉及到的知识 积分表，安全变换，启发式变换

当我们发现计算机可以做复杂的积分时，我们会觉得计算机非常智能，但是当我们了解了上述计算机能够解出积分的原理后，我们会觉得，哦这一点也不智能，这跟我自己的解题过程一样！（仔细想一下，这不就是智能吗？像人一样解决问题[^_^]）