freepeople性欧美熟妇, 色戒完整版无删减158分钟hd, 无码精品国产vα在线观看DVD, 丰满少妇伦精品无码专区在线观看,艾栗栗与纹身男宾馆3p50分钟,国产AV片在线观看,黑人与美女高潮,18岁女RAPPERDISSSUBS,国产手机在机看影片

正文內(nèi)容

人工智能原理及其應(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é)論
點(diǎn)擊復(fù)制文檔內(nèi)容
環(huán)評公示相關(guān)推薦
文庫吧 www.dybbs8.com
備案圖片鄂ICP備17016276號-1