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, pragramming):x喜歡程式設計序
u(x, computer):x使用計算機
將知識用謂詞表示為:
¬ (∀ x) (s(x)→l(x, pragramming)∧u(x, computer))
(5)凡是喜歡程式設計序的人都喜歡計算機。
解:定義謂詞
p(x):x是人
l(x, y):x喜歡y
將知識用謂詞表示為:
(∀ x) (p(x)∧l(x, pragramming)→l(x, computer))
2.1 0用謂詞表示法求解農夫、狼、山羊、白菜問題。農夫、狼、山羊、白菜全部放在一條河的左岸,現在要把他們全部送到河的右岸去,農夫
有一條船,過河時,除農夫外船上至多能載狼、山羊、白菜中的一種。狼要吃山羊,山羊要吃白菜,除非農夫在那裡。似規劃出乙個確保全部安
全過河的計畫。請寫出所用謂詞的定義,並給出每個謂詞的功能及變數的個體域。
解:(1) 先定義描述狀態的謂詞。
要描述這個問題,需要能夠說明農夫、狼、羊、白菜和船在什麼位置,為簡化問題表示,取消船在河中行駛的狀態,只描述左岸和右岸的狀態。
並且,由於左岸和右岸的狀態互補,因此可僅對左岸或右岸的狀態做直接描述。本題選擇對左岸進行直接描述的方法,即定義謂詞如下:
al(x):x在左岸
其中,x的個體域是。對應地,¬al(x)表示x在右岸。
問題的初始狀態:
al(農夫)
al(船)
al(狼)
al(羊)
al(白菜)
問題的目標狀態:
¬al(農夫)
¬al(船)
¬al(狼)
¬al(羊)
¬al(白菜)
(2) 再定義描述操作的謂詞
本題需要以下 4個描述操作的謂詞:
l-r:農夫自己划船從左岸到右岸
l-r(x):農夫帶著 x划船從左岸到右岸
r-l:農夫自己划船從右岸到左岸
r-l(x):農夫帶著 x划船從右岸到左岸
其中,x的個體域是。
對上述每個操作,都包括條件和動作兩部分。它們對應的條件和動作如下:
l-r:農夫划船從左岸到右岸
條件:al(船),al(農夫),¬al(狼)∨¬al(羊),¬al(羊)∨¬al(白菜)
動作:刪除表:al(船),al(農夫)
新增表:¬al(船),¬al(農夫)
l-r(狼):農夫帶著狼划船從左岸到右岸
條件:al(船),al(農夫),al(狼),¬al(羊)
動作:刪除表:al(船),al(農夫),al(狼)
新增表:¬al(船),¬al(農夫),¬al(狼)
l-r(羊):農夫帶著羊划船從左岸到右岸
條件:al(船),al(農夫),al(羊), al(狼),al(白菜)
或:al(船),al(農夫),al(羊),¬al(狼),¬al(白菜)
動作:刪除表:al(船),al(農夫),al(羊)
新增表:¬al(船),¬al(農夫),¬al(羊)
l-r(白菜):農夫帶著白菜划船從左岸到右岸
條件:al(船),al(農夫),al(白菜),¬al(狼)
動作:刪除表:al(船),al(農夫),al(白菜)
新增表:¬al(船),¬al(農夫),¬al(白菜)
r-l:農夫划船從右岸到左岸
條件:¬al(船),¬al(農夫),al(狼)∨al(羊),al(羊)∨al(白菜)
或:¬al(船),¬al(農夫),¬al(狼),¬al(白菜),al(羊)
動作:刪除表:¬al(船),¬al(農夫)
新增表:al(船),al(農夫)
r-l(羊):農夫帶著羊划船從右岸到左岸
條件:¬al(船),¬al(農夫),¬al(羊),¬al(狼),¬al(羊),al(白菜)
動作:刪除表:¬al(船),¬al(農夫),¬al(羊)
新增表:al(船),al(農夫),al(羊)
(3) 問題求解過程如下:
2.17請對下列問題分別寫出它們的語義網路:
(1)每個學生都有一台計算機。
解:
(2)高老師從3月到7月給計算機系學生講《計算機網路》課。
解:
(3)學習班的學員有男,有女;有研究生,有本科生。
解:
(4)創新公司在科海大街56號,劉洋是該公司的經理,他32歲,碩士學位。
解:
(5)紅隊與男隊進行足球比賽,最後以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萬。他想買這套房子,多大的 率能夠忍受...