第一课：推理：目标树和问题解决

思考的引入

能解下面方程的程序是否算得上是智能？

建模并转换问题

通过问题归纳转换问题

通过推导积分的步骤和化简方式引入目标树

将问题转换为积分表

积分表分为安全变换和启发式变换，下面是课上使用的积分表

进行求解

求解的过程中可能会有很多的分支，可以根据复杂性来选择最优的

教材原文