2.9 设有如下语句，请用相应的谓词公式分别把他们表示出来：
(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。
(2)有的人每天下午都去打篮球。
(3)新型计算机速度又快，存储容量又大。
(4)不是每个计算机系的学生都喜欢在计算机上编程序。
(5)凡是喜欢编程序的人都喜欢计算机。
解答：
1、定义谓词：
people P（x）:x 是指人 ；
like L（x,y）:x 喜欢 y ;
其中，y的个体域是指{梅花，菊花}。
（∃x）(P（x)→L(x,梅花) v L(x,菊花) v L(x,梅花）∧ L（x，菊花））
2、定义谓词：
people P（x）:x 是指人 ；
basketball B(x):x是指打篮球 ；
afternoon A（y）:y是指下午。
(∃x) (∀ y) (A(y)→B(x) ∧ P(x))
3、定义谓词：
new computer NC(x)：x是指新型计算机 ；
fast F(x)：x是指速度快 ；
large L(x)：x是指容量大。
(∀ x) (NC (x) → F(x) ∧ L(x))
4、定义谓词：
student S(x)：x是计算机系学生 ;
like L(x,pragramming)：x是指喜欢编程序 ；
use U(x,computer)：x是指使用计算机。
¬(∀x)(S(x)→L(x,pragramming) ∧ U(x,computer))
5、定义谓词：
people P（x）:x 是指人 ；
like L（x,y）:x 喜欢 y 。
(∀x)(P(x) ∧ L(x,pragramming) → L(x,computer))
2.11，用谓词表示法 表示农夫、狼、山羊、白菜问题。
设农夫、狼、山羊、白菜全部在一条河的左岸，现在要把它们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。试规划出一个确保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。
解答：为简化问题描述，取消小船在河中行驶的状态，只描述左岸右岸上存在的事物状态。采用直接描述的方法如下表示：
at left AL(x):x在左岸 ，x的个体域是{农夫，狼、山羊、白菜}。
对应的 ，¬AL(x)表示x在右岸。
初始状态：AL（农夫），AL（船），AL（狼），AL（山羊），AL（白菜）
目标状态：¬AL（农夫），¬AL（船），¬AL（狼），¬AL（山羊），¬AL（白菜）
（2）需要增加描述的谓词（x的个体域是{狼、山羊、白菜}）
L-R: 农夫自己划船从左岸到右岸 L-R（x）：农夫带着x划船从左岸到右岸
R-L:农夫自己划船从右岸到左岸 R-L（x）：农夫带着x划船从右岸到左岸
|
AL（船） AL（农夫） AL（狼） AL（山羊） AL（白菜） |
¬AL（船） ¬AL（农夫） AL（狼） ¬AL（山羊） AL（白菜） |
AL（船） AL（农夫） AL（狼） ¬AL（山羊） AL（白菜） |
¬AL（船） ¬AL（农夫） ¬AL（狼） ¬AL（山羊） AL（白菜） |
| L-R(山羊) | R-L | L-R（狼） | R-L（山羊） |
|
AL（船） AL（农夫） ¬AL（狼） AL（山羊） AL（白菜） |
¬AL（船） ¬AL（农夫） ¬AL（狼） AL（山羊） ¬AL（白菜） |
AL（船） AL（农夫） ¬AL（狼） AL（山羊） ¬AL（白菜） |
¬AL（船） ¬AL（农夫） ¬AL（狼） ¬AL（山羊） ¬AL（白菜） |
| L-R（白菜） | R-L | L-R（山羊） |
2.16，请对下列命题分别写出他们的语义网络
（1）每个学生都有一台计算机。
（2）高老师从3月到7月给计算机系学生讲《计算机网络》课。
（3）学习班的学员有男，有女；有研究生，有本科生。
（4）创新公司在科海大街56号，刘洋是该公司的经理，他32岁，硕士学位。
（5）红队和蓝队进行足球比赛，最后以3:2的比分结束。
解答：
（1）每个学生 都有 → 一台计算机
（2）高老师 从→ 3月到7月 给→ 计算机系学生 讲→ 《计算机网络》课程
男¦ —本科生
（3）学习班 有→学员 —研究生
女¦
（4）32岁–— 刘洋 经理→ 创新公司 —→科海大街56号
¦
硕士学位
（5）红队 → 足球比赛 ← 蓝队
¦比分3:2
结束
2.17，请把下列命题用一个语义网络表示出来：
（1）树和草都是植物；
（2）树和草都有叶和根；
（3）水草是草，且生长在水中；
（4）果树是树，且会结果；
（5）梨树是果树中的一种，它会结梨。
解答：
梨树→果树→树→植物←草←水草
↓ ↓ ¦ ↓
结梨 结果 有叶有根 生长在水中
（对于博客上的工具不够了解，想要用的方框和线条都找不到，没能完全表达出自己想展现的结果）