人工智能-課后作業(yè)-wenkub
2023-04-08 06:37:16 本頁(yè)面
【正文】 ))) ∨ （ $y)(MAN(y) → LIKE(y,PLAY(y,Soccer))) ∨ （ $z)(MAN(z) →LIKE(z,PLAY(z,Basketball)) ∧ LIKE(z,PLAY(z,Soccer))(2)并不是每個(gè)人都喜歡花。定義謂詞：LIKE(x,y):x喜歡y。PLAY(x,y):x打（踢）y。定義謂詞：LIKE（x,y)：x喜歡y。 H(x):x要更上一層樓。產(chǎn)生式中前提條件的匹配可以是精確的，也可以是非精確的；而謂詞邏輯蘊(yùn)含式總要求精確匹配。4）檢查全局?jǐn)?shù)據(jù)庫(kù)中是否已經(jīng)包含了問(wèn)題的解，若已經(jīng)包含，則求解結(jié)束，否則轉(zhuǎn)2）5）要求用戶提供進(jìn)一步的關(guān)于問(wèn)題的已知事實(shí)，若能提供，則轉(zhuǎn)2），否則求解結(jié)束。再消去全稱(chēng)量詞得子句集：S={172。Q(x, f(x))∨R(x, f(x)))此公式已為Skolem標(biāo)準(zhǔn)型。P(x, y)∨Q(x, y)∨R(x, f(x,y)))此公式已為Skolem標(biāo)準(zhǔn)型。8. （2）先將F和172。 P(x)∨172。 P(x)∨172。F(y,z)∨GF(x,z) ② 172。GF(v,u))可得NIL；第四章：P134 設(shè)H1，H2，H3分別是三個(gè)結(jié)論，E是支持這些結(jié)論的證據(jù)，且已知： P(H1)= P(H2)= P(H3)= P(E/H1)= P
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1