人工智能7-文庫吧在線文庫
【正文】 學 院 人工智能 —— 一種現(xiàn)代方法 KB = (B1,1 ? (P1,2? P2,1)) ?? B1,1 α = ?P1,2 Wumpus世界的歸結推理 (B1,1 ? (P1,2? P2,1)) ?? B1,1 ? P1,2 ≡ (?B1,1 ? P1,2 ? P2,1) ? (?P1,2 ? B1,1) ? (?P2,1 ? B1,1) ?? B1,1 ? P1,2 08715031301 2023年 3月 10日星期五 50 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向和反向鏈接 霍恩子句：至多只有一個正文字的文字析取式 (?P1,2 ? B1,1) P2,1 ?P1,2 ? ?P2,1 (?B1,1 ? P1,2 ? P2,1) ? 每個霍恩子句都可寫成一個蘊涵式： (?P1,2 ? B1,1) ≡ P1,2 ? B1,1 沒有正文字的霍恩子句：可寫成結論為 False的蘊涵式 例如： ?P1,2 ? ?P2,1 ≡ （ P1,2 ? P2,1) ?False 確定子句：只有一個正文字， 例如： P2,1 ，斷言一個事實 08715031301 2023年 3月 10日星期五 51 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 ?使用霍恩子句的推理可在前向鏈接和反向鏈接中進行 ?使用霍恩子句判定蘊涵需要的時間和數(shù)據(jù)庫大小成線性關系 08715031301 2023年 3月 10日星期五 52 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 判定單個命題符號 q是否被霍恩子句的知識庫所蘊涵： 從知識庫的已知事實 (正文字 )開始，如果蘊涵的所有前提已知，則將其結論添加到已知事實集。 默認推理：在知識不完全的情況下假設某些條件已經(jīng)具備所進行的推理。 ?p是 q的充分條件，可得命題公式： ?p ? q 2. “只有不下雨，我才騎自行車上班”。 α1： [1,2]無陷阱， α2： [2,2]無陷阱 模型檢驗 根據(jù) [1,1]無微風，則在任意 [1,2]有陷阱的模型中， KB為假 僅 3個模型使得 KB為真。 08715031301 2023年 3月 10日星期五 20 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 α1： [1,2]無陷阱 KB ╞ α1 模型檢驗 08715031301 2023年 3月 10日星期五 21 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 KB ╞ α2 α2： [2,2]無陷阱 模型檢驗 模型檢驗 : 枚舉出所有可能的模型用于檢驗在 KB中為真的所有模型中 α為真。 ?p是 q的必要條件，可得命題公式： q ? ?p 3. “應屆畢業(yè)生，得過國家級競賽一等獎或全班排名第一，保送研究生” 設： p“應屆畢業(yè)生 ”， q“保送研究生 ”， r“得過國家級競賽一等獎 ”， t“全班排名第一 ” 則有命題公式： p ∧ （ r ?t） ?q 08715031301 2023年 3月 10日星期五 26 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 True永真命題， False永假命題 析取范式：僅由有限個簡單合取式組成的析取式 p ? （ p ? q） ? （ ?p ? q） 合取范式：僅由有限個簡單析取式組成的合取式 p ?（ p ? q） ? （ ?p ? q） 08715031301 2023年 3月 10日星期五 27 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 語義 例如：某模型下， P1,2 P2,2 P3,1 假 真 假 語義定義了用于判定關于特定模型的語句真值的規(guī)則 邏輯連接符的真值表：指定了復合句在其組成部分的真值的每種可能賦值情況下的真值。 08715031301 2023年 3月 10日星期五 33 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 推理的不確定性及其單調(diào)性 確定性推理：推理所用的證據(jù)、知識及結論都是可以精確表示的，其真值不為真就為假，不會有第三種情況出現(xiàn)。直到查詢 q被添加或無法進行更進一步的推理 08715031301 2023年 3月 10日星期五 53 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 08715031301 2023年 3月 10日星期五 54 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 08715031301 2023年 3月 10日星期五 55 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 08715031301 2023年 3月 10日星期五 56 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 08715031301 2023年 3月 10日星期五 57 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 08715031301 2023年 3月 10日星期五 58 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 08715031301 2023年 3月 10日星期五 59 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 08715031301 2023年 3月 10日星期五 60 / 16 ?信 息 學 院 人工智能 —— 一種現(xiàn)代方法 前向鏈接 可靠的 完備的 前向鏈接中每個推理本質(zhì)上是分離規(guī)則的一個應用。 反向鏈接 08715031301 2023年 3月 10日星期五 62 / 16 ?信 息 學 院
化學相關推薦
鄂ICP備17016276號-1