g-邏輯智能體-人工智能(ai)32-在線瀏覽
2025-03-10 23:01本頁面
【正文】 Exploring the Wumpus World[1,2] Stench in cell: wumpus is in [1,3] or [2,2]YET … not in [1,1]Thus … not in [2,2] or stench would have been detected in [2,1]Thus … wumpus is in [1,3]Thus … [2,2] is safe because of lack of breeze in [1,2]Thus … pit in [3,1]Move to next safe cell [2,2]15人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 Exploring the Wumpus World[2,2] Detect nothing Move to unvisited safe cell . [2,3][2,3] Detect glitter , smell, breezeThus… pick up goldThus… pit in [3,3] or [2,4] 16人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 What is a logic? 例如算數(shù)語言? X+2 = y is a sentence, x2+y is not a sentence? X+2 = y is true in a world where x=7 and y =1? X+2 = y is false in a world where x=0 and y =617人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 蘊(yùn)涵Entailment 知識庫 KB 蘊(yùn)涵 語句 α 當(dāng)且僅當(dāng) KB 為真的 所有 情況里 α也為真? 例如 一條語句的知識庫 KB “the Giants won and the Reds won” 蘊(yùn)涵 “The Giants won”.? 又如 , x+y = 4 蘊(yùn)涵 4 = x+y 邏輯學(xué)家的就是以 模型 的方式來進(jìn)行思維的 M(α) 表示語句 α的所有模型的集合 為說明方便，對 Wumpus world進(jìn)行簡化，只考慮有關(guān)陷阱的模型 KB = 怪獸世界的規(guī)則＋由感知得到的觀察22人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 Wumpus models IIIα1 = “[1,2] is safe”, KB ╞ α1, 通過 模型檢驗(yàn) （ model checking） 得證23人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 Wumpus models IVα2 = [2,2] is safe, KB ╞ α224人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 推理過程Inference Procedures 可靠 Soundness: 只要 KB ├i α, 就有 KB╞ α為真 ，則稱 i 是 可靠 的(推理不會出錯(cuò)，但不一定能夠?qū)С鏊械恼_結(jié)論 ) 命題邏輯是最簡單的邏輯 If S is a sentence, ?S is a sentence (negation)
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號-1