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.18 请对下列命题分别写出它们的语义网络： (1) 每个学生都有一台计算机。 解：
GS
学生 占有权 计算机
AKO ISA ISA g F Owner Owns c g s o ?
(2) 高老师从3月到7月给计算机系学生讲《计算机网络》课。 解： 7月 8月
End Start
ISA 老师 高老师 Action 讲课 Subjec讲课事件 Object Caurse 计算机网络 计算机系学生 (3) 学习班的学员有男、有女、有研究生、有本科生。 解：参例2.14
(4) 创新公司在科海大街56号，刘洋是该公司的经理，他32岁、硕士学位。 解：参例2.10
(5) 红队与蓝队进行足球比赛，最后以3：2的比分结束。 解： 比赛
AKO Participants1 Outcome 3:2 足球赛 红队
Participants 2 蓝队 2.19 请把下列命题用一个语义网络表示出来： (1) 树和草都是植物； 解：
植物
AKO AKO
树 草
(2) 树和草都有叶和根； 解：
叶 根
Have Have
植物 是一种 是一种
树 草
(3) 水草是草，且生长在水中； 解： AKO Live AKO 水草 草 植物
(4) 果树是树，且会结果； 解：
AKO AKO Can 果树 树 植物 水中 结果
(5) 梨树是果树中的一种，它会结梨。 解： AKO AKO Can 梨树 果树 结梨 树
2.25 假设有以下一段天气预报：“北京地区今天白天晴，偏北风3级，最高气温12o，最低气温-2o，降水概率15%。”请用框架表示这一知识。
解：
Frame<天气预报> 地域：北京 时段：今天白天 天气：晴 风向：偏北 风力：3级
气温：最高：12度 最低：-2度 降水概率：15%
2.26 按“师生框架”、“教师框架”、“学生框架”的形式写出一个框架系统的描述。 解：师生框架
Frame
Name：Unit（Last-name，First-name） Sex：Area（male，female） Default：male Age：Unit（Years）
Telephone：Home Unit（Number）
Mobile Unit（Number）
教师框架
Frame
AKO
Project ：Area（National，Provincial，Other） Default：Provincial
Paper：Area（SCI，EI，Core，General） Default：Core
学生框架
Frame
AKO< Teachers-Students > Major：Unit（Major-Name） Classes：Unit（Classes-Name）
Degree：Area（doctor，mastor, bachelor） Default：bachelor
第3章 确定性推理部分参考答案
3.8 判断下列公式是否为可合一，若可合一，则求出其最一般合一。
(1) P(a, b), P(x, y) (2) P(f(x), b), P(y, z) (3) P(f(x), y), P(y, f(b))
(4) P(f(y), y, x), P(x, f(a), f(b)) (5) P(x, y), P(y, x)
解：(1) 可合一，其最一般和一为：σ={a/x, b/y}。 (2) 可合一，其最一般和一为：σ={y/f(x), b/z}。 (3) 可合一，其最一般和一为：σ={ f(b)/y, b/x}。 (4) 不可合一。
(5) 可合一，其最一般和一为：σ={ y/x}。
3.11 把下列谓词公式化成子句集：
(1) (?x)(?y)(P(x, y)∧Q(x, y)) (2) (?x)(?y)(P(x, y)→Q(x, y))
(3) (?x)(?y)(P(x, y)∨(Q(x, y)→R(x, y))) (4) (?x) (?y) (?z)(P(x, y)→Q(x, y)∨R(x, z))
解：(1) 由于(?x)(?y)(P(x, y)∧Q(x, y))已经是Skolem标准型，且P(x, y)∧Q(x, y)已经是合取范式，所以可直接消去全称量词、合取词，得 { P(x, y), Q(x, y)}
再进行变元换名得子句集： S={ P(x, y), Q(u, v)}
(2) 对谓词公式(?x)(?y)(P(x, y)→Q(x, y))，先消去连接词“→”得：
(?x)(?y)(?P(x, y)∨Q(x, y))
此公式已为Skolem标准型。 再消去全称量词得子句集： S={?P(x, y)∨Q(x, y)}
(3) 对谓词公式(?x)(?y)(P(x, y)∨(Q(x, y)→R(x, y)))，先消去连接词“→”得：
(?x)(?y)(P(x, y)∨(?Q(x, y)∨R(x, y)))
此公式已为前束范式。
再消去存在量词，即用Skolem函数f(x)替换y得：
(?x)(P(x, f(x))∨?Q(x, f(x))∨R(x, f(x)))
相关推荐：
loading