人工智能作業(yè)講解47-在線瀏覽
2025-03-23 20:56本頁面
【正文】 )))),(),()((),()(()0,()((zyE qualxzSucceedzNzxySucceedyNyxE qualxNx??????????)))),(),()((),()(()0,()((zyE qualxzSucceedzNzxySucceedyNyxE qualxNx???????????第一次作業(yè) ? 題目： 。 參考解答： 定義謂詞：定義 For(x,y)表示 x為 y, I表示我或 I(x)表示 x是我。 不好的解答： ))),(),((),(( xIF orIxF orIxE qualx ???? )))),(),((),(()(( xyF oryxF oryxE qualyxIx ????? ))()(( xMeforxF ormex ?? )),(),(()),((),(( yIF orIyE qualyIxF orIxE qualx ??????第一次作業(yè) ? 題目： 。 參考解答： 定義謂詞： I表示我或 I(x)表示 x是我， Fish(x)表示 x是魚，Bearpaw(x)表示 x是熊掌。 （ 8）歷史考試的最高分比生物考試最高分要高。 不好的解答： H為歷史最高分， B為生物最高分。 （ 10）星期六，所有的學(xué)生或者去參加舞會了，或者工作去了，但是沒有兩者都去的。（帶上不帶上星期六都可以，如果原題說的是每個(gè)星期六的話，最好帶上 Saturday(x)—(?) ） ))))()(())()((()(( xWorkxDancexWorkxDancexStudentx ??????點(diǎn)評 ? 謂詞的作用是描述對象的性質(zhì)和關(guān)系，因此，在定義謂詞的時(shí)候不應(yīng)當(dāng)帶有“對象”。 ? 盡量用符號去表示常量和變量，并注意區(qū)分大小寫。 ? 命名規(guī)范：最好使用 Equal(x,y)，而不是 E(x,y)。例子：世上沒有無緣無故的愛，也沒有無緣無故的恨。 第一次作業(yè) ? 題目： Hanoi塔表示：已知 3個(gè)柱子 3， 3個(gè)盤子 A、 B、C（ A比 B大， B比 C大）。目標(biāo)狀態(tài)是 A、 B、 C依次放在柱子 3上。請使用一階謂詞邏輯對這一問題進(jìn)行描述。 已知： Bigger(A,B),Bigger(B,C) 初始： At(A,1),At(B,1),At(C,1),Above(C,B),Above(B,A) 目標(biāo)： At(A,3),At(B,3),At(C,3),Above(C,B),Above(B,A) 移動條件： )),()),(),()(()),()(()()()((yxuMoveutBiggerytAttPlatetuvAbovevPlatevyPillarxPillaruPlateyxu??????????????第一次作業(yè) ? 題目： 請求出公式 的析取范式和合取范式。 ① 支持集策略（其中支持集是上述字句列表的最后一個(gè)子句）。 ③ 一種既違反支持集也違反祖先過濾的策略。 參考解答： 支持集策略： 每次歸結(jié)時(shí)，參與歸結(jié)的子句中至少有一個(gè)是由目標(biāo)公式的否定所得到的子句或者是它們的后裔。 （ 1） P ∨ Q （ 2） P ∨ ┓ Q （ 3） ┓ P ∨ Q （ 4） ┓ P ∨ ┓ Q （ 5） ┓ P （ 3）（ 4）歸結(jié)（利用初始子句） （ 6） ┓ Q （ 2）（ 4）歸結(jié) （利用初始子句） （ 7） Q （ 1）（ 6）歸結(jié)（利用初始子句） （ 8） □ （ 6）（ 7）歸結(jié) （（ 6）是（ 7）的祖先） 第二次作業(yè) 參考解答： 違反支持集也違反祖先過濾的策略 （ 1） P ∨Q （ 2） P ∨ ┓ Q （ 3） ┓ P ∨Q （ 4） ┓ P ∨ ┓ Q （ 5） ┓ P （ 3）（ 4）歸結(jié)（違反支持集策略） （ 6） P （ 1）（ 2）歸結(jié) （ 7） □ （ 5）（ 6）歸結(jié)（違反祖先過濾策略） 第二次作業(yè) ? 題目： 說明不存在這種不可滿足的子句集合的線性輸入歸結(jié)反駁。該策略是不完備的。 所以，不存在這種子句集合的線性歸結(jié)反駁。 )]()()[()])()[()]()[(
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1