《麻省理工学院公开课：人工智能》笔记一
《02 推理：目标树与问题求解》视频链接
【内容简介】
本节课内容主要是围绕 James Slagle 开发的一个符号积分程序的展开，并从这个例子中理解和思考人工智能。
【笔记】
如果给你一个下面这个积分题，你将如何求解呢？
问题：假设我们有一个程序，它可以求解积分问题，那么这个程序算不算智能呢？
现在我们来设计一个程序使得它可以求解积分问题。
在求解这个具体积分问题之前，我们得让机器先知道这么些知识：
知道了上述知识后，我们的求解思路就是下图所示：
放到这个积分运算中就是下图所示：（箭头上的符号表示运用了哪个transform）
但是解到这一步再用安全转化就解不出来了，所以得用下面的启发式转化：
（启发式（heuristic）变换，作为我们求解过程中的一种尝试，不一定有效，有时候却能发挥作用）
所以我们的思路也对应的发生了变化：
所以整体的积分运算过程就是：（箭头上的符号表示运用了哪个transform）
【Tips】：
在上图中，引入“与节点”（and node）和“或节点”（or node），而上图也形成了一个树形状的图，对于这个图我们称之为“问题归约树（Problem reduction tree）”或者“目标树（Goal tree）”或者“与或树（add/or tree）”。
这个积分求解到这里也就结束了。
所以当我们设计的程序有足够多的积分表，安全转换和启发式转换时，任意给一个积分问题，我们的程序就能按照下图中的思路来求出对应的解。
所以，像这么一个程序它到底算不算智能？
