第五講經(jīng)典人工智能技術(shù)—知識(shí)表示、推理與搜索77-wenkub
2023-04-03 21:12:31 本頁面
【正文】 （子句）間進(jìn)行 必須先把公式化成規(guī)范的形式（范式，子句集） 析取聯(lián)接詞，類似“或” 智能科學(xué)與技術(shù)系 什么叫消解 例 1： 小王說他下午或者去圖書館或者在家休息 小王沒去圖書館 R—小王下午去圖書館 S—小王下午在家休息 R ? S ﹁ R ? S 例 2： 如果今天不下雨，我就去你家 ﹁ P→Q 今天沒有下雨 ﹁ P ? P ? Q 智能科學(xué)與技術(shù)系 含變量的消解 例：蘇格拉底論斷 凡人都會(huì)死 . ?x (Man (x) ? Mortal (x)) 蘇格拉底是人 . Man (Socrates) 如何得到結(jié)論：蘇格拉底會(huì)死 . Mortal(Socrates) 要完成消解還面臨幾個(gè)問題 “ ?” 和 “ ?” 必須消去 Man (x) ? Mortal (x) ??Man (x) ? Mortal “ ?” 怎么辦？ 化為子句集 置換與合一 如果能消去 “ ?” ， ?Man (x) 和 Man (Socrates)也不能構(gòu)成互補(bǔ)對(duì)，形式不一樣，怎么辦？ 智能科學(xué)與技術(shù)系 置換與合一 要把消解推理規(guī)則推廣到含有變量的子句，必須找到一個(gè)作用于親本子句的置換，使親本子句含有互補(bǔ)文字 置換（ Substitution） 置換是形為 {t1/x1, t2/x2, ..., tn/xn}的一個(gè)有限集 xi是互不相同的變?cè)?ti是項(xiàng) 用 ti代換 xi，不允許 ti與 xi相同，也不允許變?cè)?xi循環(huán)出現(xiàn)在另一個(gè) tj中 {a/x,f(b)/y,w/z} {f(a)/x, b/y, t/x} {g(y)/x,f(x)/y} s={z/x,w/y} ω=P(x,f(y),B) ωs =P(z,f(w),B) 智能科學(xué)與技術(shù)系 置換與合一 合一（ Unification) 尋找項(xiàng)對(duì)變量的置換，以使兩表達(dá)式一致的過程。 則稱 g為 {Fi}的最一般 (最簡單的 )合一者，記作 mgu。∨ C239。 解：先定義謂詞： Poor(x) x是貧窮的 Smart(x) x是聰明的 Happy(x) x是快樂的 Read(x) x能看書 Exciting(x) x過著激動(dòng)人心的生活 消解反演示例 —“激動(dòng)人心的生活 ” 問題 智能科學(xué)與技術(shù)系 消解反演示例 —“激動(dòng)人心的生活 ” 問題 問題謂詞表示： “ 所有不貧窮并且聰明的人都是快樂的 ” (?x)((~Poor(x)∧ Smart(x))→Happy(x)) “那些看書的人是聰明的 ” (?y) (Read(y) → Smart(y)) “李明能看書且不貧窮 ” Read(Liming)∧ ~Poor(Liming) “快樂的人過著激動(dòng)人心的生活 ” (?z) (Happy(z)→Exciting(z)) 目標(biāo) “ 李明過著激動(dòng)人心的生活 ” 的否定 ~Exciting(Liming) 智能科學(xué)與技術(shù)系 消解反演示例 —“激動(dòng)人心的生活 ” 問題 將上述謂詞公式轉(zhuǎn)化為子句集如下： (1) Poor(x)∨ ~Smart(x)∨ Happy(x) (2) ~Read(y)∨ Smart(y) (3) Read(Liming) (4) ~Poor(Liming) (5) ~Happy(z)∨ Exciting(z) (6) ~Exciting(Liming) (結(jié)論的否定 ) 智能科學(xué)與技術(shù)系 消解反演示例 —“激動(dòng)人心的生活 ” 問題 ~Exciting(Liming) ~Happy(z)∨ Exciting(z) ~Happy(Liming) Happy(x))∨ ~Smart(x)∨ Happy(x) Poor(Liming)∨ ~Smart(Liming) ~Read(y)∨ Smart(y ) Poor(Liming)∨ ~Read(Liming) ~Poor(Liming) ~Read(Liming) Read(Liming) NIL {Liming/z} {Liming/x} {Liming/y} 智能科學(xué)與技術(shù)系 消解原理的局限性 消解原理推進(jìn)了用邏輯方法進(jìn)行機(jī)器證明的研究，使得自動(dòng)定理證明領(lǐng)域發(fā)生了質(zhì)的變化。 智能科學(xué)與技術(shù)系 問題求解與圖搜索策略 ?問題求解 ?問題表示 ?解的搜索 智能科學(xué)與技術(shù)系 問題求解 —什么是問題求解 問題求解是人工智能的核心問題之一 問題求解的目的 機(jī)器自動(dòng)找出某問題的正確解決策略 更進(jìn)一步，能夠舉一反三，具有解決同類問題的能力 是從人工智能初期的智力難題、棋類游戲、簡單數(shù)學(xué)定理證明等問題的研究中開始形成和發(fā)展起來的一大類技術(shù) 求解的手段多種多樣 其中搜索技術(shù)是問題求解的主要手段之一 問題表示 解的搜索 智能科學(xué)與技術(shù)系 八數(shù)碼難題 在 3 3的棋盤，擺有八個(gè)棋子，每個(gè)棋子上標(biāo)有 1至 8的某一數(shù)字。 01:37:0301:37:0301:374/2/2023 1:37:03 AM 1以我獨(dú)沈久，愧君相見頻。 2023年 4月 2日星期日 上午 1時(shí) 37分 3秒 01:37: 1比不了得就不比，得不到的就不要。 上午 1時(shí) 37分 3秒 上午 1時(shí) 37分 01:37: 沒有失敗，只有暫時(shí)停止成功！。 01:37:0301:37:0301:37Sunday, April 2, 2023 1不知香積寺，數(shù)里入云峰。 2023年 4月 上午 1時(shí) 37分 :37April 2, 2023 1少年十五二十時(shí)，步行奪得胡馬騎。 01:37:0301:37:0301:374/2/2023 1:37:03 AM 1越是沒有本領(lǐng)的就越加自命不凡。 :37:0301:37:03April 2, 2023 1意志堅(jiān)強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 上午 1時(shí) 37分 3秒 上午 1時(shí) 37分 01:37: MOMODA POWERPOINT Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce id urna blandit, eleifend nulla ac, fringilla purus. Nulla iaculis tempor felis ut cursus. 感謝您的下載觀看 專家告訴 。 2023年 4月 上午 1時(shí) 37分 :37April 2, 2023 1業(yè)余生活要有意義，不要越軌。 01:37:0301:37:0301:37Sunday, April 2, 2023 1知人者智，自知者明。 上午 1時(shí) 37分 3秒 上午 1時(shí) 37分 01:37: 楊柳散和風(fēng)，青山澹吾慮。 2023年 4月 2日星期日 上午 1時(shí) 37分 3秒 01:37: 1楚塞三湘接，荊門九派通。 01:37:0301:37:0301:374/2/2023 1:37:03 AM 1成功就是日復(fù)一日那一點(diǎn)點(diǎn)小小努力的積累。 2023年 4月 上午 1時(shí) 37分 :37April 2, 2023 1行動(dòng)出成果，工作出財(cái)富。 01:37:0301:37:0301:37Sunday, April 2, 2023 1乍見翻疑夢(mèng)，相悲各問年。 1 2 3 8 4 5 6 7 初始狀態(tài) 8 1 3 2 4 5 6 7 目標(biāo)狀態(tài) 如何將棋盤從某一初始狀態(tài)變成最后的目標(biāo)狀態(tài)？ 問題求解 —問題示例 智能科學(xué)與技術(shù)系 問題示例 49 怎樣找到兩點(diǎn)之間的最
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1