人工智能期末考試試卷-資料下載頁
2025-01-11 03:32本頁面
【正文】 解： k=0。S0=S。δ 0=ε 。S0不是單元素集，求得差異集 D0={g(A,y)},z},其中 z是變元， g(A,y)是項(xiàng)，且 z不在 g(A,y)中出現(xiàn)。 k=k+1=1 有δ 1=δ 0｛ g(A,y)/z｝ =ε｛ g(A,y)/z｝ =｛ g(A,y)/z｝， S1=S0｛ g(A,y)/z｝ ={P(f(x,g(A,y)),g(A,y))},S1 是單元素集。 根據(jù)求 MGU算法， MGU=δ 1=｛ g(A,y)/z｝ 證 :①┓ P(x)∨ Q(x) ．．．從 F1 變換 ②┓ P(y)∨ R(y) ` ．．．從 F1 變換 ③ P(a) ．．．從 F2 變換 ④ S(a) ．．．從 F2 變換 ⑤┓ S(z)∨┓ R(z) ．．．結(jié)論的否定 ⑥ R(a) ．．．②③歸結(jié)｛ a/y｝ ⑦┓ R(a) ．．．④⑤歸結(jié)｛ a/z｝ ⑧□ ．．．⑥⑦歸結(jié) 得證 . 四、 答：謂詞公式表示： ? x(student(x)∧ read(x,三國演義 )) 語義網(wǎng)絡(luò)表示如圖： 證：現(xiàn)定義如下謂詞 L(x,y)某人 x喜歡某物 y； P(y) 某物 y是清潔的東西 (1) ? y? x(P(y)→ L(x,y)) == ┓ P(y)∨ L(f(y),y) (2) ? x(┓ L(x,Fly)) == ┓ L(x,Fly) (3) P(Fly) ．．．結(jié)論的反 (4) L(f(Fly), Fly) ．．． (1)(3)歸結(jié) ,置換 {Fly/y} (5) □ ．．． (2)(4)歸結(jié) ,{f(Fly)/x} 得證。
試題試卷相關(guān)推薦
鄂ICP備17016276號(hào)-1