(2) 过河方案
Safety(L,3,3,S0)∧Safety(R,0,0,S0)∧Boat(L,S0)
L-R(3, 1, 3, 1,S0) L-R(3, 0, 3, 2,S0)
Safety(L,2,2,S1)∧Safety(R,1,1,S1)∧Boat(R,S1)
Safety(L,3,1,S1’)∧Safety(R,0,2,S1’)∧Boat(R,S1’)
R-L (2, 1, 2, 0,S1) R-L (3,0, 1, 1,S1’)
Safety(L,3,2,S2)∧Safety(R,0,1,S2)∧Boat(L,S2)
L-R(3, 0, 2, 2,S2)
Safety(L,3,0,S3)∧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(L,1,1,S5)∧Safety(R,2,2,S5)∧Boat(R,S5)
R-L (1, 1, 1, 1,S5)
Safety(L,2,2,S6)∧Safety(R,1,1,S6)∧Boat(L,S6)
L-R(2, 2, 2, 0,S6)
Safety(L,0,2,S7)∧Safety(R,3,1,S7)∧Boat(R,S7)
R-L (0, 0, 2, 1,S7)
Safety(L,0,3,S8)∧Safety(R,3,0,S8)∧Boat(L,S8)
L-R(0, 0, 3, 2,S8)
Safety(L,0,1,S9)∧Safety(R,3,2,S9)∧Boat(R,S9)
R-L (0, 1, 1, 0,S9)
Safety(L,1,1,S10)∧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.13 什么是产生式?它的基本形式是什么?代表什么含义?
解:“产生式”由美国数学家波斯特(E.POST)在 1934 年首先提出,它根据串代替规则
提出了一种称为波斯特机的计算模型,模型中的每条规则称为产生式。
产生式的基本形式 P→Q 或者 IF P THEN Q。P 是产生式的前提,也称为前件,它给出了
该产生式可否使用的先决条件,由事实的逻辑组合来构成;Q 是一组结论或操作,也称为产生
式的后件,它指出当前题 P 满足时,应该推出的结论或应该执行的动作。产生式的含义如果前
提 P 满足,则可推出结论 Q 或执行 Q 所规定的操作。
2.14 产生式表示的特征是什么?
解:优点:自然性、模块性、有效性
缺点:效率低性、不方便表示结构性知识的有向图
2.15 何谓语义网络?它有哪些基本的语义关系?