第一部分人工智能概述ppt課件

1、 什么是人工智能？人工智能的研討目什么是人工智能？人工智能的研討目的和意義？的和意義？ 人工智能的研討途徑與方法人工智能的研討途徑與方法 人工智能的分支領(lǐng)域基于運(yùn)用領(lǐng)域人工智能的分支領(lǐng)域基于運(yùn)用領(lǐng)域 人工智能根本技術(shù)人工智能根本技術(shù) 形狀圖知識(shí)表示形狀圖知識(shí)表示 形狀圖搜索形狀圖搜索 窮舉式搜索窮舉式搜索 啟發(fā)式搜索啟發(fā)式搜索 加權(quán)形狀圖搜索加權(quán)形狀圖搜索 與或圖知識(shí)表示與或圖知識(shí)表示 與或圖搜索與或圖搜索 啟發(fā)式與或樹搜索啟發(fā)式與或樹搜索 博弈樹搜索博弈樹搜索 形狀空間形狀空間State SpaceState Space 問(wèn)題的形狀空間是一個(gè)表示該問(wèn)題全問(wèn)題的形狀空間是一個(gè)表示該問(wèn)題全部的能

2、夠形狀及相互關(guān)系的圖。部的能夠形狀及相互關(guān)系的圖。 普通用賦值有向圖，包含普通用賦值有向圖，包含 S S：?jiǎn)栴}的能夠有的初始形狀的集合；：?jiǎn)栴}的能夠有的初始形狀的集合； F F：操作的集合；：操作的集合； G G：目的形狀的集合。：目的形狀的集合。 形狀空間常記為三元序列形狀空間常記為三元序列SG 窮舉式搜索窮舉式搜索 廣度優(yōu)先廣度優(yōu)先 深度有限深度有限 有界深度優(yōu)先有界深度優(yōu)先 啟發(fā)式搜索九宮重排為例啟發(fā)式搜索九宮重排為例 部分擇優(yōu)部分擇優(yōu) 全局擇優(yōu)全局擇優(yōu) 加權(quán)形狀圖搜索加權(quán)形狀圖搜索 分支界限分支界限 最近擇優(yōu)瞎子爬山最近擇優(yōu)瞎子爬山 與或圖相關(guān)概念與或圖相關(guān)概念 本原問(wèn)題、終止節(jié)點(diǎn)、端

3、節(jié)點(diǎn)、與節(jié)本原問(wèn)題、終止節(jié)點(diǎn)、端節(jié)點(diǎn)、與節(jié)點(diǎn)、或節(jié)點(diǎn)點(diǎn)、或節(jié)點(diǎn) 與或圖也是一個(gè)三元組與或圖也是一個(gè)三元組 Q0 , F , Qn 博弈樹知識(shí)表示博弈樹知識(shí)表示 與或樹搜索與或樹搜索 可解性斷定可解性斷定 廣度優(yōu)先、有界深度優(yōu)先廣度優(yōu)先、有界深度優(yōu)先 有序搜索有序搜索 解樹樹根代價(jià)的計(jì)算方法解樹樹根代價(jià)的計(jì)算方法 和代價(jià)法和代價(jià)法 最大代價(jià)法最大代價(jià)法 有序搜索過(guò)程有序搜索過(guò)程 極小極大分析法極小極大分析法 剪枝技術(shù)剪枝技術(shù) 相關(guān)定義及概念相關(guān)定義及概念 化子句集的過(guò)程化子句集的過(guò)程 命題邏輯的歸結(jié)原理命題邏輯的歸結(jié)原理 交換與合一交換與合一 謂詞邏輯中的歸結(jié)原理謂詞邏輯中的歸結(jié)原理 運(yùn)用歸結(jié)原

4、理求取問(wèn)題答案運(yùn)用歸結(jié)原理求取問(wèn)題答案 歸結(jié)戰(zhàn)略歸結(jié)戰(zhàn)略1、消去蘊(yùn)含詞和等值詞。、消去蘊(yùn)含詞和等值詞。2、使否認(rèn)詞僅作用于原子公式。、使否認(rèn)詞僅作用于原子公式。3、適當(dāng)改名使量詞間不含同名指點(diǎn)變?cè)?、適當(dāng)改名使量詞間不含同名指點(diǎn)變?cè)?、消去存在量詞。、消去存在量詞。5、消去全稱量詞。、消去全稱量詞。6、化公式為合取范式。、化公式為合取范式。7、適當(dāng)改名，使子句間無(wú)同名變?cè)?、適當(dāng)改名，使子句間無(wú)同名變?cè)?、消去合取詞，以子句為元素組成一個(gè)集合、消去合取詞，以子句為元素組成一個(gè)集合S。 設(shè)C1， C2是命題邏輯中的兩個(gè)子句 C1中有文字L1 ，C2中有文字L2 ，且L1與L2互補(bǔ)， 從C1

5、、 C2中分別刪除L1 、L2 ，再將剩余部分析取起來(lái)，記構(gòu)成的新子句為C1 2，那么C1 2為C1 、 C2的歸結(jié)式。)L(C)L(CCC221121 一個(gè)交換一個(gè)交換Substitution是形如是形如 t1/x1, t2/x2, , tn/xn的有限集合的有限集合 設(shè)設(shè)是原子公式集是原子公式集S的一個(gè)合一，假設(shè)的一個(gè)合一，假設(shè)對(duì)對(duì)S的任何一個(gè)合一的任何一個(gè)合一都存在一個(gè)交換都存在一個(gè)交換，使得使得 那么稱那么稱為為S的最普通合一的最普通合一(Most General Unifier),簡(jiǎn)稱簡(jiǎn)稱MGU。 C1，C2為無(wú)一樣變?cè)淖泳洌粸闊o(wú)一樣變?cè)淖泳洌?L1，L2為其中的兩個(gè)文字，為其中

6、的兩個(gè)文字， L1和和L2有最普通合一有最普通合一； C1，C2的二元?dú)w結(jié)式二元消解式的二元?dú)w結(jié)式二元消解式為：為： C1 L1 C2 L2 1 1先為待求解的問(wèn)題找一個(gè)適宜的求證目的謂詞；先為待求解的問(wèn)題找一個(gè)適宜的求證目的謂詞；2 2再對(duì)目的否認(rèn)子句增配以析取方式一個(gè)輔助再對(duì)目的否認(rèn)子句增配以析取方式一個(gè)輔助謂詞，該謂詞的變?cè)匦枧c對(duì)應(yīng)目的謂詞中的變?cè)^詞，該謂詞的變?cè)匦枧c對(duì)應(yīng)目的謂詞中的變?cè)耆恢?；完全一致? 3進(jìn)展歸結(jié)；進(jìn)展歸結(jié)；4 4當(dāng)歸結(jié)是剛好只剩下輔助謂詞時(shí)，輔助謂詞中原當(dāng)歸結(jié)是剛好只剩下輔助謂詞時(shí)，輔助謂詞中原變?cè)恢蒙系捻?xiàng)就是所求的結(jié)果。變?cè)恢蒙系捻?xiàng)就是所求的結(jié)果。 刪除戰(zhàn)略刪除戰(zhàn)略 支持集戰(zhàn)略支持集戰(zhàn)略 線性歸結(jié)戰(zhàn)略線性歸結(jié)戰(zhàn)略 輸入歸結(jié)戰(zhàn)略輸入歸結(jié)戰(zhàn)略 單元?dú)w結(jié)戰(zhàn)略單元?dú)w結(jié)戰(zhàn)略 祖先過(guò)濾型戰(zhàn)略祖先