人工智能期末复习（三）

1.图搜索的一般过程：当前建立一个初始的节点x，构建搜索图G。建立open表和close表。open表用来存放当前未扩展的节点，close表用来存放已扩展的节点。当open表为空，结束。open不为空，选择第一个节点，对他进行扩展，放入close。如果当前选择的节点为目标节点，则成功退出，如果不是，则继续，直到找到目标节点。扩展节点有三类：新的，已存在open，已存在close。

2.盲目搜索：广度和深度的过程。
![在这

3.启发式搜索：估价函数两部分的含义，g(x)h(x)

4.消解原理的基本应用：1.证明结论，消解演绎——九步法。（10分左右有细节）2.反演——目标公式的否定，否定之否定，析取，形成重言式PPT16