人工智能及其應(yīng)用(蔡自興)課后答案(編輯修改稿)
2025-07-16 20:24 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 2111224。2311 2311224。3311 3321224。1321 1321224。1221 1221224。2221 2223224。3223 3223224。3123 3123224。1123 1133224。2133 2133224。2333 2333224。3333 如圖所示，按從上往下的順序，依次處理每一個(gè)葉結(jié)點(diǎn)，搬動(dòng)圓盤，問(wèn)題得解。26 把下列句子變換成子句形式：(1) (x)｛P(x)→P(x)｝(2) xy(On(x,y)→Above(x,y))(3) xyz(Above(x,y)∧Above(y,z)→Above(x,z))(4) ～｛(x)｛P(x)→｛（y）［p(y)→p(f(x,y))］∧(y)［Q(x,y)→P(y)］｝｝｝(1) (ANY x) { P(x)224。P(x) }(ANY x) {~P(x) OR P(x)}~P(x) OR P(x)最后子句為~P(x) OR P(x)(2) (ANY x) (ANY y) { On(x,y)224。Above(x,y) }(ANY x) (ANY y) { ~On(x,y) OR Above(x,y) }~On(x,y) OR Above(x,y)最后子句為~On(x,y) OR Above(x,y)(3) (ANY x) (ANY y) (ANY z) { Above(x,y) AND Above(y,z) 224。 Above(x,z) } (命題聯(lián)結(jié)詞之優(yōu)先級(jí)如下:否定→合取→析取→蘊(yùn)涵→等價(jià))(ANY x) (ANY y) (ANY z) { ~ [ Above(x,y) AND Above(y,z) ] OR Above (x,z) }~ [ Above(x,y) AND Above(y,z) ] OR Above (x,z)最后子句為~[Above(x,y), Above(y,z)] OR Above(x,z)(4) ~{ (ANY x) { P(x)224。 { (ANY y) [ p(y)224。p(f(x,y)) ] AND (ANY y) [ Q(x,y) 224。 P(y) ] } } }
職業(yè)教育相關(guān)推薦
鄂ICP備17016276號(hào)-1