1.图搜索的一般过程：当前建立一个初始的节点x，构建搜索图G。建立open表和close表。open表用来存放当前未扩展的节点，close表用来存放已扩展的节点。当open表为空，结束。open不为空，选择第一个节点，对他进行扩展，放入close。如果当前选择的节点为目标节点，则成功退出，如果不是，则继续，直到找到目标节点。扩展节点有三类：新的，已存在open，已存在close。
2.盲目搜索：广度和深度的过程。
3.启发式搜索：估价函数两部分的含义，g(x)h(x)
4.消解原理的基本应用：1.证明结论，消解演绎——九步法。（10分左右有细节）2.反演——目标公式的否定，否定之否定，析取，形成重言式PPT169：重言式结构。看看笔记的例子。（要会解决问题）
5.规则演绎，产生式：了解
562
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
