用全局择优搜索法求解重排九宫问题，设初始状态S₀和目标状态S_g如下：

估价函数定义：f（x）＝d（x）＋h₁（x），其中d（x）表示结点x的深度，h₁（x）表示结点x中的数字位置和目标结点中不相同的数字个数。例如：

用全局择优搜索法求解重排九宫问题，设初始状态S₀和目标状态S_g如下：

估价函数定义：f（x）＝d（x）＋h₁（x），其中d（x）表示结点x的深度，h₁（x）表示结点x中的数字位置和目标结点中不相同的数字个数。例如：

推销员旅行问题。设有5个相互可直达的城市A、B、C、D、E，如下图所示，各城市间的交通费用已在图中标出。推销员从城市A出发，去每个城市各旅行一次，最后到达城市E。

推销员旅行问题。设有5个相互可直达的城市A、B、C、D、E，如下图所示，各城市间的交通费用已在图中标出。推销员从城市A出发，去每个城市各旅行一次，最后到达城市E。

已知：
Rl：IF A₁ THEN B₁ CF（B₁，A₁）=0.8
R2：IF A₂ THEN B₁ CF（B₁，A₂）=0.5
R3：IF B₁∧A₃ THEN B₂ CF（B₂，B₁∧A₃）=0.8
设初始证据A₁，A₂，A₃的可信度均为1，即CF（A₁）=CF（A₂）=CF（A₃）=1，而对B₁几乎一无所知。求CF（B₁）和CF（B₂）。

设公理集：
P，
（P∧Q）→R，
（S∨T）→Q，
T
用归结原理求证：R

一个专家系统可以简单地判断一个城市是不是一个值得旅游的城市，其知识库（CITY库）中包含17个事实和10条规则（Ri表示第i条规则，Fi表示第i个事实）。
R1：IF好的城市AND有好的餐馆THEN是值得旅游的城市
R2：IF是历史名城THEN是值得旅游的城市
R3：IF当地人热情好客AND有民俗学传统THEN是值得旅游的城市
R4：IF有很多古迹AND有茂盛的草木THEN好的城市
R5：IF有本地的烹调传统THEN有好的餐馆
R6：IF有法国餐馆THEN有好的餐馆
R7：IF有意大利餐馆THEN有好的餐馆
RS：IF有很多博物馆AND是古老的城市THEN是历史名城
R9：IF是南方国家AND商业自由THEN当地人热情好客
R10：IF有很多公园AND有很多林荫大道THEN有茂盛的草木