第二章-搜索、树之类的
盲目搜索与启发式搜索
盲目搜索
启发式搜索
启发函数![](https://i-blog.csdnimg.cn/blog_migrate/916e5a65c76038883b3422403b336c44.png)
启发搜索特点
状态空间图
open,close表
与或图
与或树的搜索唯一不同的是注意可解性的标注
与或树盲目搜索
广度![](https://i-blog.csdnimg.cn/blog_migrate/8ccf32a7494a2c12d16db2f83781bbbb.png)
深度
启发式搜索
和代价:串行,最大代价:并行
例题
代价不确定,每扩展一层重新估算代价
希望树
计算两边谁比较小,小的那个为希望树,深度扩展希望树两层,再判断谁是希望树,循环往复
博弈树
极大极小分析法 ![](https://i-blog.csdnimg.cn/blog_migrate/c375faf1fc241be780237a1037683226.png)
与操作,找出上确界,大于上确界的都不要
或操作,找出下确界,小于下确界的都不要
第三章
谓词逻辑
定义
谓词公式的解释
例题
自然演绎推理
例题
归结演绎推理
子句集
计算
例题
归结式(用以归结的公式)
应为谓词变量不统一,去除不掉,为了统一变量引入如下
替换与合一
替换的乘积,即替换后再替换![](https://i-blog.csdnimg.cn/blog_migrate/8b55ba89b2b673497ef20494946ce015.png)
谓词的归结式,为了解决变量不统一
例题,求归结式
归结(就相当于加了个替换变量的归结)
1. 子剧集,2. 归结
归结策略
删除无用的
类含
必须要用给定的子句或其后代归结
每次归结必须用上一次的结果
至少一个是最初的,或者为父子关系
第四章
不确定性推理
确定性理论
计算
例题
模糊推理
例题
模糊关系合成
模糊推理