精选ppt
14
解:第一步: 定义问题状态的描述形式:
设Sk=(M,C,B)表示传教士和野人在河右岸 的状态。
其中:
M表示传教士在右岸的人数。
C表示野人在右岸的人数。
B用来表示船是不是在右岸。
(B=1表示在右岸,B=0表示在左岸)。
初始状态集:S={(3,3,1)}
目标状态集:G={(0,精0选,0pp)t }
精选ppt
19
的实质。
2.2 问题归约法
➢问题归约法的组成部分 (1)一个初始问题描述; (2)一套把问题变换为子问题的操 作符; (3)一套本原问题描述。
精选ppt
20
2.3 谓词逻辑法
➢ 一阶谓词逻辑表示法适于表示确定 性的知识。它具有自然性、精确性、严 密性及易实现等特点。
精选ppt
21
2.3 谓词逻辑法
精选ppt
18
2.2 问题归约法
➢问题归约法的概念
❖已知问题的描述,通过一系列变换把此 问题最终变为一个子问题集合;这些子 问题的解可以直接得到,从而解决了初 始问题。
❖该方法也就是从目标(要解决的问题)出发
逆向推理,建立子问题以及子问题的子
问题,直至最后把初始问题归约为一个
平凡的本原问题集合。这就是问题归约
L(1,0), L(2,0), L(精1选,1ppt), L(0,1), L(0,2) 16
第三步:求解过程。
R(2,0)
1,1,0 R(1,1)
L(2,0) 3,1,1 L(0,1) R(0,1)
3,0,0 L(0,2) R(0,2)
L(1,1) 2,2,1
L(2,0) R(2,0)
L(1,0)
所代表的对象的特性。弧线用于表示节点