一个专家系统可以简单地判断一个城市是不是一个值得旅游的城市，其知识库（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 有好的餐馆
R8：IF 有很多博物馆 AND 是古老的城市 THEN 是历史名城
R9：IF 是南方国家 AND 商业自由 THEN 当地人热情好客
R10：IF 有很多公园 AND 有很多林荫大道 THEN 有茂盛的草木

一个专家系统可以简单地判断一个城市是不是一个值得旅游的城市，其知识库（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 有好的餐馆
R8：IF 有很多博物馆 AND 是古老的城市 THEN 是历史名城
R9：IF 是南方国家 AND 商业自由 THEN 当地人热情好客
R10：IF 有很多公园 AND 有很多林荫大道 THEN 有茂盛的草木

在下表中将CITY库中的17个事实填完整。

用全局择优搜索法求解重排九宫问题，设初始状态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