第五講經(jīng)典人工智能技術(shù)—知識(shí)表示、推理與搜索77-wenkub
2023-04-03 21:12:31 本頁(yè)面
【正文】 （子句）間進(jìn)行 必須先把公式化成規(guī)范的形式（范式，子句集） 析取聯(lián)接詞，類(lèi)似“或” 智能科學(xué)與技術(shù)系 什么叫消解 例 1： 小王說(shuō)他下午或者去圖書(shū)館或者在家休息 小王沒(méi)去圖書(shū)館 R—小王下午去圖書(shū)館 S—小王下午在家休息 R ? S ﹁ R ? S 例 2： 如果今天不下雨，我就去你家 ﹁ P→Q 今天沒(méi)有下雨 ﹁ P ? P ? Q 智能科學(xué)與技術(shù)系 含變量的消解 例：蘇格拉底論斷 凡人都會(huì)死 . ?x (Man (x) ? Mortal (x)) 蘇格拉底是人 . Man (Socrates) 如何得到結(jié)論：蘇格拉底會(huì)死 . Mortal(Socrates) 要完成消解還面臨幾個(gè)問(wèn)題 “ ?” 和 “ ?” 必須消去 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á)式一致的過(guò)程。 則稱(chēng) g為 {Fi}的最一般 (最簡(jiǎn)單的 )合一者，記作 mgu?！?C239。 解：先定義謂詞： Poor(x) x是貧窮的 Smart(x) x是聰明的 Happy(x) x是快樂(lè)的 Read(x) x能看書(shū) Exciting(x) x過(guò)著激動(dòng)人心的生活 消解反演示例 —“激動(dòng)人心的生活 ” 問(wèn)題 智能科學(xué)與技術(shù)系 消解反演示例 —“激動(dòng)人心的生活 ” 問(wèn)題 問(wèn)題謂詞表示： “ 所有不貧窮并且聰明的人都是快樂(lè)的 ” (?x)((~Poor(x)∧ Smart(x))→Happy(x)) “那些看書(shū)的人是聰明的 ” (?y) (Read(y) → Smart(y)) “李明能看書(shū)且不貧窮 ” Read(Liming)∧ ~Poor(Liming) “快樂(lè)的人過(guò)著激動(dòng)人心的生活 ” (?z) (Happy(z)→Exciting(z)) 目標(biāo) “ 李明過(guò)著激動(dòng)人心的生活 ” 的否定 ~Exciting(Liming) 智能科學(xué)與技術(shù)系 消解反演示例 —“激動(dòng)人心的生活 ” 問(wèn)題 將上述謂詞公式轉(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)人心的生活 ” 問(wèn)題 ~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ù)系 問(wèn)題求解與圖搜索策略 ?問(wèn)題求解 ?問(wèn)題表示 ?解的搜索 智能科學(xué)與技術(shù)系 問(wèn)題求解 —什么是問(wèn)題求解 問(wèn)題求解是人工智能的核心問(wèn)題之一 問(wèn)題求解的目的 機(jī)器自動(dòng)找出某問(wèn)題的正確解決策略 更進(jìn)一步，能夠舉一反三，具有解決同類(lèi)問(wèn)題的能力 是從人工智能初期的智力難題、棋類(lèi)游戲、簡(jiǎn)單數(shù)學(xué)定理證明等問(wèn)題的研究中開(kāi)始形成和發(fā)展起來(lái)的一大類(lèi)技術(shù) 求解的手段多種多樣 其中搜索技術(shù)是問(wèn)題求解的主要手段之一 問(wèn)題表示 解的搜索 智能科學(xué)與技術(shù)系 八數(shù)碼難題 在 3 3的棋盤(pán)，擺有八個(gè)棋子，每個(gè)棋子上標(biāo)有 1至 8的某一數(shù)字。 01:37:0301:37:0301:374/2/2023 1:37:03 AM 1以我獨(dú)沈久，愧君相見(jiàn)頻。 2023年 4月 2日星期日 上午 1時(shí) 37分 3秒 01:37: 1比不了得就不比，得不到的就不要。 上午 1時(shí) 37分 3秒 上午 1時(shí) 37分 01:37: 沒(méi)有失敗，只有暫時(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越是沒(méi)有本領(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. 感謝您的下載觀(guān)看 專(zhuān)家告訴 。 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楚塞三湘接，荊門(mén)九派通。 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乍見(jiàn)翻疑夢(mèng)，相悲各問(wèn)年。 1 2 3 8 4 5 6 7 初始狀態(tài) 8 1 3 2 4 5 6 7 目標(biāo)狀態(tài) 如何將棋盤(pán)從某一初始狀態(tài)變成最后的目標(biāo)狀態(tài)？ 問(wèn)題求解 —問(wèn)題示例 智能科學(xué)與技術(shù)系 問(wèn)題示例 49 怎樣找到兩點(diǎn)之間的最
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1