DOC《摔擒遭梆？》

)∧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) 过河方案 (L,3,3,S0)∧Safety(R,0,0,S0)∧Boat(L,S0) (L,2,2,S1)∧Shttp://www.51wendang.com/doc/06b742a2b43df37ac2815275afety(R,1,1,S1)∧Boat(R,S1) (L,3,1,S1'

)∧Safety(R,0,2,S1'

)∧ [此处图片未下载成功] Boat(R,S1'

) '

) ∧Safety(R,0,1,S2)∧Safety(L,3,0,S3)∧Safety(R,0,3,S3)∧Boat(R,S3) (L,3,1,S4)∧Safety(R,0,2,S1)∧Boat(L,S4) R(3, 2, 1, 0,S4) ∧Safety(R,2,2,S5)∧Boat(R,S5) (L,2,2,S6)∧Safety(R,1,1,S6)∧Boat(L,S6) (L,0,2,S7)∧Safety(R,3,1,S7)∧Boat(R,S7) (L,0,3,S8)∧Safety(R,3,0,S8)∧Boat(L,S8) (L,0,1,S9)∧Safety(R,3,2,S9)∧Boat(R,S9) L (0, 1, 1, 0,S9) (L,1,1,S10)∧Safety(R,2,2,S10)∧Boat(L,S10) (L,0,0,S11)∧Safety(R,3,3,S11)∧Boat(R,S11) .18 请对下列命题分别写出它们的语义网络: (1) 每个学生都有一台计算机. 解: [此处图片未下载成功] (2) 高老师从3月到7月给计算机系学生讲《计算机网络》课. 解: (3) 学习班的学员有男、有女、有研究生、有本科生. 解:参例2.14 (4) 创新公司在科海大街56号,刘洋是该公司的经理,他32岁、硕士学位. 解:参例2.10 (5) 红队与蓝队进行足球比赛,最后以3:2的比分结束. http://www.51wendang.com/doc/06b742a2b43df37ac2815275 解: .19 请把下列命题用一个语义网络表示出来: (1) 树和草都是植物;

解: [此处图片未下载成功] [此处图片未下载成功] [此处图片未下载成功] [此处图片未下载成功] AKO [此处图片未下载成功] [此处图片未下载成功] (2) 树和草都有叶和根;

解: (3) 水草是草,且生长在水中;

解: (4) 果树是树,且会结果;

解: (5) 梨树是果树中的一种,它会结梨. 解: .25 假设有以下一段天气预报: 北京地区今天白天晴,偏北风3级,最高气温12&

#186;

,最低气温-2&

#186;

,降水概率15%. 请用框架表示这一知识. 解: <

天气预报>

地域:北京 时段:今天白天 天气:晴 风向:偏北 风力:3级 [此处图片未下载成功] [此处图片未下载成功] [此处图片未下载成功] [此处图片未下载成功] 最低:-2度 降水概率:15% .26 按 师生框架 、 教师框架 、 学生框架 的形式写出一个框架系统的描述. 解:师生框架 <

Teachers-Students>

:Unit(Last-name,First-name) Sex:Area(male,female) Default:male Age:Unit(Years) :Home Unit(Number) Unit(Number) 教师框架 <

Teachers >

<

Teacherhttp://www.51wendang.com/doc/06b742a2b43df37ac2815275s-Students >

Major:Unit(Major-Name) Lectures:Unit(Course-Name) Field:Unit(Field-Name) :Area(National,Provincial,Other) Default:Provincial :Area(SCI,EI,Core,General) Default:Core 学生框架 Frame <

Students>

<

Teachers-Students >

Major:Unit(Major-Name) Classes:Unit(Classes-Name) :Area(doctor,mastor, bachelor) Default:bachelor 第3章.8 判断下列公式是否为可合一,若可合一,则求出其最一般合一. 确定性推理部分参考答案 (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. .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) (http://www.51wendang.com/doc/06b742a2b43df37ac2815275 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)(&