2.9 設有如下語句，請用相應的謂詞公式分別把它們表示出來：
（1）有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。
解：設 P(x): x是人
L(x,y): x喜歡y； y的個體域是{梅花，菊花}
∴謂詞公式表示：(∃x)（p(x)→L(x,梅花)∨L(x,菊花)∨L(x,梅花)∧L(x,菊花)）
(2）有的人每天下午都去打籃球。
解：設 P(x): x是人
B(x): x打籃球
A(y): y是下午
∴謂詞公式表示：(∃x)(∀y)(A(y)→B(x)∧P(x))
(3)新型計算機速度又快，儲存容量又大。
解：設 NC(x): x是新型計算機
F(x): x計算速度快
B(x): x儲存容量大
∴謂詞公式表示： (∀x)(NC(x)→F(x)∧B(x))
(4)不是每個計算機系的學生都喜歡在計算機上程式設計序。
解：設 S(x): x是計算機系的學生
L(x,p): x喜歡程式設計序
U(x,c): x使用計算機
∴謂詞公式表示： ¬(∀x)(S(x)→L(x,p)∧U(x,c))
(5)凡是喜歡程式設計序的人都喜歡計算機。
解：設 P(x): x是人
L(x,p): x喜歡程式設計序
L(x,c): x喜歡計算機
∴謂詞公式表示：∀x(p(x)∧L(x,p)→L(x,c))
2.11 用謂詞表示法表示農夫、狼、山羊、白菜問題。
設農夫，狼，山羊，白菜全在一條河的左岸，現在要把它們全都送到河的右岸去，農夫有一條船，過河時，除農夫外船上至多能載狼，山羊，白菜中的一種，狼要吃山羊，山羊要吃白菜，除非農夫在那裡。試規劃出一個確保安全過河的計劃。寫出所用謂詞的定義，並給出每個謂詞的功能及變數的個體域。
解：①設 AL(x): x在左岸
¬AL(x):x在右岸
其中，x的個體域是{農夫，船，狼，山羊，白菜}
初始狀態AL(x)=ture;¬AL(x)=false
目標狀態AL(x)=false;¬AL(x)=ture
②操作謂詞
L-R：農夫自己划船從左岸到右岸
L-R(y):農夫帶著y划船從左岸到右岸
R-L:農夫自己划船從右岸到左岸
R-L(y):農夫帶著y划船從右岸到左岸
其中，y的個體域是{狼，白菜，山羊}
上述操作的條件和動作：
L-R
條件：AL（農夫）；AL（船）；¬AL(狼）ν¬AL（羊）；¬AL（羊）ν¬AL(白菜）
動作：delete:AL（農夫）；AL（船）
add:¬AL（農夫）；¬AL（船）
L-R（狼）
條件：AL（農夫）；AL（船）；AL(狼）；¬AL（山羊）
動作：delete:AL（農夫）；AL（船）；AL(狼）
add:¬AL（農夫）；¬AL（船）;¬AL(狼）
L-R（羊）
條件：AL（農夫）；AL（船）；AL（狼）；AL（山羊）；AL（白菜）
或 AL（農夫）；AL（船）；AL（山羊）；¬AL（狼）；¬AL（白菜）
動作：delete:AL（農夫）；AL（船）；AL（山羊）
add:¬AL（農夫）；¬AL（船）;¬AL（山羊）
L-R（白菜）
條件：AL（農夫）；AL（船）；AL（白菜）；¬AL(狼）
動作：delete:AL（農夫）；AL（船）；AL（白菜）
add:¬AL（農夫）；¬AL（船）;¬AL（白菜）
R-L
條件：¬AL（農夫）；¬AL（船）;AL(狼）νAL（山羊）；AL（羊）νAL(白菜）
或 ¬AL（農夫）；¬AL（船）;¬AL(狼）；AL（山羊）；¬AL(白菜）
動作：delete::¬AL（農夫）；¬AL（船）
add:AL（農夫）；AL（船）
R-L(羊）
條件：¬AL（農夫）；¬AL（船）;¬AL（山羊）；AL(白菜）；¬AL(狼）
動作：delete:¬AL（農夫）；¬AL（船）;¬AL（山羊）
add：AL（農夫）；AL（船）；AL（山羊）
③問題求解過程：
|
AL（農夫） |
L-R(山羊) → |
AL（狼） |
R-L → |
AL（農夫） |
L-R(狼) →
|
AL（白菜） |
R-L(山羊) →
|
AL（白菜） |
L-R（白菜） → |
AL（山羊） |
R-L → |
AL（船） |
L-R(羊) → |
¬AL（農夫） |
|
AL（船） |
AL（白菜） |
AL（船） |
¬AL（農夫） |
AL（山羊） |
¬AL（農夫） |
AL（農夫） |
¬AL（船） |
|||||||
|
AL（狼） |
¬AL（農夫） |
AL（狼） |
¬AL（船） |
AL（船） |
¬AL（船） |
AL（山羊） |
¬AL（狼） |
|||||||
|
AL（山羊） |
¬AL（船） |
AL（白菜） |
¬AL（狼） |
AL（農夫） |
¬AL（白菜） |
¬AL（狼） |
¬AL（山羊） |
|||||||
|
AL（白菜） |
¬AL（山羊） |
¬AL（山羊） |
¬AL（山羊） |
¬AL（狼） |
¬AL（狼） |
¬AL（白菜） |
¬AL（白菜） |
2.16 請對下列命題分別寫出它們的語義網路：
（1）每個學生都有一臺計算機。
解：
(2)高老師從3月到7月給計算機系學生講《計算機網路》課。
解：
（3）學習班的學員有男，有女；有研究生，有本科生。
解：
（4）創新公司在科海大街56號，劉洋是該公司的經理，他32歲，碩士學位。
解：
（5）紅隊與藍隊進行足球比賽，最後以3:2的比分結束。
解：
2.17 請把下列命題用一個語義網路表示出來：
(1)樹和草都是植物；
（2）樹和草都有葉有根；
（3）水草是草，且生長在水中；
（4）果樹是樹，且會結果；
（5）梨樹是果樹中的一種，它會結梨。
總語義網路：
