《麻省理工学院公开课：人工智能》笔记一

《02 推理：目标树与问题求解》视频链接

【内容简介】

本节课内容主要是围绕 James Slagle 开发的一个符号积分程序的展开，并从这个例子中理解和思考人工智能。

【笔记】

如果给你一个下面这个积分题，你将如何求解呢？

问题：假设我们有一个程序，它可以求解积分问题，那么这个程序算不算智能呢？

现在我们来设计一个程序使得它可以求解积分问题。

在求解这个具体积分问题之前，我们得让机器先知道这么些知识：

知道了上述知识后，我们的求解思路就是下图所示：

放到这个积分运算中就是下图所示：（箭头上的符号表示运用了哪个transform）

但是解到这一步再用安全转化就解不出来了，所以得用下面的启发式转化：
（启发式（heuristic）变换，作为我们求解过程中的一种尝试，不一定有效，有时候却能发挥作用）

所以我们的思路也对应的发生了变化：

所以整体的积分运算过程就是：（箭头上的符号表示运用了哪个transform）

【Tips】：
在上图中，引入“与节点”（and node）和“或节点”（or node），而上图也形成了一个树形状的图，对于这个图我们称之为“问题归约树（Problem reduction tree）”或者“目标树（Goal tree）”或者“与或树（add/or tree）”。

这个积分求解到这里也就结束了。

所以当我们设计的程序有足够多的积分表，安全转换和启发式转换时，任意给一个积分问题，我们的程序就能按照下图中的思路来求出对应的解。

所以，像这么一个程序它到底算不算智能？

《麻省理工学院公开课：人工智能》笔记二