人工智能原理及其應(yīng)用-文庫(kù)吧在線文庫(kù)
【正文】 策略 第三章 確定性推理 基本問(wèn)題 ：推理的方法和控制的策略 2. 推理方法及分類(lèi) 1) 根據(jù)知識(shí)表示方式分類(lèi) “圖搜索”方法 如：狀態(tài)空間法、與或圖 “邏輯論證”方法 如：謂詞邏輯等 2) 推理算法與推理步驟 算法 ：完備性 如寬度優(yōu)先 步驟 ：不完備 如深度優(yōu)先 3) 啟發(fā)式與非啟發(fā)式 啟發(fā)性知識(shí) ：即解決問(wèn)題的策略、技巧、竅門(mén)等實(shí)踐經(jīng)驗(yàn)和知識(shí)。 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é)論： Like(Wang,C) 經(jīng)典邏輯推理規(guī)則 第三章 確定性推理 四、歸結(jié)演繹推理（ Robinson消解原理） 對(duì)前提 P， 結(jié)論 Q， 證明 P → Q永真 P → Q與 ﹁ P∨ Q等價(jià) 只需證明 ﹁ （ ﹁ P∨ Q） 即 P∧ ﹁ Q不可滿足 。 c) 定理 ：子句集 S是不可滿足的，當(dāng)且僅當(dāng)存在一個(gè)從 S到空子句的歸結(jié)過(guò)程。（反證法） 實(shí)際上歸結(jié)原理不僅應(yīng)用在定理證明，還可應(yīng)用于問(wèn)題求解過(guò)程。
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1