人工智能作業(yè)答案(中國礦大)

人工智能作業(yè)答案(中國礦大)

ID:14425433

大?。?.10 MB

頁數(shù):8頁

時間:2018-07-28

人工智能作業(yè)答案(中國礦大)_第1頁
人工智能作業(yè)答案(中國礦大)_第2頁
人工智能作業(yè)答案(中國礦大)_第3頁
人工智能作業(yè)答案(中國礦大)_第4頁
人工智能作業(yè)答案(中國礦大)_第5頁
資源描述:

《人工智能作業(yè)答案(中國礦大)》由會員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。

1、1把以下合適公式化簡為合取范式的子句集:?。?)?("x)($y)($z){P(x)T("x)[Q(x,y)TR(z)]}?。?)("x)($y){{P(x)ù[Q(x)úR(y)]}T("y)[P(f(y))TQ(g(x))]} (3)("x)($y){P(x)ù[Q(x)úR(y)]}T("y){[P(f(y))TQ(g(y))]T("x)R(x)}(1)·?("x)($y)($z){P(x)T("x)[Q(x,y)TR(z)]} ·?("x)($y)($z){?P(x)ú("x)[?Q(x,y)úR(z)]} ·($x)("y)("z){P(x)ù($x

2、)[Q(x,y)ù?R(z)]} ·P(A)ù[Q(f(y,z),y)ù?R(z)] ·{P(A),Q(f(y,z),y),ù?R(w)}(2) ·("x)($y){{P(x)ù[Q(x)úR(y)]}T("y)[P(f(y))TQ(g(x))]} ·("x)($y){?{P(x)ù[Q(x)úR(y)]}ú("y)[?P(f(y))úQ(g(x))]} ·("x)($y){?P(x)ú[?Q(x)ù?R(y)]ú("w)[?P(f(w))úQ(g(x))]} ·("x){?P(x)ú[?Q(x)ù?R(h(x))]ú("w)[?P(f(w))úQ(g(x))

3、]} ·[?P(x)ú?Q(x)ú?P(f(w))úQ(g(x))]ù[?P(x)ú?R(h(x))ú?P(f(w))úQ(g(x))] ·{?P(x1)ú?Q(x1)ú?P(f(w1)úQ(g(x1)),?P(x2)ú?R(h(w2))ú?P(f(w2))úQ(g(x2))}(3)·("x)($y){P(x)ù[Q(x)úR(y)]}T("y){[P(f(y))TQ(g(y))]T("x)R(x)}·?("x)($y){P(x)ù[Q(x)úR(y)]}ú("y){?[?P(f(y))úQ(g(y))]ú("x)R(x)}·($x)("y){?P(x)ú[?

4、Q(x)ù?R(y)]}ú("w){?[?P(f(w))úQ(g(w))]ú("v)R(v)}·{?P(A)ú[?Q(A)ù?R(y)]}ú{[P(f(w))ù?Q(g(w))]úR(v)}·?P(A)ú{[?Q(A)úP(f(w))]ù[?Q(A)ú?Q(g(w))]ù[?R(y)úP(f(w))]ù[?R(y)ú?Q(g(w))]}úR(v)·{?P(A)ú?Q(A)úP(f(w1))úR(v1),?P(A)ú?Q(A)úQ(g(w2))úR(v2),?P(A)ú?R(y3)úP(f(w3))úR(v3),?P(A)ú?R(y4)úQ(g(w4))úRv4

5、)}2假設(shè)已知下列事實(shí):    1)小李(Li)喜歡容易的(Easy)課程(Course)。    2)小李不喜歡難的(Difficult)課程?!   ?)工程類(Eng)課程都是難的?!   ?)物理類(Phy)課程都是容易的?!   ?)小吳(Wu)喜歡所有小李不喜歡的課程?!   ?)Phy200是物理類課程。    7)Eng300是工程類課程。請用歸結(jié)反演法回答下列問題:    1)小李喜歡什么課程?    2)證明小吳喜歡Eng300課程將已知事實(shí)形式化表示為合適公式:   (1)???("x)[Course(x)ùEasy(x)TLike(Li

6、,x)];(2)???("x)[Course(x)ù?Easy(x)T?Like(Li,x)];(3)???("x)[Course(x)ùEng(x)T?Easy(x)];(4)???("x)[Course(x)ùPhg(x)TEasy(x)];(5)???("x)[Course(x)ù?Like(x)TLike(Wu,x)];(6)???Course(Phy200)ùPhy(Phy200);(7)???Course(Eng300)ùEng(Eng300);  ·問題表示為以下合適公式(目標(biāo)公式):   (1)($x)[Coure(x)ùLike(Li,x)]

7、;(2)Like(Wu),Eng300);  ·將所有事實(shí)和對應(yīng)于問題的目標(biāo)公式取反加以化簡,并標(biāo)準(zhǔn)化為合取范式子句集:   (1)????Course(x1)ú?Easy(x1)úLike(Li,x1);(2)????Course(x2)úEasy(x2)ú?Like(Li,x2);(3)????Course(x3)ú?Eny(x)ú?Easy(x3);(4)????Course(x4)ú?Phy(x4)úEasy(x4);(5)????Course(x5)úLike(Li,x5)úLike(Wu,x5);(6)???Course(Phy200);(7)??

8、?Phy(Phy200);(8)???

當(dāng)前文檔最多預(yù)覽五頁,下載文檔查看全文

此文檔下載收益歸作者所有

當(dāng)前文檔最多預(yù)覽五頁,下載文檔查看全文
溫馨提示:
1. 部分包含數(shù)學(xué)公式或PPT動畫的文件,查看預(yù)覽時可能會顯示錯亂或異常,文件下載后無此問題,請放心下載。
2. 本文檔由用戶上傳,版權(quán)歸屬用戶,天天文庫負(fù)責(zé)整理代發(fā)布。如果您對本文檔版權(quán)有爭議請及時聯(lián)系客服。
3. 下載前請仔細(xì)閱讀文檔內(nèi)容,確認(rèn)文檔內(nèi)容符合您的需求后進(jìn)行下載,若出現(xiàn)內(nèi)容與標(biāo)題不符可向本站投訴處理。
4. 下載文檔時可能由于網(wǎng)絡(luò)波動等原因無法下載或下載錯誤,付費(fèi)完成后未能成功下載的用戶請聯(lián)系客服處理。