人工智能原理及其應(yīng)用(編輯修改稿)
2025-03-10 15:17 本頁面
【文章內(nèi)容簡介】 s1s2≠s2s1 例 ： 表達(dá)式 P(x,g(y),c) 置換 s1={f(y)/x,z/y} s2={a/x,b/y,y/z} Ps1=P(f(z),g(z),c) Ps2=P(a,g(b),c) Ps1s2=P(f(b),g(b),c) s1s2={f(b)/x,b/y,y/z} Ps2s1=P(a,g(b),c) s2s1={a/x,b/y} 第三章 確定性推理 2) 合一：尋找項(xiàng)對變量的置換，以使表達(dá)式一致。 {P[g(x),f(y),B],P[h(x),f(B),B]}不可合一 3) 盡管 s={A/x,B/y}是{P[x,f(y),B],P[x,f(B),B]}的一個(gè)合一者，但是最簡單的合一者是 g={B/y} 4) 最一般 (通用 )合一者 (mgu)： 置換最少的變量以使表達(dá)式一致。 5) 分歧集： 6) 例： F={P(x,y,z),P(x,f(a),h(b))}的分歧集 7) D1={y,f(a)} 8) D2={z,h(b)} 第三章 確定性推理 合一算法 (p89) 例： F={P(a,x,f(g(y))),P(z,h(z,u),f(u))} 第三章 確定性推理 三、自然演繹推理 已知事實(shí) 結(jié)論 注意肯定前件、否定后件的錯(cuò)誤 例 ： 定義謂詞： Prog(x) Like(x,y) Lang(x) 事實(shí)： Prog(x) → Like(Wang,x) ( x) (Lang(x) → Prog(x) ) Lang(C) 結(jié)論
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1