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