人工智能課件整理

..人工智能〔AI概述智能是知識(shí)與智力的總和,知識(shí)是一切智能行為的基礎(chǔ),智力是獲取知識(shí)并應(yīng)用知識(shí)求解問(wèn)題的能力智能的特征：1、感知能力2、記憶〔存儲(chǔ)由感知器官感知到的外部信息以及思維所產(chǎn)生的知識(shí)與思維〔對(duì)記憶的信息進(jìn)行處理能力：〔1邏輯思維〔抽象思維〔2形象思維〔直感思維〔3頓悟思維〔靈感思維3、學(xué)習(xí)能力4、行為能力〔表達(dá)能力人工智能：用人工的方法在機(jī)器〔計(jì)算機(jī)上實(shí)現(xiàn)的智能；或者說(shuō)是人們使機(jī)器具有類似于人的智能。人工智能研究的基本內(nèi)容：1、知識(shí)表示,知識(shí)表示：將人類知識(shí)形式化或者模型化；知識(shí)表示方法：符號(hào)表示法〔用各種包含具體含義的符號(hào),以各種不同的方式和順序組合起來(lái)表示知識(shí)的一類方法。例如,一階謂詞邏輯、產(chǎn)生式等、連接機(jī)制表示法〔把各種物理對(duì)象以不同的方式及順序連接起來(lái),并在其間互相傳遞及加工各種包含具體意義的信息,以此來(lái)表示相關(guān)的概念及知識(shí)。例如,神經(jīng)網(wǎng)絡(luò)等2、機(jī)器感知3、機(jī)器思維4、機(jī)器學(xué)習(xí)5、機(jī)器行為人工智能的主要研究領(lǐng)域：1、自動(dòng)定理證明,實(shí)質(zhì)：由前提P得到結(jié)論Q的永真性2、博弈3、模式識(shí)別〔研究對(duì)象描述和分類方法的學(xué)科。分析和識(shí)別的模式可以是信號(hào)、圖象或者普通數(shù)據(jù)：文字識(shí)別〔郵政編碼、車牌識(shí)別、漢字識(shí)別,人臉識(shí)別〔反恐、商業(yè),物體識(shí)別〔導(dǎo)彈、機(jī)器人4、專家系統(tǒng)5、機(jī)器人6、機(jī)器識(shí)別7、自然語(yǔ)言理解8、自動(dòng)程序設(shè)計(jì)9、智能信息檢索10、數(shù)據(jù)挖掘與知識(shí)發(fā)現(xiàn)11、組合優(yōu)化問(wèn)題12、人工神經(jīng)網(wǎng)絡(luò)13、分布式人工智能14、智能管理與智能決策……第二章知識(shí)表示知識(shí)：在長(zhǎng)期的生活及社會(huì)實(shí)踐中、在科學(xué)研究及實(shí)驗(yàn)中積累起來(lái)的對(duì)客觀世界的認(rèn)識(shí)與經(jīng)驗(yàn),把有關(guān)信息關(guān)聯(lián)在一起所形成的信息結(jié)構(gòu),反映了客觀世界中事物之間的關(guān)系,不同事物或者相同事物間的不同關(guān)系形成了不同的知識(shí)知識(shí)的特性：1、相對(duì)正確性〔一定的條件及環(huán)境2、不確定性〔引起原因：隨機(jī)性、模糊性、經(jīng)驗(yàn)、不完全性3、可表示性〔知識(shí)可以用適當(dāng)形式表示出來(lái),如用語(yǔ)言、文字、圖形、神經(jīng)網(wǎng)絡(luò)等與可利用性〔知識(shí)可以被利用知識(shí)的分類：1、按知識(shí)的作用范圍：常識(shí)性知識(shí)〔通用性知識(shí),領(lǐng)域性知識(shí)〔專業(yè)性知識(shí)〔如：一個(gè)字節(jié)由8個(gè)位構(gòu)成2、按知識(shí)的作用及表示：事實(shí)性知識(shí)〔如：糖是甜的,過(guò)程性知識(shí)〔如：乘火車,控制性知識(shí)〔如：乘飛機(jī)較快,較貴3、按知識(shí)的結(jié)構(gòu)及表現(xiàn)形式：邏輯性知識(shí),形象性知識(shí)〔如：什么是樹(shù)？4、按知識(shí)的確定性：確定性知識(shí),不確定性知識(shí)〔給出知識(shí),判斷是以上哪種知識(shí)知識(shí)表示：將人類知識(shí)形式化或者模型化一階謂詞邏輯表示法：命題：一個(gè)非真即假的陳述句命題邏輯：研究命題及命題之間關(guān)系的符號(hào)邏輯系統(tǒng)謂詞的一般形式：P<x1,x2,…,xn>個(gè)體x1,x2,…,xn：某個(gè)獨(dú)立存在的事物或者某個(gè)抽象的概念；謂詞名P：刻畫(huà)個(gè)體的性質(zhì)、狀態(tài)或個(gè)體間的關(guān)系個(gè)體是常量：一個(gè)或者一組指定的個(gè)體例："老張是一個(gè)教師"：一元謂詞Teacher<Zhang>；"5>3"：二元謂詞Greater<5,3>"Smith作為一個(gè)工程師為IBM工作"：三元謂詞Works<Smith,IBM,engineer>個(gè)體是變?cè)沧兞浚簺](méi)有指定的一個(gè)或者一組個(gè)體例："x<5"：Less<x,5>個(gè)體是函數(shù)：一個(gè)個(gè)體到另一個(gè)個(gè)體的映射例："小李的父親是教師"：Teacher<father<Li>>個(gè)體是謂詞例："Smith作為一個(gè)工程師為IBM工作"：二階謂詞Works<Engineer<Smith>,IBM>謂詞公式：1、連接詞〔連詞〔1﹁："否定"或"非"eg："機(jī)器人不在2號(hào)房間"：﹁Inroom<robot,r2>〔2∨："析取"——或eg："李明打籃球或踢足球"：Plays<Liming,basketball>∨Plays<Liming,football>〔3∧："合取"——與eg："我喜歡音樂(lè)和繪畫(huà)"：Like<I,music>∧Like<I,painting>〔4→："蘊(yùn)含"或"條件"<condition>eg："如果劉華跑得最快,那么他取得冠軍。"：RUNS<Liuhua,faster>→WINS<Liuhua,champion>〔5："等價(jià)"或"雙條件"："P當(dāng)且僅當(dāng)Q"謂詞邏輯真值表量詞：〔1全稱量詞〔universalquantifier〔："對(duì)個(gè)體域中的所有〔或任一個(gè)個(gè)體x"例："所有的機(jī)器人都是灰色的"：<>[ROBOT<x>→COLOR<x,GRAY>]〔考試類型就是由漢字翻譯成英文,或由英文譯成漢字〔2存在量詞〔existentialquantifier〔："在個(gè)體域中存在個(gè)體x"例："1號(hào)房間有個(gè)物體"：〔INROOM〔x,r1舉例：<><>F<x,y>表示對(duì)于個(gè)體域中的任何個(gè)體x都存在個(gè)體y,x與y是朋友；<x><y>F<x,y>表示在個(gè)體域中存在個(gè)體x,與個(gè)體域中的任何個(gè)體y都是朋友；<x><y>F<x,y>表示在個(gè)體域中存在個(gè)體x與個(gè)體y,x與y是朋友；<x><y>F<x,y>表示對(duì)于個(gè)體域中的任何兩個(gè)個(gè)體x和y,x與y都是朋友〔謂詞公式和量詞具體考試是體現(xiàn)在后面的大題中的應(yīng)用練習(xí)題：用謂詞公式表示下列語(yǔ)句有的人喜歡梅花,有的人喜歡菊花,有的人既喜歡梅花又喜歡菊花。表示：定義謂詞：like<x,y>為x喜歡y；flower1：梅花；flower2：菊花；他每天下午都去踢足球表示：定義謂詞：plays<z,y,x>為z在x時(shí)間踢y；x：下午；所有人都有飯吃表示：定義謂詞：have<x,y>為x有y；x：人喜歡玩籃球的人必喜歡玩排球要想出國(guó)留學(xué),必須通過(guò)外語(yǔ)考試表示：定義謂詞：pass<x,y>為x通過(guò)y；study<x,y>為x到y(tǒng)學(xué)習(xí)；x：人；〔English為英語(yǔ)考試謂詞公式的性質(zhì)：1、對(duì)于每一個(gè)解釋,謂詞公式都可求出一個(gè)真值〔T或F2、謂詞公式的永真性、可滿足性、不可滿足性〔對(duì)于謂詞公式P,如果至少存在一個(gè)解釋使得P在此解釋下的真值為T(mén),則稱P是可滿足的,否則,則稱P是不可滿足的3、謂詞公式的等價(jià)性主要的等價(jià)式：〔1交換律〔2結(jié)合律〔3分配律〔4德摩根律〔5雙重否定律吸收律〔7補(bǔ)余律〔8連接詞化歸律〔9逆否律〔10量詞轉(zhuǎn)換律〔11量詞分配律4、謂詞公式的永真蘊(yùn)含一些重要的永真蘊(yùn)含式〔1化簡(jiǎn)式〔2附加式〔3假言推理〔4拒取式推理〔5假言三段論〔6析取三段論〔7二難推理〔8全稱固化〔9存在固化〔公式要牢記,大題中都會(huì)應(yīng)用到謂詞邏輯的其他推理規(guī)則：①P規(guī)則：在推理的任何步驟上都可引入前提②T規(guī)則：在推理過(guò)程中,如果前面步驟中有一個(gè)或多個(gè)公式永真蘊(yùn)含公式S,則可把S引入推理過(guò)程中〔主要用在后面的大題中一階謂詞邏輯知識(shí)表示方法：謂詞公式表示知識(shí)的步驟：〔1定義謂詞及個(gè)體〔2變?cè)x值〔3用連接詞連接各個(gè)謂詞,形成謂詞公式〔大題中用來(lái)定義謂詞的方法,掌握步驟,才會(huì)定義謂詞,不作具體考試內(nèi)容,主要大題中用到產(chǎn)生式：1、確定性規(guī)則知識(shí)的產(chǎn)生式表示基本形式：IFPTHENQ或者PQ不確定性規(guī)則知識(shí)的產(chǎn)生式表示基本形式：IFPTHENQ〔置信度或者PQ〔置信度3、確定性事實(shí)性知識(shí)的產(chǎn)生式表示三元組表示：〔對(duì)象,屬性,值或者：〔關(guān)系,對(duì)象1,對(duì)象2例：老李年齡是40歲：〔Li,age,40李和老王是朋友：〔friend,Li,Wang4、不確定性事實(shí)性知識(shí)的產(chǎn)生式表示四元組表示：〔對(duì)象,屬性,值,置信度或者：〔關(guān)系,對(duì)象1,對(duì)象2,置信度例：老李年齡很可能是40歲：〔Li,age,40,0.8老李和老王不大可能是朋友：〔friend,Li,Wang,0.1〔掌握語(yǔ)義網(wǎng)絡(luò)是一種采用網(wǎng)絡(luò)形式表示人類知識(shí)的方法,一個(gè)語(yǔ)義網(wǎng)絡(luò)是一個(gè)帶標(biāo)識(shí)的有向圖。在語(yǔ)義網(wǎng)絡(luò)知識(shí)表示中,結(jié)點(diǎn)一般劃分為實(shí)例結(jié)點(diǎn)和類結(jié)點(diǎn)兩種類型。結(jié)點(diǎn)之間帶有標(biāo)識(shí)的有向弧表示結(jié)點(diǎn)之間的語(yǔ)義聯(lián)系,是語(yǔ)義網(wǎng)絡(luò)組織知識(shí)的關(guān)鍵。1、以個(gè)體為中心組織知識(shí)的語(yǔ)義聯(lián)系〔1實(shí)例__類結(jié)點(diǎn)與所屬實(shí)例結(jié)點(diǎn)之間的聯(lián)系ISA,如：〔2泛化__AKO聚集__某一個(gè)體與其組成成分之間的聯(lián)系,part-of如：兩只手是人體的一部分屬性__個(gè)體、屬性及其取值之間的聯(lián)系以謂詞或關(guān)系為中心組織知識(shí)的語(yǔ)義__3元謂詞give<x,y,z>:z是x給y的如：x：John,y：Mary,z：warandpeace合取〔與give<John,Mary,warandpeace>∧read<Mary,warandpeace>析取〔或JohnisaprogrammerorMaryisalawyer.3.否定<"﹁ISA、﹁AKO、﹁part-of"或非give<John,Mary,warandpeace>∧read<Mary,warandpeace>蘊(yùn)含"如果車庫(kù)起火,那么用CO2或沙來(lái)滅火。"變?cè)土吭~在語(yǔ)義網(wǎng)絡(luò)中的表示方法：存在量詞直接用ISA弧表示,全稱量詞用分塊方法表示。如,命題:Thedogbitthepostman.〔注意：題中是否有量詞關(guān)系,若有,就要注意該方法命題:Everydoghasbittenapostman.G是斷言,分別指向分塊S1,注意有向弧上寫(xiě)有FROM,另外指向分塊中所示的全稱量詞的變?cè)騻€(gè)體,有向弧上有全稱量詞的符號(hào)；分塊S1用虛線框圍起來(lái)命題<3>：Everydoghasbitteneverypostman.例：描述桌子的語(yǔ)義網(wǎng)絡(luò)練習(xí)題：〔1知更鳥(niǎo)是一種鳥(niǎo)；鴕鳥(niǎo)是一種鳥(niǎo)；鳥(niǎo)是會(huì)飛的；鴕鳥(niǎo)不會(huì)飛；CLYDE是一只知更鳥(niǎo)；CLYDE從春天到秋天占一個(gè)巢〔2豬和羊都是動(dòng)物；豬和羊都是偶蹄動(dòng)物和哺乳動(dòng)物；野豬是豬,但生長(zhǎng)在森林中；山羊是羊,且頭上長(zhǎng)著角；綿羊是一種羊,它能生產(chǎn)羊毛〔3孫老師從2月至7月給計(jì)算機(jī)應(yīng)用專業(yè)講"網(wǎng)絡(luò)技術(shù)"課程〔4王麗萍是天發(fā)電腦公司的經(jīng)理,她35歲,住在南內(nèi)環(huán)街68號(hào)〔應(yīng)用題,畫(huà)語(yǔ)義網(wǎng)絡(luò)圖第三章確定性推理方法推理：從已知事實(shí)〔證據(jù)出發(fā),通過(guò)運(yùn)用相關(guān)知識(shí)逐步退出結(jié)論或者證明某個(gè)假設(shè)成立或者不成立的思維過(guò)程。推理方式及其分類：1、演繹推理、歸納推理、默認(rèn)推理〔1演繹推理：一般到個(gè)別；三段論式〔三段論法[大前提,小前提,結(jié)論]〔2歸納推理：個(gè)別到一般；分為完全歸納推理〔必然性推理,不完全歸納推理〔非必然性推理〔3默認(rèn)推理〔缺省推理：只是不完全的情況下假設(shè)某些條件已經(jīng)具備所進(jìn)行的推理確定性推理、不確定性推理〔1確定性推理：推理時(shí)所用的知識(shí)和證據(jù)、推出的結(jié)論都是正確的,其真值或者為真或者為假〔2不確定性推理：推理時(shí)所用的知識(shí)與證據(jù)不都是確定的,推出的結(jié)論也是不確定的單調(diào)推理、非單調(diào)推理〔1單調(diào)推理：隨著推理向前推進(jìn)及新知識(shí)的加入,推出的結(jié)論越來(lái)越接近最終目標(biāo)〔2非單調(diào)推理：新知識(shí)加入,否定已推出的結(jié)論,使推理退回到前面的某一步,重新開(kāi)始4、啟發(fā)式推理、非啟發(fā)式推理啟發(fā)性知識(shí)：與問(wèn)題有關(guān)且能加快推理過(guò)程、提高搜索效率的知識(shí)推理方向：1、正向推理〔事實(shí)驅(qū)動(dòng)推理已知事實(shí)結(jié)論2、逆向推理〔目標(biāo)驅(qū)動(dòng)推理：以某個(gè)假設(shè)目標(biāo)作為出發(fā)點(diǎn)3、混合推理：先正向后逆向,先逆向后正向4、雙向推理：正向逆向同時(shí)進(jìn)行,且在推理過(guò)程中的某一步驟上"碰頭"的推理沖突消解策略：已知事實(shí)與知識(shí)的三種匹配情況：〔1恰好匹配成功〔一對(duì)一〔2不能匹配成功〔3多種匹配成功〔一對(duì)多、多對(duì)一、多對(duì)多多種沖突消解策略：〔1按針對(duì)性排序〔2按已知事實(shí)的新鮮性排序〔3按匹配度排序〔4按條件個(gè)數(shù)排序〔5按上下文限制排序〔6按冗余限制排序〔7根據(jù)領(lǐng)域問(wèn)題的特點(diǎn)排序自然演繹推理：從一組已知為真的事實(shí)出發(fā),運(yùn)用經(jīng)典邏輯的推理規(guī)則推出結(jié)論的過(guò)程推理規(guī)則：P規(guī)則、T規(guī)則、假言推理、拒取式推理〔應(yīng)用題中運(yùn)用到例：已知事實(shí)：〔1凡是容易的課程小王〔Wang都喜歡〔2C班的課程都是容易的〔3ds是C班的一門(mén)課程求證：小王喜歡ds這門(mén)課程證明：①定義謂詞：EASY<x>：x是容易的,LIKE〔x,y：x喜歡y,C〔x：x是C班的一門(mén)課程②已知事實(shí)和結(jié)論用謂詞公式表示：③應(yīng)用推理規(guī)則進(jìn)行推理歸結(jié)演繹推理：反證法：,當(dāng)且僅當(dāng),即Q為P的邏輯結(jié)論,當(dāng)且僅當(dāng)是不可滿足的；定理：Q為P1,P2,…,Pn的邏輯結(jié)論,當(dāng)且僅當(dāng)是不可滿足的〔沒(méi)要求,看看即可謂詞公式化為子句集的方法：原子謂詞公式：一個(gè)不能再分解的命題；文字：原子謂詞公式及其否定；子句：任何文字的析取式,任何文字本身也都是子句；空子句：不包含任何文字的子句；子句集：由子句構(gòu)成的集合〔合取關(guān)系[子句中是析取,子句間是合取]例將下列謂詞公式化為子句集消去蘊(yùn)含符號(hào)把否定符號(hào)移到每個(gè)謂詞前面變量標(biāo)準(zhǔn)化消去存在量詞,設(shè)y的函數(shù)是f<x>,則化為前束形化為標(biāo)準(zhǔn)型略去全稱量詞消去合取詞,把母式用子句集表示子句變量標(biāo)準(zhǔn)化例將下列謂詞公式化為不含存在量詞的前束形消去存在量詞〔2消去蘊(yùn)含符號(hào)設(shè)z的函數(shù)是g<y>,則謂詞公式不可滿足的充要條件是其子句集不可滿足魯濱遜歸結(jié)原理〔消解原理：子句集中子句之間是合取關(guān)系,只要有一個(gè)子句不可滿足,則子句集就不可滿足；基本思想：檢查子句集S中是否包含空子句,若包含,則S不可滿足,若不包含,在S中選擇合適的子句進(jìn)行歸結(jié),一旦歸結(jié)出空子句,就說(shuō)明S是不可滿足的命題邏輯中的歸結(jié)原理〔基子句的歸結(jié)：設(shè)C1與C2是子句集中的任意兩個(gè)子句,如果C1中的文字L1與C2中的文字L2互補(bǔ),那么從C1和C2中分別消去L1和L2,并將二個(gè)子句中余下的部分析取,構(gòu)成一個(gè)新的子句C12[C12：C1、C2的歸結(jié)式,C1、C2：C12的親本子句定理3.3：歸結(jié)式C12是其親本子句C1與C2的邏輯結(jié)論。即如果C1與C2為真,則C12為真推論1：設(shè)C1與C2是子句集S中的兩個(gè)子句,C12是它們的歸結(jié)式,若用C12代替C1與C2后得到新子句集S1,則由S1不可滿足性可推出原子句集S的不可滿足性,即：的不可滿足性S的不可滿足性推論2：設(shè)C1與C2是子句集S中的兩個(gè)子句,C12是它們的歸結(jié)式,若C12加入原子句集S,得到新子句集S1,則S與S1在不可滿足的意義上是等價(jià)的,即：S1的不可滿足性S的不可滿足性謂詞邏輯中的歸結(jié)原理〔含有變量的子句的歸結(jié)定義3.4：設(shè)是與兩個(gè)沒(méi)有相同變?cè)淖泳?和分別是和中的文字,若是和的最一般合一,則稱為的二元?dú)w結(jié)式〔以上都是歸結(jié)原理的方法,看看,主要掌握方法,學(xué)會(huì)在例題中運(yùn)用例設(shè),求其二元?dú)w結(jié)式解：選則得：歸結(jié)反演〔證明定理的過(guò)程：步驟：〔1將已知前提表示為謂詞公式〔2將待證明的結(jié)論表示為謂詞公式,并否定得到〔3把謂詞公式集化為子句集〔4應(yīng)用歸結(jié)原理對(duì)子句集中的子句進(jìn)行歸結(jié),并把每次得到的歸結(jié)式都并入到中,如此反復(fù)進(jìn)行,若出現(xiàn)了空子句,則停止歸結(jié),此時(shí)就證明了為真例某公司招聘工作人員,A、B、C三人應(yīng)試,經(jīng)面試后公司表示如下想法：三人中至少錄取一人〔2如果錄取A而不錄取B,則一定錄取C〔3如果錄取B,則一定錄取C求證：公司一定錄取C證明：公司的想法用謂詞公式表示：：錄取<2><3>把要求證的結(jié)論用謂詞公式表示出來(lái)并否定,得：把上述公式化成子句集：<2><3><4>例已知：規(guī)則1：任何人的兄弟不是女性；規(guī)則2：任何人的姐妹必是女性事實(shí)：Mary是Bill的姐妹求證：Mary不是Tom的兄弟證明：定義謂詞將規(guī)則與事實(shí)用謂詞公式表示：把要求證的結(jié)論用謂詞公式表示出來(lái)并否定,得：把上述公式化為子句集：將子句集進(jìn)行歸結(jié)：應(yīng)用歸結(jié)原理求解問(wèn)題：步驟：〔1已知前提用謂詞公式表示,并化為子句集；〔2把待求解的問(wèn)題用謂詞公式表示,并否定,再與構(gòu)成析取式；〔3把化為子句集,并入到子句集中,得到子句集；〔4對(duì)應(yīng)用歸結(jié)原理進(jìn)行歸結(jié)；〔5若得到歸結(jié)式,則答案就在中〔考應(yīng)用題,若題中已經(jīng)有了結(jié)論,就是用歸結(jié)反演求證明,若題中沒(méi)有結(jié)論,就是靠應(yīng)用歸結(jié)原理求解問(wèn)題例已知：F1：王Wang先生是小李Li的老師；F2：小李與小張Zhang是同班同學(xué)；F3：如果x與y是同班同學(xué),則x的老師也是y的老師求：小張的老師是誰(shuí)？解：定義謂詞：T〔x,y：x是y的老師C〔x,y：x與y是同班同學(xué)把已知前提表示成謂詞公式：把目標(biāo)表示成謂詞公式,并把它否定后與析?。喊焉鲜龉交癁樽泳浼簯?yīng)用歸結(jié)原理進(jìn)行歸結(jié)：〔1與〔3歸結(jié)〔4與〔5歸結(jié)〔2與〔6歸結(jié)例張某被盜,公安局派出五個(gè)偵查員去調(diào)查。研究案情時(shí),偵查員A說(shuō)"趙與錢(qián)中至少有一人作案"；B說(shuō)"錢(qián)與孫中至少有一人作案"；C說(shuō)"孫與李中至少有一人作案"；D說(shuō)"趙與孫中至少有一人與此案無(wú)關(guān)"；E說(shuō)"錢(qián)與李中至少有一人與此案無(wú)關(guān)"。如果這五個(gè)偵查員的話都是可信的,試用歸結(jié)演繹推理求出誰(shuí)是盜竊犯？練習(xí)：設(shè)A,B,C三人中有人從不說(shuō)真話,也有人從不說(shuō)假話,某人向這三人分別提出同一個(gè)問(wèn)題：誰(shuí)是說(shuō)謊者？A答："B和C都是說(shuō)謊者"；B答："A和C都是說(shuō)謊者"；答："A和B中至少有一個(gè)是說(shuō)謊者"。求誰(shuí)是老實(shí)人,誰(shuí)是說(shuō)謊者？〔自己要做搜索求解策略〔考一個(gè)應(yīng)用題5.1搜索的概念問(wèn)題求解的基本方法：搜索法、歸約法、推理法及產(chǎn)生式等搜索的主要過(guò)程：〔1從初始或目的狀態(tài)出發(fā),并將它作為當(dāng)前狀態(tài)〔2掃描操作算子集,將適用當(dāng)前狀態(tài)的一些操作算子作用于當(dāng)前狀態(tài)而得到新的狀態(tài),并建立指向其父節(jié)點(diǎn)的指針〔3檢查所生成的新?tīng)顟B(tài)是否滿足結(jié)束狀態(tài),若滿足,則得到問(wèn)題的一個(gè)解,并可沿著有關(guān)指針從結(jié)束狀態(tài)反向到達(dá)開(kāi)始狀態(tài),給出一個(gè)解答路徑,否則,將新?tīng)顟B(tài)作為當(dāng)前狀態(tài),返回第二步在進(jìn)行搜索搜索策略：1、搜索方向：〔1數(shù)據(jù)驅(qū)動(dòng)：從初始狀態(tài)出發(fā)的正向搜索〔2目的驅(qū)動(dòng)：從目的狀態(tài)出發(fā)的逆向搜索〔3雙向搜索2、盲目搜索與啟發(fā)式搜索5.2狀態(tài)空間知識(shí)表示方法狀態(tài)：表示系統(tǒng)狀態(tài)、事實(shí)等敘述型知識(shí)的一組變量或數(shù)組：操作：表示引起狀態(tài)變化的過(guò)程型知識(shí)的一組關(guān)系或函數(shù)：狀態(tài)空間：利用狀態(tài)變量和操作符號(hào),表示系統(tǒng)或問(wèn)題的有關(guān)知識(shí)的符號(hào)體系,狀態(tài)空間是一個(gè)四元組：S:狀態(tài)集合；O：操作算子的集合；So：包含問(wèn)題的初始狀態(tài)S的非空子集；G：若干具體狀態(tài)或滿足某些性質(zhì)的路徑信息描述例八數(shù)碼問(wèn)題的狀態(tài)空間狀態(tài)集S：所有擺法操作算子：將空格向上移Up,將空格向左移Left,將空格向下移Down,將空格向右移Right產(chǎn)生式規(guī)則：R1：IF空格上方有棋THEN空格上移；R2：IF空格右方有棋THEN空格右移；R3：IF空格下方有棋THEN空格下移；R4：IF空格左方有棋THEN空格左移八數(shù)碼狀態(tài)空間圖：5.3盲目的圖搜索策略回溯策略：帶回溯策略的搜索：從初始狀態(tài)出發(fā),不停地、試探性地尋找路徑,直到它到達(dá)目的或"不可解結(jié)點(diǎn)",即"死胡同"為止。若它遇到不可解結(jié)點(diǎn)就回溯到路徑中最近的父結(jié)點(diǎn)上,查看該結(jié)點(diǎn)是否還有其他的子結(jié)點(diǎn)未被擴(kuò)展。若有,則沿這些子結(jié)點(diǎn)繼續(xù)搜索；如果找到目標(biāo),就成功退出搜索,返回解題路徑。寬度搜索策略：例通過(guò)搬動(dòng)積木塊,希望從初始狀態(tài)達(dá)到一個(gè)目的狀態(tài),即三塊積木堆疊在一起該問(wèn)題的寬度優(yōu)先搜索樹(shù)：操作算子為MOVE<X,Y>:把積木X搬到Y(jié)上面深度優(yōu)先搜索策略：例卒子穿陣問(wèn)題,要求一卒子從頂部通過(guò)下圖所示的陣列到達(dá)底部。卒子行進(jìn)中不可進(jìn)入到代表敵兵駐守的區(qū)域〔標(biāo)注1,并不準(zhǔn)后退。假定深度限制值為5該問(wèn)題的深度優(yōu)先搜索樹(shù)：5.4啟發(fā)式圖搜索策略啟發(fā)式策略：利用問(wèn)題有關(guān)的啟發(fā)信息進(jìn)行搜索啟發(fā)信息：分類〔1陳述性啟發(fā)信息〔2過(guò)程性啟發(fā)信息〔3控制性啟發(fā)信息估價(jià)函數(shù)：從初始結(jié)點(diǎn)經(jīng)過(guò)結(jié)點(diǎn)到達(dá)目的結(jié)點(diǎn)的路徑的最小代價(jià)估計(jì)值,其一般形式是,一般的,在中,的比重越大,越傾向于寬度優(yōu)先搜索方式,而的比重越大,表示啟發(fā)性能越強(qiáng)A搜索算法：?jiǎn)l(fā)式圖搜索法的基本特點(diǎn)：如何尋找并設(shè)計(jì)一個(gè)與問(wèn)題有關(guān)的及構(gòu)出,然后以的大小來(lái)排列待擴(kuò)展?fàn)顟B(tài)的次序,每次選擇值最小者進(jìn)行擴(kuò)展例：利用A搜索算法求解八數(shù)碼問(wèn)題的搜索樹(shù),其估價(jià)函數(shù)定義為,：狀態(tài)的深度,每步為單位代價(jià)。：以"不在位"的將數(shù)碼作為起發(fā)信息的度量。：為狀態(tài)到目的狀態(tài)的最優(yōu)路徑的代價(jià)搜索算法及其特性分析：1、可采納性2、單調(diào)性3、信息性傳教士與野人問(wèn)題設(shè)有三個(gè)傳教士和三個(gè)野人來(lái)到河邊,打算乘一條船從河的右岸到左岸去。該船的負(fù)載能力為兩人。在任何時(shí)候,若野人的人數(shù)超過(guò)傳教士的人數(shù),則野人就將傳教士吃掉問(wèn)題：他們?cè)鯓硬拍苡眠@條船安全的把所有人都渡過(guò)河去？分析已知條件：①傳教士和野人都會(huì)劃船,但船一次最多只能裝運(yùn)兩個(gè)；②在任何岸邊野人數(shù)目都不得超過(guò)傳教士,否則傳教士就會(huì)遭遇危險(xiǎn),被野人攻擊甚至被吃掉解：第一種方法：應(yīng)用狀態(tài)空間表示法第二種方法：應(yīng)用啟發(fā)式搜索〔A*搜索算法專家系統(tǒng)6.2專家系統(tǒng)的概念專家系統(tǒng)：〔一種智能的計(jì)算機(jī)程序,運(yùn)用知識(shí)和推理解決只有專家才能解決的復(fù)雜問(wèn)題一類包含知識(shí)和推理的智能計(jì)算機(jī)程序?qū)＜蚁到y(tǒng)的基本組成：知識(shí)庫(kù)〔數(shù)據(jù)庫(kù)、規(guī)則庫(kù)知識(shí)獲取專家推理機(jī)〔解釋程序、調(diào)度程序推理咨詢系統(tǒng)用戶知識(shí)庫(kù)推理機(jī)專家系統(tǒng)的特點(diǎn)：〔1具有專家水平的專業(yè)知識(shí)〔2能進(jìn)行有效的推理〔3啟發(fā)性〔4靈活性〔5透明性〔系統(tǒng)自身及其行為能被用戶所理解〔6交互性專家系統(tǒng)與傳統(tǒng)程序的比較：〔1編程思想：傳統(tǒng)程序=數(shù)據(jù)結(jié)構(gòu)+算法專家系統(tǒng)=知識(shí)+推理〔2傳統(tǒng)程序：關(guān)于問(wèn)題求解的知識(shí)隱含于程序中。專家系統(tǒng)：知識(shí)單獨(dú)組成知識(shí)庫(kù),與推理機(jī)分離〔3處理對(duì)象：傳統(tǒng)程序：數(shù)值計(jì)算和數(shù)據(jù)處理。專家系統(tǒng)：符號(hào)處理〔4傳統(tǒng)程序：不具有解釋功能。專家系統(tǒng)：具有解釋功能〔5傳統(tǒng)程序：產(chǎn)生正確的答案。專家系統(tǒng)：通常產(chǎn)生正確的答案,有時(shí)產(chǎn)生錯(cuò)誤的答案〔6系統(tǒng)的體系結(jié)構(gòu)不同[針對(duì)回答專家系統(tǒng)與傳統(tǒng)程序的異同點(diǎn)或者專家系統(tǒng)的特點(diǎn),看具體的問(wèn)題]6.3專家系統(tǒng)的工作原理〔了解即可6.4知識(shí)獲取知識(shí)獲取的過(guò)程：抽取知識(shí)、知識(shí)的轉(zhuǎn)換、知識(shí)的輸入、知識(shí)的檢測(cè)知識(shí)獲取的模式：非自動(dòng)知識(shí)獲取、自動(dòng)知識(shí)獲取、半自動(dòng)知識(shí)獲取專家系統(tǒng)的設(shè)計(jì)原則：〔1專門(mén)的任務(wù)〔2專家合作〔3原型設(shè)計(jì)〔4用戶參與〔5輔助工具〔6知識(shí)庫(kù)與推理機(jī)分離專家系統(tǒng)的開(kāi)發(fā)步驟：6.7專家系統(tǒng)的開(kāi)發(fā)工具骨架系統(tǒng)：1、EMYCIN系統(tǒng)2、KAS系統(tǒng)3、EXPERT系統(tǒng)通用型知識(shí)表達(dá)語(yǔ)言O(shè)PS5〔1特點(diǎn)：將通用的表達(dá)和控制結(jié)合起來(lái),提供了專家系統(tǒng)所需的基本機(jī)制,并不偏向于某些特定的問(wèn)題求解策略和知識(shí)表達(dá)結(jié)構(gòu)〔2組成：產(chǎn)生式規(guī)則庫(kù)、推理機(jī)、數(shù)據(jù)庫(kù)專家系統(tǒng)開(kāi)發(fā)環(huán)境〔專家系統(tǒng)開(kāi)發(fā)工具包AGE專家系統(tǒng)程序設(shè)計(jì)語(yǔ)言1、符號(hào)處理語(yǔ)言〔面向AI的語(yǔ)言或AI語(yǔ)言〔1PROLOG語(yǔ)言：基于演繹推理的邏輯型程序設(shè)計(jì)語(yǔ)言〔2LISP語(yǔ)言：表處理語(yǔ)言2、面向問(wèn)題的語(yǔ)言：C語(yǔ)言,C++語(yǔ)言機(jī)器學(xué)習(xí)7.1機(jī)器學(xué)習(xí)的基本概念學(xué)習(xí)：一個(gè)有特定目的的知識(shí)獲取過(guò)程學(xué)習(xí)的內(nèi)在行為：獲取知識(shí)、積累經(jīng)驗(yàn)、發(fā)現(xiàn)規(guī)律學(xué)習(xí)的外部表現(xiàn)：改進(jìn)性能、適應(yīng)環(huán)境、實(shí)現(xiàn)系統(tǒng)的自我完善機(jī)器學(xué)習(xí)：計(jì)算機(jī)能模擬人的學(xué)習(xí)行為,自動(dòng)地通過(guò)學(xué)習(xí)獲取知識(shí)和技能,不斷改善性能,實(shí)現(xiàn)自我完善〔1學(xué)習(xí)機(jī)理〔2學(xué)習(xí)方法〔3學(xué)習(xí)系統(tǒng)學(xué)習(xí)系統(tǒng)：能夠在一定程度上實(shí)現(xiàn)機(jī)器學(xué)習(xí)的系統(tǒng)機(jī)器學(xué)習(xí)系統(tǒng)的條件和能力〔1具有適當(dāng)?shù)膶W(xué)習(xí)環(huán)境〔2具有一定的學(xué)習(xí)能力〔3能應(yīng)用學(xué)到的知識(shí)求解問(wèn)題〔4能提高系統(tǒng)的性能機(jī)器學(xué)習(xí)系統(tǒng)的基本模型：機(jī)器學(xué)習(xí)的分類：1、按學(xué)習(xí)方法分類：機(jī)械式學(xué)習(xí)、指導(dǎo)式學(xué)習(xí)、示例學(xué)習(xí)、類比學(xué)習(xí)、解釋學(xué)習(xí)等2、按學(xué)習(xí)能力分類：監(jiān)督學(xué)習(xí)〔有教師學(xué)習(xí),再勵(lì)學(xué)習(xí)〔強(qiáng)化學(xué)習(xí)或增強(qiáng)學(xué)習(xí),非監(jiān)督學(xué)習(xí)〔非監(jiān)督學(xué)習(xí)3、按推理方式分類：基于演繹的學(xué)習(xí)〔解釋學(xué)習(xí),基于歸納的學(xué)習(xí)〔示例學(xué)習(xí)、發(fā)現(xiàn)學(xué)習(xí)等4、按綜合屬性分類：歸納學(xué)習(xí)、分析學(xué)習(xí)、連接學(xué)習(xí)7.2機(jī)械式學(xué)習(xí)〔記憶學(xué)習(xí)實(shí)質(zhì)：用存儲(chǔ)空間來(lái)?yè)Q取處理時(shí)間7.3指導(dǎo)式學(xué)習(xí)〔囑咐式學(xué)習(xí)或教授式學(xué)習(xí)學(xué)習(xí)過(guò)程：1、征詢指導(dǎo)者的指示或建議〔1簡(jiǎn)單征詢〔2復(fù)雜征詢〔3被動(dòng)征詢〔4主動(dòng)征詢2、把征詢意見(jiàn)轉(zhuǎn)換為可執(zhí)行的內(nèi)部形式3、加入知識(shí)庫(kù)〔對(duì)知識(shí)進(jìn)行一致性檢查,防止出現(xiàn)矛盾、冗余、環(huán)路等4、評(píng)價(jià)7.4歸納學(xué)習(xí)歸納推理是從個(gè)別到一般,從部分到整體的推理。歸納推理的重要特征：歸納出的結(jié)論不能絕對(duì)保證它的正確性,只能以某種程度相信它為真。1、枚舉歸納〔從個(gè)別事例歸納出一般性知識(shí)的方法2、聯(lián)想歸納3、類比歸納4、逆推理歸納5、消除歸納由兩個(gè)〔兩類對(duì)象之間在某些方面的相似或相同,推演出他們?cè)谄渌矫嬉蚕嗨苹蛳嗤?；或其中一類?duì)象的某些已知特征,推出另一類對(duì)象也具有這些特征的推理,稱為類比推理〔簡(jiǎn)稱類比。簡(jiǎn)言之,類比推理是由特殊到特殊的推理示例學(xué)習(xí)：又稱為實(shí)例學(xué)習(xí)或從例子中學(xué)習(xí)：通過(guò)從環(huán)境中取得若干與某概念有關(guān)的例子,經(jīng)歸納得出一般性概念的一種學(xué)習(xí)方法。形成知識(shí)的方法〔1變量代換常量〔2舍棄條件〔3增加操作〔4合取變析取〔5歸結(jié)歸納〔6曲線擬合觀察與發(fā)現(xiàn)學(xué)習(xí)：觀察學(xué)習(xí)：用于對(duì)事例進(jìn)行概念聚類,形成概念描述。發(fā)現(xiàn)學(xué)習(xí)：用于發(fā)現(xiàn)規(guī)律,產(chǎn)生定律或規(guī)則。2、發(fā)現(xiàn)學(xué)習(xí)：從系統(tǒng)的初始知識(shí)、觀察事例或經(jīng)驗(yàn)數(shù)據(jù)中歸納出規(guī)律或規(guī)則——無(wú)教師指導(dǎo)的歸納學(xué)習(xí)?！?經(jīng)驗(yàn)發(fā)現(xiàn):從經(jīng)驗(yàn)數(shù)據(jù)中發(fā)現(xiàn)規(guī)律和定律?！?知識(shí)發(fā)現(xiàn):指從已觀察的事例中發(fā)現(xiàn)新的知識(shí)7.5類比學(xué)習(xí)類比推理：由新情況與記憶中的已知情況在某些方面相似,從而推出它們?cè)谄渌嚓P(guān)方面也相似。類比推理的目的：從S中選出與當(dāng)前問(wèn)題最近似的問(wèn)題及其求解方法來(lái)求解當(dāng)前的問(wèn)題,或者建立起目標(biāo)域中已有命題間的聯(lián)系,形成新知識(shí)。推理過(guò)程：〔1回憶與聯(lián)想〔2選擇〔3建立對(duì)應(yīng)關(guān)系〔4轉(zhuǎn)換屬性類比學(xué)習(xí):根據(jù)兩個(gè)相似事物的屬性實(shí)現(xiàn)類比學(xué)習(xí)的。源域和目標(biāo)域都是用框架表示的,分別稱為源框架和目標(biāo)框架?？蚣艿牟塾糜诒硎臼挛锏膶傩浴W(xué)習(xí)過(guò)程:把源框架中的某些槽值傳遞到目標(biāo)框架的相應(yīng)槽中去。轉(zhuǎn)換類比學(xué)習(xí)：由外部環(huán)境獲得與類比有關(guān)的信息,學(xué)習(xí)系統(tǒng)找出與新問(wèn)題相似的舊問(wèn)題的有關(guān)知識(shí),把這些知識(shí)進(jìn)行轉(zhuǎn)換使之適用于新問(wèn)題,從而獲得新的知識(shí)。7.6解釋學(xué)習(xí)解釋學(xué)習(xí)：演繹學(xué)習(xí)方法,是通過(guò)運(yùn)用相關(guān)的領(lǐng)域知識(shí),對(duì)當(dāng)前提供的單個(gè)問(wèn)題求解實(shí)例進(jìn)行分析,從而構(gòu)造解釋并產(chǎn)生相應(yīng)知識(shí)的。解釋學(xué)習(xí)概念：通過(guò)運(yùn)用相關(guān)的領(lǐng)域知識(shí)及一個(gè)訓(xùn)練實(shí)例來(lái)對(duì)某一目標(biāo)概念進(jìn)行學(xué)習(xí),并最終生成這個(gè)目標(biāo)概念的一般性描述。解釋學(xué)習(xí)的一般性描述：給定：領(lǐng)域知識(shí)；目標(biāo)概念；訓(xùn)練實(shí)例；操作性準(zhǔn)則。找出：滿足的關(guān)于的充分條件。7.7機(jī)器學(xué)習(xí)方法的比較與展望〔該章重點(diǎn)以推理能力排列：機(jī)械式學(xué)習(xí),指導(dǎo)式學(xué)習(xí),解釋學(xué)習(xí),類比學(xué)習(xí),示例學(xué)習(xí),觀察與發(fā)現(xiàn)學(xué)習(xí)對(duì)領(lǐng)域理論的要求：示例學(xué)習(xí)、觀察與發(fā)現(xiàn)學(xué)習(xí)：要求較少；解釋學(xué)習(xí)：要求完善的領(lǐng)域知識(shí)適用領(lǐng)域：連接學(xué)習(xí)：模擬人類較低級(jí)的神經(jīng)活動(dòng)；符號(hào)學(xué)習(xí)：模擬人類的高級(jí)思維活動(dòng)知識(shí)獲取角度：示例學(xué)習(xí)、觀察與發(fā)現(xiàn)學(xué)習(xí)：通過(guò)學(xué)習(xí)可以產(chǎn)生新概念描述,可用于專家系統(tǒng)的知識(shí)獲??；解釋學(xué)習(xí)的學(xué)習(xí)目標(biāo)主要是改善系統(tǒng)的效率,而不擴(kuò)充概念描述的范圍；指導(dǎo)式學(xué)習(xí)通過(guò)與指導(dǎo)者〔如領(lǐng)域?qū)＜业慕换W(xué)習(xí)新知識(shí),同時(shí)又可幫助指導(dǎo)追蹤推理過(guò)程,發(fā)現(xiàn)其中的錯(cuò)誤,找出產(chǎn)生錯(cuò)誤的原因,然后由指導(dǎo)者進(jìn)行修正〔本章從7.2—7.6主要用一句話概括一下各種學(xué)習(xí),再掌握一下他們的特征與比較不確定性推理方法不確定性及其類型：隨機(jī)性、模糊性、不完全性、不一致性和時(shí)變性等4.1不確定性推理中的基本概念推理：從已知事實(shí)〔證據(jù)出發(fā),通過(guò)運(yùn)用相關(guān)知識(shí)逐步推出結(jié)論或者證明某個(gè)假設(shè)成立或不成立的思維過(guò)程不確定性推理：從不確定性的初始證據(jù)出發(fā),通過(guò)運(yùn)用不確定性的知識(shí),最終推出具有一定程度的不確定性但卻是合理或者近乎合理的結(jié)論的思維過(guò)程4.2概率方法〔大題產(chǎn)生式規(guī)則：：前提條件,：結(jié)論：在證據(jù)出現(xiàn)的條件下,結(jié)論成立的確定性程度復(fù)合條件：…：在證據(jù)出現(xiàn)時(shí)結(jié)論的確定程度逆概率方法的基本思想：Bayes定理：逆概率原概率單個(gè)證據(jù)的情況：〔掌握Bayes公式例：：結(jié)論,E：證據(jù)已知：求：多個(gè)證據(jù)的情況：擴(kuò)充后的公式：4.3主觀Bayes方法〔重點(diǎn)知識(shí)不確定性的表示：知識(shí)：E：前提條件H：結(jié)論〔LS,LN：規(guī)則強(qiáng)度P<E|S>：對(duì)于初始證據(jù)E,由用戶根據(jù)觀察S給出的概率可信度C<E|S>：對(duì)所提供的證據(jù)可以相信的程度多個(gè)單一證據(jù)的合?。篍=E1ANDE2AND…ANDEn,則組合證據(jù)的概率：多個(gè)單一證據(jù)的析取：E=E1ORE2OR…OREm,則組合證據(jù)的概率：非運(yùn)算：不確定性的傳遞算法：1、證據(jù)肯定存在的情況幾率〔odds函數(shù)：,概率：證據(jù)肯定不存在的情況例設(shè)有如下知識(shí)：求：當(dāng)證據(jù)存在及不存在時(shí),及的值各是多少？〔該例與老師上課給的練習(xí)的例子略有不同,注意了例設(shè)有如下知識(shí)：若依次出現(xiàn),求的值證據(jù)不確定的情況若n條知識(shí)都支持相同的結(jié)論,且每條知識(shí)的前提條件所對(duì)應(yīng)的證據(jù)Ei都有相應(yīng)的觀察Si與之對(duì)應(yīng),則先對(duì)每條知識(shí)分別求出,然后求出：例設(shè)有如下知識(shí)：:已知：,求：4.4可信度方法可信度：根據(jù)經(jīng)驗(yàn)對(duì)一個(gè)事物或現(xiàn)象為真的相信程度,帶有較大的主觀性和經(jīng)驗(yàn)性,準(zhǔn)確性難以把握C—F模型：基于可信度表示的不確定性推理的基本方法知識(shí)不確定性的表示產(chǎn)生式規(guī)則表示：IFETHENH<CF<H,E>>C<H,E>：可信度因子證據(jù)不確定性的表示CF<E>=0.6：E的可信度為0.6,證據(jù)E的可信度取值范圍：[-1,1]若以某種程度為真：則0<CF<E><1；若以某種程度為假：則-1<CF<E><0；若肯定它為真：CF<E>=1；若肯定為假：CF<E>=0；若未獲得任何任何相關(guān)的觀察,則CF<E>=0靜態(tài)強(qiáng)度CF<H,E>：知識(shí)的強(qiáng)度,即當(dāng)E所對(duì)應(yīng)的證據(jù)為真時(shí)對(duì)H的影響程度動(dòng)態(tài)強(qiáng)度CF<E>：證據(jù)E當(dāng)前的不確定性程度3、組合證據(jù)不確定性的算法組合證據(jù)：〔1多個(gè)單一證據(jù)的合取E=E1ANDE2AND…En則CF<E>=min{CF<E1>,CF<E2>,…,CF<n>}〔2多個(gè)單一證據(jù)的析取E=E1ORE2OR…En則CF<E>=max{CF<E1>,CF<E2>,…,CF<En>}不確定性的傳遞方法結(jié)論H的可信度計(jì)算公式：CF<H>=CF<H,E>*max{0,CF<E>},當(dāng)CF<E><0時(shí),則CF<H>=0；當(dāng)CF<E>=1時(shí),則CF<H>=CF<H,E>5、結(jié)論不確定性的合成算法設(shè)知識(shí)：IFE1THENH<CF<H,E1>>；IFE2THENH<CF<H,E2>>〔1分別對(duì)每一條知識(shí)求出CF<H>:例設(shè)有如下一組知識(shí)：r1：IFE1THENH<0.8>；r2：IFE2THENH<0.6>；r3：IFE3THENH<-0.5>；r4：IFE4AND<E5ORE6>THENE1<0.7>；r5：IFE7ANDE8THENE3<0.9>已知：CF<E2>=0.8,CF<E4>=0.5,CF<E5>=0.6,CF<E6>=0.7,CF<E7>=0.6,CF<E8>=0.9求證：CF<H>邏輯程序設(shè)計(jì)語(yǔ)言prolog〔不考程序,考概念和語(yǔ)法的基本組成9.1人工智能語(yǔ)言概述人工智能語(yǔ)言：人工智能語(yǔ)言是一類適應(yīng)于人工智能和知識(shí)工程領(lǐng)域的、具有符號(hào)處理和邏輯推理能力的計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言。能夠用來(lái)編寫(xiě)程序求解非數(shù)值計(jì)算、知識(shí)處理、推理、規(guī)劃、決策等各種復(fù)雜的智能問(wèn)題9.2基本prologPROLOG的語(yǔ)句：參數(shù)種類：整數(shù)〔絕對(duì)值小于某一個(gè)數(shù)的正數(shù)或負(fù)數(shù),原子〔由小寫(xiě)字母開(kāi)頭的字符串,變量〔由大寫(xiě)字母或下劃線〔_開(kāi)頭,結(jié)構(gòu)Prolog字符集包括：大寫(xiě)字母,A-Z；小寫(xiě)字母,a-z；數(shù)字,0-9；+-^,.~:.?#$等事實(shí)常用來(lái)儲(chǔ)存程序所需的數(shù)據(jù)Prolog的程序一般由一組事實(shí)、規(guī)則和問(wèn)題組成,問(wèn)題是程序執(zhí)行的起點(diǎn),稱為程序的目標(biāo)9.3Prolog中的一個(gè)實(shí)例事實(shí)用來(lái)儲(chǔ)存一些數(shù)據(jù),規(guī)則用來(lái)儲(chǔ)存某種可以推理出來(lái)的關(guān)系以小寫(xiě)字符開(kāi)頭的字符串代表確知的事物,以大寫(xiě)字母開(kāi)頭的字符串表示未確定的事物注意：參數(shù)的順序是定義事實(shí)時(shí)需要考慮的一個(gè)重要問(wèn)題9.4Prolog中的簡(jiǎn)單查詢使用Prolog的解釋器調(diào)入程序可以對(duì)事實(shí)進(jìn)行查詢,Prolog的查詢工作是靠模式匹配完成的,查詢的模板叫做目標(biāo),Prolog的模式匹配工作叫做聯(lián)合。?-是解釋器的提示符當(dāng)聯(lián)合成功后,變量的值將和它所匹配的條目的值相同,這叫做變量的綁定,當(dāng)帶變量的目標(biāo)成功的和數(shù)據(jù)庫(kù)中的事實(shí)匹配之后,Prolog將返回變量綁定的值變量可能和多個(gè)條目匹配,Prolog允許查看其