2.9、設有如下語句，請用相應的謂詞公式分別把它們表示出來。
（1）有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。
解：謂詞定義
p(x)：x是人
q(x,y)：x喜歡y
其中，y的個體域是。
將知識用謂詞表示為：
(∃x)(p(x)→q(x,梅花)∨q(x,菊花)∨q(x,梅花)∧q(x,菊花))
(2)有人每天下午都去打籃球。
解：定義謂詞
p(x)：x是人
q(x)：x打籃球
m(y)：y是下午
將知識用謂詞表示為：
(∃x)(∀y)(m(y)→y(x)∧p(x))
(3)新型計算機速度又快，儲存容量又大。
解：定義謂詞
p(x)：x是新型計算機
q(x)：x速度快
m(x)：x容量大
將知識用謂詞表示為：
(∀x)(p(x)→q(x)∧m(x))
(4)不是每個計算機系的學生都喜歡在計算機上程式設計序。
解：定義謂詞
p(x)：x是計算機系學生
q(x,lp)：x喜歡程式設計序
m(x,uc)：x使用計算機
將知識用謂詞表示為：
¬(∀x)(p(x)→q(x,lp)∧m(x,uc))
(5)凡是喜歡程式設計序的人都喜歡計算機。
解：定義謂詞
p(x)：x是人
q(x,y)：x喜歡y
將知識用謂詞表示為：
(∀x)(p(x)∧q(x,lp)→q(x,uc))
2.11、用謂詞表示法表示農夫、狼、山羊、白菜問題
設農夫、狼、山羊、白菜全部在一條河的左岸，現在要把它們全部送到河的右岸去，農夫有一條船，過河時，除農夫外船上至多能載狼、山羊、白菜中的一種。狼要吃羊，山羊要吃白菜，除農夫在那裡。試規劃出乙個確保全部安全過河的計畫。請寫出所用謂詞的定義，並給出每個謂詞的功能及變化的個體域。
解：(1) 定義描述狀態的謂詞
要描述這個問題，需要能夠說明農夫、狼、羊、白菜和船在什麼位置，為簡化問題表示，取消船在河中行駛的狀態，只描述左岸和右岸的狀態。並且，由於左岸和右岸的狀態互補，因此可僅對左岸或右岸的狀態做直接描述。本題選擇對左岸進行直接描述的方法，即定義謂詞如下：
ol（x）：x在左岸
其中，x的個體域是，所以
¬ol（x）：x在右岸
問題的初始狀態：
ol（農夫）
ol（船）
ol（狼）
ol（羊）
ol（白菜）
問題的目標狀態：
¬ol（農夫）
¬ol（船）
¬ol（狼）
¬ol（羊）
¬ol（白菜）
（2）定義描述操作的謂詞：
l-r：農夫自己划船從左岸到右岸
l-r（x）：農夫帶著x划船從左岸到右岸
r-l：農夫自己划船從右岸到左岸
r-l（x）：農夫帶著x划船從右岸到左岸
其中，x的個體域是
對上述每個操作，都包括條件和動作兩部分。
它們對應的條件和動作如下：
l-r：農夫自己划船從左岸到右岸
條件：ol（船），ol（農夫），¬ol（狼）∨¬ol（羊），¬ol（羊）∨¬ol（白菜）
動作：刪除表：ol（船），ol（農夫）
新增表：¬ol（船），¬ol（農夫）
l-r（狼）：農夫帶著狼划船從左岸到右岸
條件：ol（船），ol（農夫），ol（狼），¬ol（羊）
動作：刪除表：ol（船），ol（農夫），ol（狼）
新增表：¬ol（船），¬ol（農夫），¬ol（狼）
l-r（羊）：農夫帶著羊划船從左岸到右岸
條件：ol（船），ol（農夫），ol（羊）， ol（狼），ol（白菜）
或：ol（船），ol（農夫），ol（羊），¬ol（狼），¬ol（白菜）
動作：刪除表：ol（船），ol（農夫），ol（羊）
新增表：¬ol（船），¬ol（農夫），¬ol（羊）
l-r（白菜）：農夫帶著白菜划船從左岸到右岸
條件：ol（船），ol（農夫），ol（白菜），¬ol（狼）
動作：刪除表：ol（船），ol（農夫），ol（白菜）
新增表：¬ol（船），¬ol（農夫），¬ol（白菜）
r-l：農夫划船從右岸到左岸
條件：¬ol（船），¬ol（農夫），ol（狼）∨¬ol（羊），¬ol（羊）∨ol（白菜）
或：¬ol（船），¬ol（農夫），¬ol（狼），¬ol（白菜），ol（羊）
動作：刪除表：¬ol（船），¬ol（農夫）
新增表：ol（船），ol（農夫）
r-l（羊）：農夫帶著羊划船從右岸到左岸
條件：¬ol（船），¬ol（農夫），¬ol（羊），¬ol（狼），¬ol（羊），¬ol（白菜）
動作：刪除表：¬ol（船），¬ol（農夫），¬ol（羊）
新增表：ol（船），ol（農夫），ol（羊）
(3) 求解過程：
ol（農夫）
l-r（羊）
→
ol（狼）
r-l
→
ol（農夫）
l-r（狼）
→
ol（白菜）
r-l（羊）→
ol（農夫）
l-r（白菜）
→
ol（羊）
r-l
→
ol（農夫）
l-r（羊）
→
¬ol（農夫）
ol（船）
ol（白菜）
ol（船）
¬ol（農夫）
ol（船）
¬ol（農夫）
ol（船）
¬ol（船）
ol（狼）
¬ol（農夫）
ol（狼）
¬ol（船）
ol（羊）
¬ol（船）
ol（羊）
¬ol（羊）
ol（羊）
¬ol（船）
ol（白菜）
¬ol（狼）
ol（白菜）
¬ol（白菜）
¬ol（白菜）
¬ol（白菜）
ol（白菜）
¬ol（羊）
¬ol（羊）
¬ol（羊）
¬ol（狼）
¬ol（狼）
¬ol（狼）
¬ol（狼）
2.16 請對下列命題分別寫出它們的語義網路：
（1)每個學生都有一台計算機。
解：每個學生
有一台計算機
→（2）高老師從3月到7月給計算機系學生講《計算機網路》課。
解：高老師從→
3月到7月給→
計算機學生講→
《計算機網路》課
（3）學習班的學員有男、有女；有研究生，有本科生。
解：學習班有→
男女↑↑
學員↓↓研究生
本科生（4）創新公司在科海大街56號，劉洋是該公司的經理，他32歲，碩士學位。
解：經理
32歲 →劉洋→ 創新公司→ 科海大街56號
↓碩士學位
（5）紅隊與藍隊進行足球比賽，最後以3:2的分結束。
解：紅隊→足球比賽←藍隊
↓比分3:2
結束2.17 請把下列命題用乙個語義網路表示出來:
（1）樹和草都是植物。
（2）樹和草都有葉和根。
（3）水草是草，且生長在水中。
（4）果樹是樹，且會結果。
（5）梨樹是果樹中的一種，她會結梨。
解：梨樹→果樹
→樹→植物
←草← 水草 ↑↑
↑↑ ↑結梨
結果有葉和根
有葉和根
生長在水中
第二次作業
execise02 1.查詢85年以後出生的學生姓名 性別和出生日期 2.列表顯示所有可能的學生選課組合 學號 課程號 3.查詢1 2 4班中陳姓同學的資訊 4.查詢所有及格的學生姓名 所選課程名及所得分數 5.統計各門課程的及格人數 課程編號 課程名 及格人數 6.統計各門課程的總人數 及格人數和...
第二次作業
第一題 p1 1 遞迴寫法，效率低 include 1.寫乙個函式返回引數值為1的個數 比如 15 0000 1111 4個1 程式原型 int count one bits unsigned int value int fuc int x else return 0 void mainp1 p1 ...
第二次作業
檔名稱 516.cpp 作 者 闕文榮 完成日期 2016 年 3 月 11 日 版 本 號 v1.1 對任務及求解方法的描述部分 用while語句控制輸出 輸入描述 略 問題描述 現在北京有一套房子，200萬，假設房價每年 10 乙個軟體工程師每年固定能賺40萬。他想買這套房子，多大的 率能夠忍受...