人工智能经典试题及答案(5)

人工智能经典 试题及答案

Safety(z,x,y,S)≡(G(x,0,S)∧GE(x,y,S))∨(EZ(x,S))

其中，z,x,y的含义同上。该谓词的含义是：状态S下，在z岸，保证修道士安全，当且仅当修道士不在该岸上，或者修道士在该岸上，但人数超过野人数。该谓词同时也描述了相应的状态。

再定义描述过河方案的谓词：

L-R(x, x1, y, y1,S)：x1个修道士和y1个野人渡船从河的左岸到河的右岸

条件：Safety(L,x-x1,y-y1,S’)∧Safety(R,3-x+x1,3-y+y1,S’)∧Boat(L,S) 动作：Safety(L,x-x1,y-y1,S’)∧Safety(R,3-x+x1,3-y+y1,S’)∧Boat(R,S’) R-L (x, x1, y, y1,S)：x2个修道士和y2个野人渡船从河的左岸到河的右岸

条件：Safety(R,3-x-x2,3-y-y2,S’)∧Safety(L,x+x2,y+y2,S’)∧Boat(R,S) 动作：Safety(R,3-x-x2,3-y-y2,S’)∧Safety(L,x+x2,y+y2,S’)∧Boat(L,S’)

(2) 过河方案

∧Boat(L,S0)

L-R(3, 1, 3, 1,S0) L-R(3, 0, 3, 2,S0)

∧Safety(R,1,1,S1)∧Boat(R,S1)

Safety(L,3,1,S1’)∧’)∧Boat(R,S1’)

R-L (2, 1, 2, 0,S1) R-L (3,0, 1, 1,S1’)

∧Safety(R,0,1,S2)∧L-R(3, 0, 2, 2,S2)

∧Safety(R,0,3,S3)∧Boat(R,S3)

R-L (3, 0, 0, 1,S3)

Safety(L,3,1,S4)∧Safety(R,0,2,S1)∧Boat(L,S4)

L-R(3, 2, 1, 0,S4)

∧Safety(R,2,2,S5)∧Boat(R,S5)

R-L (1, 1, 1, 1,S5)

∧Safety(R,1,1,S6)∧Boat(L,S6)

L-R(2, 2, 2, 0,S6)

∧Safety(R,3,1,S7)∧Boat(R,S7)

R-L (0, 0, 2, 1,S7)

∧Safety(R,3,0,S8)∧Boat(L,S8)

L-R(0, 0, 3, 2,S8)

∧Safety(R,3,2,S9)∧Boat(R,S9)

R-L (0, 1, 1, 0,S9)

∧Safety(R,2,2,S10)∧Boat(L,S10)

L-R(1, 1, 1, 1,S10)

Safety(L,0,0,S11)∧Safety(R,3,3,S11)∧Boat(R,S11)

2.18 请对下列命题分别写出它们的语义网络：