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

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

2、夠形狀及相互關(guān)系的圖。部的能夠形狀及相互關(guān)系的圖。 普通用賦值有向圖，包含普通用賦值有向圖，包含 S S：問題的能夠有的初始形狀的集合；：問題的能夠有的初始形狀的集合； 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)概念 本原問題、終止節(jié)點、端

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

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

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

6、的兩個文字， L1和和L2有最普通合一有最普通合一； C1，C2的二元歸結(jié)式二元消解式的二元歸結(jié)式二元消解式為：為： C1 L1 C2 L2 1 1先為待求解的問題找一個適宜的求證目的謂詞；先為待求解的問題找一個適宜的求證目的謂詞；2 2再對目的否認(rèn)子句增配以析取方式一個輔助再對目的否認(rèn)子句增配以析取方式一個輔助謂詞，該謂詞的變元必需與對應(yīng)目的謂詞中的變元謂詞，該謂詞的變元必需與對應(yīng)目的謂詞中的變元完全一致；完全一致；3 3進(jìn)展歸結(jié)；進(jìn)展歸結(jié)；4 4當(dāng)歸結(jié)是剛好只剩下輔助謂詞時，輔助謂詞中原當(dāng)歸結(jié)是剛好只剩下輔助謂詞時，輔助謂詞中原變元位置上的項就是所求的結(jié)果。變元位置上的項就是所求的結(jié)果。 刪除戰(zhàn)略刪除戰(zhàn)略 支持集戰(zhàn)略支持集戰(zhàn)略 線性歸結(jié)戰(zhàn)略線性歸結(jié)戰(zhàn)略 輸入歸結(jié)戰(zhàn)略輸入歸結(jié)戰(zhàn)略 單元歸結(jié)戰(zhàn)略單元歸結(jié)戰(zhàn)略 祖先過濾型戰(zhàn)略祖先