人工智能重點(diǎn)27_第1頁
人工智能重點(diǎn)27_第2頁
人工智能重點(diǎn)27_第3頁
人工智能重點(diǎn)27_第4頁
人工智能重點(diǎn)27_第5頁
已閱讀5頁,還剩29頁未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡介

1、人工智能重重點(diǎn)總結(jié)第一章:發(fā)發(fā)展簡史(此此處為簡答答題)1.人工智智能的萌芽芽(19556年以前前)1936年年,圖靈創(chuàng)創(chuàng)立了自動動機(jī)理論(后后人稱為圖圖靈機(jī)),提提出一個理理論計(jì)算機(jī)機(jī)模型,為為電子計(jì)算算機(jī)設(shè)計(jì)奠奠定了基礎(chǔ)礎(chǔ),促進(jìn)了了人工智能能,特別是是思維機(jī)器器的研究。麥克洛克和和皮茨于11943年年提出“擬擬腦模型”是世界上上第一個神神經(jīng)網(wǎng)絡(luò)模模型(MPP模型),開開創(chuàng)了從結(jié)結(jié)構(gòu)上研究究人類大腦腦的途徑。1948年年維納發(fā)表表控制論論關(guān)于動物物與機(jī)器中中的控制與與通信的科科學(xué),不不但開創(chuàng)了了近代控制制論,而且且為人工智智能的控制制學(xué)派樹立立了里程碑碑。古希臘偉大大的哲學(xué)家家思想家亞亞里士

2、多德德的主要貢貢獻(xiàn)是為形形式邏輯奠奠定了基礎(chǔ)礎(chǔ)。形式邏邏輯是一切切推理活動動的最基本本的出發(fā)點(diǎn)點(diǎn)。在他的的代表作工具論中,就給給出了形式式邏輯的一一些基本規(guī)規(guī)律,如矛矛盾律、排排中律,并并且實(shí)際上上已經(jīng)提到到了同一律律和充足理理由律。此此外亞里士士多得還研研究了概念念、判斷問問題,以及及概念的分分類和概念念之間的關(guān)關(guān)系判斷問問題的分類類和它們之之間的關(guān)系系。其最著著名的創(chuàng)造造就是提出出人人熟知知的三段論論。英國的哲學(xué)學(xué)家、自然然科學(xué)家 Bacoon(培根根)(15561-11626),他他的主要貢貢獻(xiàn)是系統(tǒng)統(tǒng)地給出了了歸納法,成成為和 AAristtotlee 的演繹繹法相輔相相成的思維維法則

3、。BBaconn 另一個個功績是強(qiáng)強(qiáng)調(diào)了知識識的作用。 Baccon 的的著名警句句是知識識就是力量量。德國數(shù)學(xué)家家、哲學(xué)家家 Leiibnittz(萊布布尼茨)(11646-17166),他提提出了關(guān)于于數(shù)理邏輯輯的思想,把把形式邏輯輯符號化,從從而能對人人的思維進(jìn)進(jìn)行運(yùn)算和和推理。他他曾經(jīng)做出出了能進(jìn)行行四則運(yùn)算算的手搖計(jì)計(jì)算機(jī)英國數(shù)學(xué)家家、邏輯學(xué)學(xué)家 Booole(布布爾)(11815-18644),他初初步實(shí)現(xiàn)了了布萊尼茨茨的思維符符號化和數(shù)數(shù)學(xué)化的思思想,提出出了一種嶄嶄新的代數(shù)數(shù)系統(tǒng)-布爾代數(shù)數(shù)。美籍奧地利利數(shù)理邏輯輯學(xué)家Goodel(哥哥德爾)(11906-19788),他證證明

4、了一階階謂詞的完完備性定理理;任何包包含初等數(shù)數(shù)論的形式式系統(tǒng),如如果它是無無矛盾的,那那么一定是是不完備的的。此定理理的意義在在于,人的的思維形式式化和機(jī)械械化的某種種極限,在在理論上證證明了有些些事是做不不到的。英國數(shù)學(xué)家家 Turring(圖靈)(11912-19544),19936 年年提出了一一種理想計(jì)計(jì)算機(jī)的數(shù)數(shù)學(xué)模型(圖圖靈機(jī)),11950 年提出了了圖靈試驗(yàn)驗(yàn),發(fā)表了了計(jì)算機(jī)機(jī)與智能的論文。當(dāng)今世界界上計(jì)算機(jī)機(jī)科學(xué)最高高榮譽(yù)獎勵勵為圖靈靈獎。名名詞解釋:名詞解釋釋:圖靈試試驗(yàn)。當(dāng)一一個人與一一個封閉房房間里的人人或者機(jī)器器交談時,如如果他不能能分辨自己己問題的回回答是計(jì)算算機(jī)還

5、是人人給出時,則則稱該機(jī)器器是具有智智能的。以以往該試驗(yàn)驗(yàn)幾乎是衡衡量機(jī)器人人工智能的的唯一標(biāo)準(zhǔn)準(zhǔn),但是從從九十年代代開始,現(xiàn)現(xiàn)代人工智智能領(lǐng)域的的科學(xué)家開開始對此試試驗(yàn)提出異異議:反對對封閉式的的,機(jī)器完完全自主的的智能;提提出與外界界交流的,人人機(jī)交互的的智能。美國數(shù)學(xué)家家Maucchly,11946 發(fā)明了電電子數(shù)字計(jì)計(jì)算機(jī) EENIACC 美國神經(jīng)生生理學(xué)家 McCuullocch,建立立了第一個個神經(jīng)網(wǎng)絡(luò)絡(luò)數(shù)學(xué)模型型。從某種種意義上可可以說近代代人工智能能的發(fā)展, 首先是從從人工神 經(jīng)網(wǎng)絡(luò)研研究開始的的。但是由由于某種原原因,神經(jīng)經(jīng)網(wǎng)絡(luò)的研研究一度進(jìn)進(jìn) 入低潮潮。詳細(xì)內(nèi)內(nèi)容參見第第六

6、章人人工神經(jīng)元元網(wǎng)絡(luò) 美國數(shù)學(xué)學(xué)家 Shhannoon(香農(nóng)農(nóng)),19948 年年發(fā)表了通訊的數(shù)數(shù) 學(xué)理論論 ,標(biāo)標(biāo)志著信信息論的的誕生。美國數(shù)學(xué)家家、計(jì)算機(jī)機(jī)科學(xué)家 McCaarthyy,人工智智能的早期期 研究者者。19556 年,他他和其他一一些學(xué)者聯(lián)聯(lián)合發(fā)起召召開了世界界上第 一一次人工智智能學(xué)術(shù)大大會,在他他的提議下下,會上正正式?jīng)Q定使使用人工 智能這個個詞來概括括這個研究究方向。 參加大會會的有 MMinskky, RRocheesterr, Shhannoon, MMooree, Saamuell, Seelfriidge, Sollomonnff, Simoon, NNewel

7、ll 等數(shù)數(shù)學(xué)家、 心理學(xué)家家、 神經(jīng)經(jīng)生 理學(xué)學(xué)家、計(jì)算算機(jī)科學(xué)家家。McCCarthhy 也被被尊為人人工智能之之父。2.人工智智能的形成成(19556-19969年)費(fèi)根鮑姆于于19688年研究成成功第一個個專家系統(tǒng)統(tǒng)DENDDRAL,用用于質(zhì)譜儀儀分析有機(jī)機(jī)化合物的的分子結(jié)構(gòu)構(gòu)。1969年年召開了第第一屆國際際人工智能能會議,標(biāo)標(biāo)志著人工工智能作為為一門獨(dú)立立學(xué)科登上上國際學(xué)術(shù)術(shù)舞臺。1970年年人工智智能國際雜雜志創(chuàng)刊刊。 50年年代初開始始有了符號號處理,搜搜索法產(chǎn)生生。人工智智能的基本本方法是邏邏輯法和搜搜索法。最最初的搜索索應(yīng)用于機(jī)機(jī)器翻譯、機(jī)器定理理證明、跳跳棋程序等等。 6

8、0年代代Simoon由試驗(yàn)驗(yàn)得到結(jié)論論:人類問問題的求解解是一個搜搜索的過程程,效果與與啟發(fā)式函函數(shù)有關(guān)。敘述了智智能系統(tǒng)的的特點(diǎn):智智能表示、智能推理理、智能搜搜索。 Nillson發(fā)發(fā)表了A* 算法(搜搜索方法) McCarthy建立了人工智能程序設(shè)計(jì)語言Lisp 1965年Robinson提出了歸結(jié)原理。 1968年Quillian提出了語義網(wǎng)絡(luò)的知識表示方法 1969年Minsky出了一本書感知機(jī),給當(dāng)時的神經(jīng)網(wǎng)絡(luò)研究結(jié)果判了死刑3.人工智智能的發(fā)展展(19770年以后后)費(fèi)根鮑姆11972-19766年成功開開發(fā)MYCCIN醫(yī)療療專家系統(tǒng)統(tǒng),用于抗抗生素藥物物治療1987年年在美國召

9、召開第一屆屆神經(jīng)網(wǎng)絡(luò)絡(luò)國際會議議,并發(fā)起起成立國際際神經(jīng)網(wǎng)絡(luò)絡(luò)學(xué)會(IINNS)1989年年首次召開開了中國人人工控制聯(lián)聯(lián)合會議(CCJCAII) 70年年代,人工工智能開始始從理論走走向?qū)嵺`,解解決一些實(shí)實(shí)際問題。同時很快快就發(fā)現(xiàn)問問題:歸結(jié)結(jié)法費(fèi)時、下棋贏不不了全國冠冠軍、機(jī)器器翻譯一團(tuán)團(tuán)糟。此時時,以Feeigennbaumm為首的一一批年輕科科學(xué)家改變變了戰(zhàn)略思思想,19977年提提出了知識識工程的概概念,開展展了以知識識為基礎(chǔ)的的專家咨詢詢系統(tǒng)研究究與應(yīng)用。著名的專專家系統(tǒng)有有:DENNDRALL化學(xué)分析析專家系統(tǒng)統(tǒng)(斯坦福福大學(xué)19968);MACCSYMAA符號數(shù)學(xué)學(xué)專家系統(tǒng)統(tǒng)(

10、麻省理理工19771);MYCCIN診斷斷和治療細(xì)細(xì)菌感染性性血液病的的專家咨詢詢系統(tǒng)(斯斯坦福大學(xué)學(xué)19733);CASSNET(Caussal AASsciiatioonal Netwwork)診斷和治治療青光眼眼的專家咨咨詢系統(tǒng)(拉拉特格爾斯斯(Ruttgerss)大學(xué)700年代中);CADDUCEUUS(原名名INTEERNISST)醫(yī)療療咨詢系統(tǒng)統(tǒng)(匹茲堡堡大學(xué));HEAARSAYY I 和和II語音理理解系統(tǒng)(卡卡內(nèi)基-梅隆大學(xué)學(xué));PROSSPECTTOR地質(zhì)質(zhì)勘探專家家系統(tǒng)(斯斯坦福大學(xué)學(xué)19766);XCOON計(jì)算機(jī)機(jī)配置專家家系統(tǒng)(卡卡內(nèi)基-梅隆大學(xué)學(xué)19788)。應(yīng)應(yīng)該說

11、,知知識工程和和專家系統(tǒng)統(tǒng)是近十余余年來人工工智能研究究中最有成成就的分支支之一。 80年代代,人工智智能發(fā)展達(dá)達(dá)到階段性性的頂峰。87,889年世界界大會有667千人參加加。硬件公公司有上千千個。Liisp硬件件、Lissp機(jī)形成成產(chǎn)品。同同時,在專專家系統(tǒng)及及其工具越越來越商品品化的過程程中,國際際軟件市場場上形成了了一門旨在在生產(chǎn)和加加工知識的的新產(chǎn)業(yè)-知識產(chǎn)產(chǎn)業(yè)。 同年代,11986年年Rumllhartt領(lǐng)導(dǎo)的并并行分布處處理研究小小組提出了了神經(jīng)元網(wǎng)網(wǎng)絡(luò)的反向向傳播學(xué)習(xí)習(xí)算法,解解決了神經(jīng)經(jīng)網(wǎng)絡(luò)分類類能力有限限這一根本本問題。從從此,神經(jīng)經(jīng)網(wǎng)絡(luò)的研研究進(jìn)入新新的高潮。 90年代代,

12、計(jì)算機(jī)機(jī)發(fā)展趨勢勢為小型化化、并行化化、網(wǎng)絡(luò)化化、智能化化。人工智智能技術(shù)逐逐漸與數(shù)據(jù)據(jù)庫、多媒媒體等主流流技術(shù)相結(jié)結(jié)合,并融融合在主流流技術(shù)之中中,旨在使使計(jì)算機(jī)更更聰明、更更有效、與與人更接近近。二、三大學(xué)學(xué)派:1、符號主主義(Syymbollicissm),又又稱為邏輯輯主義(LLogiccism)、心理學(xué)學(xué)派(Pssychllogissm)或計(jì)計(jì)算機(jī)學(xué)派派(Commputeerismm),其原原理主要為為物理符號號系統(tǒng)(即即符號操作作系統(tǒng))假假設(shè)和有限限合理性原原理。符號主義學(xué)學(xué)派認(rèn)為: 人工工智能源于于數(shù)學(xué)邏輯輯。代表性成果果: 是啟啟發(fā)式程序序LT邏輯輯理論家,證證明了388條數(shù)學(xué)

13、定定理,表明明我們可以以應(yīng)用計(jì)算算機(jī)研究人人的思維過過程,模擬擬人類智能能活動。代表人物:紐厄爾、肖西蒙蒙和尼爾遜遜。2、聯(lián)結(jié)主主義(Coonnecctionnism),又稱為為仿生學(xué)派派(Bioonicssism)或生理學(xué)學(xué)派(Phhysioologiism),其其原理主要要為神經(jīng)網(wǎng)網(wǎng)絡(luò)及神經(jīng)經(jīng)網(wǎng)絡(luò)間的的連接機(jī)制制與學(xué)習(xí)算算法。這一學(xué)派認(rèn)認(rèn)為: 人工智能能源于仿生生學(xué),特別別是人腦模模型的研究究代表性成果果: 19443年由麥麥克洛奇和和皮茲提出出的形式化化神經(jīng)元模模型,即MM-P模型型代表人物: 麥麥克洛奇、皮茲、霍普菲爾爾特、魯梅爾哈哈特3、行為主主義(Acctionnism),又稱進(jìn)進(jìn)

14、化主義(Evollutioonismm)或控制制論學(xué)派(Cybeernetticsiism),其其原理為控控制論。這一學(xué)派認(rèn)認(rèn)為: 人工智能能源于控制制論代表性成果果: 布魯克克斯的六足足機(jī)器人,它它被看做新新一代的“控制論動動物”,是是一個基于于感知動作模式式的模擬昆昆蟲行為的的控制系統(tǒng)統(tǒng)。代表人物: 布魯克克斯第二章 知知識表示狀態(tài)空間(在在搜索那里里考一個大大題)了解個三元元狀態(tài)(SS,F(xiàn),G),其中中S:初始狀狀態(tài)集, F:操作作符集合G:目標(biāo)狀狀態(tài)集合(這這里只用了了解個大概概就可以了了,詳細(xì)在在搜索部分分介紹)問題歸約(只只考一個名名詞解釋)解樹:由可可解節(jié)點(diǎn)構(gòu)構(gòu)成,并且且由這些可

15、可解節(jié)點(diǎn)可可推出初始始節(jié)點(diǎn)(對對應(yīng)初始問問題)為可可解節(jié)點(diǎn)的的子樹稱為為解樹謂詞表示法法(會在第第二道大題題中考4-5個應(yīng)用用)用謂詞公式式表示知識識時,需要要首先定義義謂詞,然然后再用連連接詞把有有關(guān)的謂詞詞連接起來來,形成一一個謂詞公公式表達(dá)一一個完整的的意義。例題 設(shè)有有下列知識識: 劉歡比他他父親出名名。 高揚(yáng)是計(jì)計(jì)算機(jī)系的的一名學(xué)生生,但他不不喜歡編程程 。 為為了用謂詞詞公式表示示上述知識識,首先需需要定義謂謂詞: BBIGGEER(x,y) : xx比y出名 CCOMPUUTER ( x ) : x 是計(jì)計(jì)算機(jī)系的的 LLIKE (x, y ) : x 喜歡 y解答:此時時可用謂

16、詞詞公式把上上述知識表表示為: EQ oac(,1) BIGGGER ( liiuhuaan, ffatheer ( liuhhuan )(個個人覺得那那個fatther函數(shù)最好也也定義下,保保險(xiǎn)一點(diǎn)) EQ oac(,2)COMPPUTERR(gaooyangg)LIKKE(gaaoyanng, pprogrraminng)總結(jié):(上上面的例題題應(yīng)該就是是考試的形形式)首先必須知知道什么是是合取、析析取、蘊(yùn)含含、否定以以及兩種量量詞的用法法全稱量詞后后面跟蘊(yùn)含含,存在量量詞后面跟跟合取必須先定義義(切記),再表示。一般步驟為1提取謂謂詞,使用用類似于 P(x,y):謂詞詞內(nèi)容 的格式定定義謂

17、詞2用連接接詞和量詞詞加以表示示D)置換和和合一那會會用就OKK了。只會會在歸結(jié)演演繹推理那那塊最后的的證明時用用一下,不不理解的話話看那個“黃書”PP81中那那個反演樹樹里用到的的置換。語義網(wǎng)絡(luò)(會會考畫圖題題)只考二元關(guān)關(guān)系網(wǎng)絡(luò)例題 小燕燕是一只燕燕子,燕子子是鳥;巢巢-1是小燕燕的巢,巢巢-1是巢中中的一個。”注意:語義網(wǎng)絡(luò)中中不會考量量詞、繼承承、匹配就根據(jù)題目目所描述的的寫,不要要蛋疼的寫寫什么小明明 ISAA 人 ISAA 動物 ISSA 生物物 題目上怎怎么說怎么么寫就可以以(老師原原話) 框架表示(只只有概念題題)1框架:我們無法法把過去的的經(jīng)驗(yàn)一一一都存在腦腦子里,而而只能以

18、一一個通 用的的數(shù)據(jù)結(jié)構(gòu)構(gòu)的形式存存儲以往的的經(jīng)驗(yàn)。這這樣的數(shù)據(jù)據(jù)結(jié)構(gòu)稱為為 框架架2框架的的構(gòu)成:框架通常由由描述事物物的各個方方面的槽組組成,每個個槽可以擁擁有若干個側(cè)面,而而每個側(cè)面面又可擁有有若干個值值。一個框框架的一般般結(jié)構(gòu)如下: 3一個框框架系統(tǒng)(我我覺得應(yīng)該該不會考這這個,保險(xiǎn)險(xiǎn)起見所以以放上來了了)下圖所示示為表示立立方 體的一個個視圖的框框架。圖中中,最高層層的框架,用用isa槽說說明它是一一個立方體體,并由rregioon槽指示示出它所擁擁有的3個可見面面A、B、E。而A、B、E又分別用用3個框架來來具體描述述。用muust bbe槽指示示出它們必必須是一個個平行四邊邊形。

19、為了了能從各個個不同的角角度來描述述物體,可可以對不同同角度的視視圖分別建建立框架,然然后再把它它們聯(lián)系起起來組成一一個框架系系統(tǒng)。下圖圖所示的就就是從3個不同的的角度來研研究一個立立方體的例例子 6.過程、劇本表示示不考第三章經(jīng)經(jīng)典邏輯推推理3.1歸結(jié)結(jié)演繹推理理(問題求求解&證明)定理證明即即證明PQ(PPQ)的永真真性。根據(jù)據(jù)反證法,只只要證明其其否定(PPQ) 不可滿足足性即可。海伯倫(HHerbrrand)定理為自自動定理證證明奠定了了理論基礎(chǔ)礎(chǔ);魯濱遜遜(Robbinsoon)提出出的歸結(jié)原原理使機(jī)器器定理證明明成為現(xiàn)實(shí)實(shí)。在謂詞邏輯輯中,把原原子謂詞公公式及其否否定統(tǒng)稱為為文字。

20、如如:P(xx), P(xx,f(xx), Q(x,g(x) ,任何文字字的析取式式稱為子句句,不包含含任何文字字的子句稱稱為空子句句。 3.1.11化簡子句句集(1) 合合取范式:C1 C2 C3 Cn (2) 子子句集: S= C1 ,C2 ,C3 ,Cn(3)任任何謂詞公公式F都可通過過等價(jià)關(guān)系系及推理規(guī)規(guī)則化為相相應(yīng)的子句句集S。 子句集的的性質(zhì):(1)子句句集中子句句之間是合合取關(guān)系。(2)子句句集中的變變元受全稱稱量詞的約約束。把謂詞公式式化成子句句集的步驟驟:利用等價(jià)關(guān)關(guān)系消去“”和“” 例如公式式可等價(jià)變變換成利用等價(jià)關(guān)關(guān)系把“”移到緊緊靠謂詞的的位置上上式經(jīng)等等價(jià)變換后后 重

21、新命名變變元,使不不同量詞約約束的變元元有不同的的名字上式經(jīng)變變換后消去存在量量詞a.存在在量詞不出出現(xiàn)在全稱稱量詞的轄轄域內(nèi),則則只要用一一個新的個個體常量替替換受該量量詞約束的的變元。b.存在在量詞位于于一個或者者多個全稱稱量詞的轄轄域內(nèi),此此時要用SSkoleem函數(shù)f(xx1,x2,xxn)替換受該該存在量詞詞約束的變變元。上式中存存在量詞($y)及($z)都位于于(x)的轄域域內(nèi),所以以需要用SSkoleem函數(shù)替替換,設(shè)替替換y和z的Skollem函數(shù)數(shù)分別是ff(x)和和g(x),則替換換后得到把全稱量詞詞全部移到到公式的左左邊利用等價(jià)關(guān)關(guān)系把公式式化為Skkolemm標(biāo)準(zhǔn)形Sk

22、oleem標(biāo)準(zhǔn)形形的一般形形式是其中,M是是子句的合合取式,稱稱為Skoolem標(biāo)標(biāo)準(zhǔn)形的母母式。上式式化為Skkolemm標(biāo)準(zhǔn)形后后得到:消去全稱量量詞對變元更名名,使不同同子句中的的變元不同同名.上式化為為消去合取詞詞,就得到到子句集3.1.22替換的定定義推論1 設(shè)設(shè)C1與C2是子句集集S中的兩個個子句,CC12是它們們的歸結(jié)式式。若用CC12代替C1和C2后得到新新子句集SS1,則由S1的不可滿滿足性可推推出原子句句集S的不可滿滿足性,即即:S1的不可可滿足性SS的不可滿滿足性推論2 設(shè)設(shè)C1與C2是子句集集S中的兩個個子句,CC12是它們們的歸結(jié)式式。若把CC12加入S中得到新新子句

23、集SS2,則S與S2在不可滿滿足的意義義上是等價(jià)價(jià)的,即:S2的不可可滿足性SS的不可滿滿足性推論1及推推論2保證了我我們可以用用歸結(jié)的方方法來證明明子句集SS的不可滿滿足性。為了要證明明子句集SS的不可滿滿足性,只只要對其中中可進(jìn)行歸歸結(jié)的子句句進(jìn)行歸結(jié)結(jié),并把歸歸結(jié)式加入入子句集SS,或者用用歸結(jié)式替替換它的親親本子句,然后對新子句集(S1或者S2)證明不可滿足性就可以了。如果經(jīng)過歸結(jié)能得到空子句,則立即可得原子句集S是不可滿足的結(jié)論。在命題邏輯輯中,對不不可滿足的的子句集SS,歸結(jié)原原理是完備備的。即,若若子句集不不可滿足,則則必然存在在一個從SS到空子句句的歸結(jié)演演繹;若存存在一個從從

24、S到空子句句的歸結(jié)演演繹,則SS一定是不不可滿足的的。3.1.33歸結(jié)命題邏輯中中的歸結(jié)原原理定義4.99 若P是原子謂謂詞公式,則則稱P與P為互補(bǔ)補(bǔ)文字。在在命題邏輯輯中,P為命題。定義4.110 設(shè)C1與C2是子句集集中的任意意兩個子句句。如果CC1中的文字字L1與C2中文字L2互補(bǔ),那那么從C1和C2中分別消消去L1和L2,并將兩兩個子句中中余下的部部分析取,構(gòu)構(gòu)成一個新新子句C12,則稱稱這一過程程為歸結(jié)。稱C12為C1和C2的歸結(jié)式式,C1和C2為C12的親本本子句。例4.9 設(shè)C1=PQ, CC2=QR, CC3=PC1與C22歸結(jié)得到到:C12=PPRC12與CC3歸結(jié)得到到:C

25、123=RR謂詞邏輯中中的歸結(jié)原原理在謂詞邏輯輯中,由于于子句中含含有變元,所所以不能像像命題邏輯輯那樣直接接消去互補(bǔ)補(bǔ)文字,而而需要先用用最一般合合一對變元元進(jìn)行代換換,然后才才能進(jìn)行歸歸結(jié)。例如,設(shè)有有兩個子句句C1=P(x)Q(x), C22= PP(a)R(y)由于P(xx)與P(a)不同,所所以C1與C2不能直接接進(jìn)行歸結(jié)結(jié)。但是若若用最一般般合一=a/x對兩個子句句分別進(jìn)行行代換:C1 =P(a)Q(a) C2 = PP(a)R(y)就可對它們們進(jìn)行歸結(jié)結(jié),得到歸歸結(jié)式:Q(a)R(y)歸結(jié)反演及及其示例*如欲證明QQ為P1,P2,PPn的邏輯結(jié)結(jié)論,只需需證(P1PP2Pn)Q是

26、不可滿足足的,或證證明其子句句集是不可可滿足的。而子句集集的不可滿滿足性可用用歸結(jié)原理理來證明。應(yīng)用歸結(jié)原原理證明定定理的過程程稱為歸結(jié)結(jié)反演。設(shè)F為已知知前提的公公式集,QQ為目標(biāo)公公式(結(jié)論),用歸結(jié)結(jié)反演證明明Q為真的步步驟是:否定Q,得得到Q;把Q并入入到公式集集F中,得到到F, Q;把公式集F, Q化為為子句集SS;應(yīng)用歸結(jié)原原理對子句句集S中的子句句進(jìn)行歸結(jié)結(jié),并把每每次歸結(jié)得得到的歸結(jié)結(jié)式都并入入S中。如此此反復(fù)進(jìn)行行,若出現(xiàn)現(xiàn)了空子句句,則停止止歸結(jié),此此時就證明明了Q為真。例4.122 已知求證:G是是F的邏輯結(jié)結(jié)論。證明:首先先把F和G化為子子句集:然后進(jìn)行歸歸結(jié):(6)A

27、A(x,yy)B(yy)由(1)與(3)歸結(jié)結(jié),f(x)/zz(7)BB(b)由(4)與(6)歸結(jié)結(jié),a/x,b/y(8)NIIL由(5)與(7)歸結(jié)結(jié)所以G是FF的邏輯結(jié)結(jié)論。上述歸結(jié)過過程如下圖圖歸結(jié)樹所所示。應(yīng)用歸結(jié)原原理求取問問題的答案案及其示例例歸結(jié)時,并并不要求把把子句集中中所有的子子句都用到到。在歸結(jié)過程程中,一個個子句可以以多次被用用來進(jìn)行歸歸結(jié)。求解的步驟驟:把已知前提提用謂詞公公式表示出出來,并且且化為相應(yīng)應(yīng)的子句集集。設(shè)該子子句集的名名字為S。把待求解的的問題也用用謂詞公式式表示出來來,然后把把它否定并并與謂詞AAnsweer構(gòu)成析析取式。AAnsweer是一個個為了求解

28、解問題而專專設(shè)的謂詞詞。把此析取式式化為子句句集,并且且把該子句句集并入到到子句集SS中,得到到子句集SS。對S應(yīng)用用歸結(jié)原理理進(jìn)行歸結(jié)結(jié)。若得到歸結(jié)結(jié)式Ansswer,則則答案就在在Answwer中。例4.166 設(shè)A,B,C三人中中有人從不不說真話,也也有人從不不說假話。某人向這這三人分別別提出同一一個問題:誰是說謊謊者?A答:“B和C都是說謊謊者”;B答:“A和C都是說謊謊者”;C答:“A和B中至少有有一個是說說謊者”。求誰是是老實(shí)人,誰誰是說謊者者?解:設(shè)用TT(x)表表示x說真話。T(C)T(A)T(B)T(C)T(AA)T(BB)T(A)T(BB)T(CC)T(A)T(BB)T(C

29、)T(B)T(AA)T(CC)T(B)T(AA)T(C)T(C)T(AA)T(BB)T(C)T(AA)T(B)把上述公式式化成子句句集,得到到S:(1)TT(A)T(BB)(2)TT(A)T(CC)(3)T(C)T(A)T(B)(4)TT(B)T(CC)(5)TT(C)T(AA)T(BB)(6) TT(A)T(C)(7)T(B)T(C)下面先求誰誰是老實(shí)人人。把TT(x)Anseewer(x)并入入S得到S1。即多一一個子句:(8)TT(x)Anseewer(x)應(yīng)用歸結(jié)原原理對S11進(jìn)行歸結(jié)結(jié):(9)TT(A)T(C)(1)和(7)歸結(jié)結(jié)(10)TT(C) (6)和(9)歸結(jié)結(jié)(11)AAn

30、sewwer(CC)(8)和(10)歸結(jié)所以C是老老實(shí)人,即即C從不說假假話。下面證明AA不是老實(shí)實(shí)人,即證證明T(A)。對T(AA)進(jìn)行否否定,并入入S中,得到到子句集SS2,即S2比S多如下子子句:(8)(T(AA), 即T(A)應(yīng)用歸結(jié)原原理對S2進(jìn)行歸結(jié)結(jié):(9)TT(A)T(C) (1)和(7)歸結(jié)結(jié)(10)T(A) (2)和(9)歸結(jié)結(jié)(11)NNIL (8)和(10)歸結(jié)所以A不是是老實(shí)人。同樣可以以證明B也不是老老實(shí)人。應(yīng)用歸結(jié)原原理的練習(xí)習(xí)設(shè)已知: (1)如果果x是y的父親,yy是z的父親,則則x是z的祖父; (2)每個個人都有一一個父親。 試用歸結(jié)演演繹推理證證明:對于于某

31、人u,一定存存在一個人人v,v是u的祖父。 張某被盜,公公安局派出出五個偵察察員去調(diào)查查。研究案案情時,偵偵察員 AA 說“趙與錢中中至少有一一人作案”;偵察員員 B 說“錢與孫中中至少有一一人作案”;偵察員員 C 說“孫與李中中至少有一一人作案”;偵察員員 D 說“趙與孫中中至少有一一人與此案案無關(guān)”;偵察員員 E 說“錢與李中中至少有一一人與此案案無關(guān)”。如果這這五個偵察察員的話都都是可信的的,試用歸歸結(jié)演繹推推理求出誰誰是盜竊犯犯。3.2不確確定性-只考模糊糊理論簡單模糊推推理知識中只含含有簡單條條件,且不不帶可信度度因子的模模糊推理稱稱為簡單模模糊推理。合成推理規(guī)規(guī)則:對于于知識IF

32、xx is A THENN y iss B首先構(gòu)造出出A與B之間的模模糊關(guān)系RR,然后通通過R與證據(jù)的的合成求出出結(jié)論。如果已知證證據(jù)是x is A且A與A可以模糊糊匹配,則則通過下述述合成運(yùn)算算求取B:B=AR如果已知證證據(jù)是y is B且B與B可以模糊糊匹配,則則通過下述述合成運(yùn)算算求出A:A=RB模糊集的運(yùn)運(yùn)算模糊集上的的運(yùn)算主要要有:包含含、交、并并、補(bǔ)等等等。包含運(yùn)算定義2.114 設(shè)A,BF(U),若若對任意uuU,都有B(u)A(u)成立,則稱稱A包含B,記為 。交、并、補(bǔ)補(bǔ)運(yùn)算定義2.115 設(shè)A,BF(U),以以下為扎德德算子例2.9 設(shè)U=u1,u2,u3,A=0.33/u

33、1+0.88/u2+0.66/u3B=0.66/u1+0.44/u2+0.77/u3則:AB=(0.30.6)/u1+(0.80.4)/u2+(0.60.7)/u3 =0.3/u1+0.44/u2+0.66/u3 AB=(0.30.6)/u1+(0.80.4)/u2+(0.60.7)/u3 =0.6/u1+0.88/u2+0.77/u3 A=(11-0.33)/u1+(1-0.8)/u2+(1-0.6)/u3 =0.7/u1+0.22/u2+0.44/u33.3搜索索-廣度優(yōu)優(yōu)先、深度度優(yōu)先、全全局擇優(yōu)三三選一狀態(tài)空間的的一些基本本概念很多問題的的求解過程程都可以看看作是一個個搜索過程程。問題

34、及及其求解過過程可以用用狀態(tài)空間間表示法來來表示。狀態(tài)空間用用“狀態(tài)”和“算符符”來表示示問題。狀態(tài)狀態(tài)用以描描述問題在在求解過程程中不同時時刻的狀態(tài)態(tài),一般用用一個向量量表示:SK=(SSk0,SSk1,)算符使問題從一一個狀態(tài)轉(zhuǎn)轉(zhuǎn)變?yōu)榱硪灰粋€狀態(tài)的的操作稱為為算符。在在產(chǎn)生式系系統(tǒng)中,一一條產(chǎn)生式式規(guī)則就是是一個算符符。狀態(tài)空間由所有可能能出現(xiàn)的狀狀態(tài)及一切切可用算符符所構(gòu)成的的集合稱為為問題的狀狀態(tài)空間。采用狀態(tài)空空間求解問問題,可以以用下面的的一個三元元組表示:(S,F,G)其中S是問問題初始狀狀態(tài)的集合合;F是算符的的集合;GG是目標(biāo)狀狀態(tài)的集合合。采用狀態(tài)空空間表示方方法,首先先要

35、把問題題的一切狀狀態(tài)都表示示出來,其其次要定義義一組算符符。問題的求解解過程是一一個不斷把把算符作用用于狀態(tài)的的過程。如如果在使用用某個算符符后得到的的新狀態(tài)是是目標(biāo)狀態(tài)態(tài),就得到到了問題的的一個解。這個解就就是從初始始狀態(tài)到目目標(biāo)狀態(tài)所所采用算符符的序列。使用算符符最少的解解稱為最優(yōu)優(yōu)解。對任何一個個狀態(tài),可可使用的算算符可能不不止一個。這樣由一一個狀態(tài)所所生成的后后繼狀態(tài)就就可能有多多個。此時時首先對哪哪一個狀態(tài)態(tài)進(jìn)行操作作,就取決決于搜索策策略。OPEN表表和CLOOSE表OPEN表表用于存放放剛生成的的節(jié)點(diǎn)。對對于不同的的搜索策略略,節(jié)點(diǎn)在在OPENN表中的排排列順序是是不同的。CLO

36、SEE表用于存存放將要擴(kuò)擴(kuò)展的節(jié)點(diǎn)點(diǎn)。對一個個節(jié)點(diǎn)的擴(kuò)擴(kuò)展是指:用所有可可適用的算算符對該節(jié)節(jié)點(diǎn)進(jìn)行操操作,生成成一組子節(jié)節(jié)點(diǎn)搜索的一般般過程把初始節(jié)點(diǎn)點(diǎn)S0放入OPEEN表,并并建立目前前只包含SS0的圖,記記為G;檢查OPEEN表是否否為空,若若為空則問問題無解,退退出;把OPENN表的第一一個節(jié)點(diǎn)取取出放入CCLOSEE表,并計(jì)計(jì)該節(jié)點(diǎn)為為n;考察節(jié)點(diǎn)nn是否為目目標(biāo)節(jié)點(diǎn)。若是,則則求得了問問題的解,退退出;擴(kuò)展節(jié)點(diǎn)nn,生成一一組子節(jié)點(diǎn)點(diǎn)。把其中中不是節(jié)點(diǎn)點(diǎn)n先輩的那那些子節(jié)點(diǎn)點(diǎn)記做集合合M,并把這這些子節(jié)點(diǎn)點(diǎn)作為節(jié)點(diǎn)點(diǎn)n的子節(jié)點(diǎn)點(diǎn)加入G中;針對M中子子節(jié)點(diǎn)的不不同情況,分分別進(jìn)行如如

37、下處理:對于那些未未曾在G中出現(xiàn)過過的M成員設(shè)置置一個指向向父節(jié)點(diǎn)(即即節(jié)點(diǎn)n)的指針針,并把它它們放入OOPEN表表;(不在在OPENN表)對于那些先先前已經(jīng)在在G中出現(xiàn)過過的M成員,確確定是否需需要修改它它指向父節(jié)節(jié)點(diǎn)的指針針;(在OOPEN表表中)對于那些先先前已在GG中出現(xiàn)并并且已經(jīng)擴(kuò)擴(kuò)展了的MM成員,確確定是否需需要修改其其后繼節(jié)點(diǎn)點(diǎn)指向父節(jié)節(jié)點(diǎn)的指針針;(在CCLOSEE表中)按某種搜索索策略對OOPEN表表中的節(jié)點(diǎn)點(diǎn)進(jìn)行排序序;轉(zhuǎn)第2步。一些說明一個節(jié)點(diǎn)經(jīng)經(jīng)一個算符符操作后一一般只生成成一個子節(jié)節(jié)點(diǎn)。但適適用于一個個節(jié)點(diǎn)的算算符可能有有多個,此此時就會生生成一組子子節(jié)點(diǎn)。這這些子

38、節(jié)點(diǎn)點(diǎn)中可能有有些是當(dāng)前前擴(kuò)展節(jié)點(diǎn)點(diǎn)的父節(jié)點(diǎn)點(diǎn)、祖父節(jié)節(jié)點(diǎn)等,此此時不能把把這些先輩輩節(jié)點(diǎn)作為為當(dāng)前擴(kuò)展展節(jié)點(diǎn)的子子節(jié)點(diǎn)。一個新生成成的節(jié)點(diǎn),它它可能是第第一次被生生成的節(jié)點(diǎn)點(diǎn),也可能能是先前已已作為其它它節(jié)點(diǎn)的子子節(jié)點(diǎn)被生生成過,當(dāng)當(dāng)前又作為為另一個節(jié)節(jié)點(diǎn)的子節(jié)節(jié)點(diǎn)被再次次生成。此此時,它究究竟應(yīng)選擇擇哪個節(jié)點(diǎn)點(diǎn)作為父節(jié)節(jié)點(diǎn)?一般般由原始節(jié)節(jié)點(diǎn)到該節(jié)節(jié)點(diǎn)的代價(jià)價(jià)來決定,處處于代價(jià)小小的路途上上的那個節(jié)節(jié)點(diǎn)就作為為該節(jié)點(diǎn)的的父節(jié)點(diǎn)。在搜索過程程中,一旦旦某個被考考察的節(jié)點(diǎn)點(diǎn)是目標(biāo)節(jié)節(jié)點(diǎn)就得到到了一個解解。該解是是由從初始始節(jié)點(diǎn)到該該目標(biāo)節(jié)點(diǎn)點(diǎn)路徑上的的算符構(gòu)成成。如果在搜索索中一直找找不到目標(biāo)

39、標(biāo)節(jié)點(diǎn),而而且OPEEN表中不不再有可供供擴(kuò)展的節(jié)節(jié)點(diǎn),則搜搜索失敗。通過搜索得得到的圖稱稱為搜索圖圖,搜索圖圖是狀態(tài)空空間圖的一一個子集。由搜索圖圖中的所有有節(jié)點(diǎn)及反反向指針?biāo)鶚?gòu)成的集集合是一棵棵樹,稱為為搜索樹。根據(jù)搜索索樹可給出出問題的解解。盲目搜索廣度優(yōu)先搜搜索廣度優(yōu)先搜搜索按照“先擴(kuò)展出出的節(jié)點(diǎn)先先被考察”的原則進(jìn)進(jìn)行搜索;基本思想從初始節(jié)點(diǎn)點(diǎn)S0開始,逐逐層地對節(jié)節(jié)點(diǎn)進(jìn)行擴(kuò)擴(kuò)展并考察察它是否為為目標(biāo)節(jié)點(diǎn)點(diǎn)。在第nn層的節(jié)點(diǎn)點(diǎn)沒有全部部擴(kuò)展并考考察之前,不不對第n1層的節(jié)點(diǎn)點(diǎn)進(jìn)行擴(kuò)展展。OPEN表表中節(jié)點(diǎn)總總是按進(jìn)入入的先后順順序排列,先先進(jìn)入的節(jié)節(jié)點(diǎn)排在前前面,后進(jìn)進(jìn)入的排在在后

40、面。廣度優(yōu)先搜搜索過程把初始節(jié)點(diǎn)點(diǎn)S0放入OPEEN表。如果OPEEN表為空空,則問題題無解,退退出。把OPENN表的第一一個節(jié)點(diǎn)(記記為節(jié)點(diǎn)nn)取出放放入CLOOSE表。考察節(jié)點(diǎn)nn是否為目目標(biāo)節(jié)點(diǎn)。若是,則則求得了問問題的解,退退出。若節(jié)點(diǎn)n不不可擴(kuò)展,則則轉(zhuǎn)第2步。擴(kuò)展節(jié)點(diǎn)nn,將其子子節(jié)點(diǎn)放入入OPENN表的尾部部,并為每每一個子節(jié)節(jié)點(diǎn)都配置置指向父節(jié)節(jié)點(diǎn)的指針針,然后轉(zhuǎn)轉(zhuǎn)第2步。廣度優(yōu)先搜搜索的本質(zhì)質(zhì)是,以初初始節(jié)點(diǎn)為為根節(jié)點(diǎn),在在狀態(tài)空間間圖中按照照廣度優(yōu)先先的原則,生生成一棵搜搜索樹優(yōu)點(diǎn):總可可以得到解解,且是路路徑最短的的解。缺點(diǎn)點(diǎn):盲目、效率低。重排九宮的的廣度優(yōu)先先搜索深

41、度優(yōu)先搜搜索-考有界界深度優(yōu)先先搜索的可可能性很大大深度優(yōu)先搜搜索按照“后擴(kuò)展出出的節(jié)點(diǎn)先先被考察”的原則進(jìn)進(jìn)行搜索;深度優(yōu)先搜搜索與廣度度優(yōu)先搜索索的唯一區(qū)區(qū)別是:廣廣度優(yōu)先搜搜索是將節(jié)節(jié)點(diǎn)n的子節(jié)點(diǎn)點(diǎn)放入到OOPEN表表的尾部,而而深度優(yōu)先先搜索是把把節(jié)點(diǎn)n的子節(jié)點(diǎn)點(diǎn)放入到OOPEN表表的首部。 深度優(yōu)先搜搜索過程把初始節(jié)點(diǎn)點(diǎn)S0放入OPEEN表。如果OPEEN表為空空,則問題題無解,退退出。把OPENN表的第一一個節(jié)點(diǎn)(記記為節(jié)點(diǎn)nn)取出放放入CLOOSE表。考察節(jié)點(diǎn)nn是否為目目標(biāo)節(jié)點(diǎn)。若是,則則求得了問問題的解,退退出。若節(jié)點(diǎn)n不不可擴(kuò)展,則則轉(zhuǎn)第2步。擴(kuò)展節(jié)點(diǎn)nn,將其子子節(jié)點(diǎn)放

42、入入OPENN表的首部部,并為每每一個子節(jié)節(jié)點(diǎn)都配置置指向父節(jié)節(jié)點(diǎn)的指針針,然后轉(zhuǎn)轉(zhuǎn)第2步。深度優(yōu)先搜搜索的本質(zhì)質(zhì):以初始始節(jié)點(diǎn)為根根節(jié)點(diǎn),在在狀態(tài)空間間圖中按照照深度優(yōu)先先的原則,生生成一棵搜搜索樹。重排九宮的的深度優(yōu)先先搜索有界深度優(yōu)優(yōu)先搜索:基本思想對深度優(yōu)先先搜索引入入搜索深度度的界限(設(shè)設(shè)為dm),當(dāng)搜搜索深度達(dá)達(dá)到了深度度界限,而而仍未出現(xiàn)現(xiàn)目標(biāo)節(jié)點(diǎn)點(diǎn)時,就換換一個分支支進(jìn)行搜索索。搜索過程把初始節(jié)點(diǎn)點(diǎn)S0放入OPEEN表中,置置S0的深度d(S0)=0。如果OPEEN表為空空,則問題題無解,退退出。把OPENN表的第一一個節(jié)點(diǎn)(記記為節(jié)點(diǎn)nn)取出放放入CLOOSE表。考察節(jié)點(diǎn)n

43、n是否為目目標(biāo)節(jié)點(diǎn)。若是,則則求得了問問題的解,退退出。若節(jié)點(diǎn)n的的深度d(n)=ddm,則轉(zhuǎn)轉(zhuǎn)第2步(此時時節(jié)點(diǎn)n位于CLOOSE表,但但并未進(jìn)行行擴(kuò)展)。 若節(jié)點(diǎn)n不不可擴(kuò)展,則則轉(zhuǎn)第2步。擴(kuò)展節(jié)點(diǎn)nn,將其子子節(jié)點(diǎn)放入入OPENN表的首部部,為每一一個子節(jié)點(diǎn)點(diǎn)都配置指指向父節(jié)點(diǎn)點(diǎn)的指針,將將每一個子子節(jié)點(diǎn)的深深度設(shè)置為為d(n)+1,然然后轉(zhuǎn)第22步。重排九宮的的有界深度度優(yōu)先搜索索(設(shè)深度度界限dm=4)啟發(fā)式搜索索啟發(fā)式搜索索采用問題題自身的特特性信息,以以指導(dǎo)搜索索朝著最有有希望的方方向前進(jìn)。這種搜索索針對性較較強(qiáng),因而而效率較高高。啟發(fā)性信息息與估價(jià)函函數(shù):可用于指導(dǎo)導(dǎo)搜索過程程

44、,且與具具體問題有有關(guān)的信息息稱為啟發(fā)發(fā)性信息。用于評估節(jié)節(jié)點(diǎn)重要性性的函數(shù)稱稱為估價(jià)函函數(shù)。其一一般形式為為:f(x) = g(x)+hh(x)其中g(shù)(xx)表示從從初始節(jié)點(diǎn)點(diǎn)S0到節(jié)點(diǎn)x的代價(jià);h(x)是從節(jié)點(diǎn)點(diǎn)x到目標(biāo)節(jié)節(jié)點(diǎn)Sg的最優(yōu)路路徑的代價(jià)價(jià)的估計(jì),它它體現(xiàn)了問問題的啟發(fā)發(fā)性信息。h(x)稱為啟發(fā)發(fā)函數(shù)。g(x) 有利于搜搜索的完備備性,但影影響搜索的的效率。hh(x)有有利于提高高搜索的效效率,但影影響搜索的的完備性。全局擇優(yōu)搜搜索全局擇優(yōu)搜搜索按照“哪個節(jié)點(diǎn)點(diǎn)到目標(biāo)節(jié)節(jié)點(diǎn)的估計(jì)計(jì)代價(jià)小就就先考察哪哪個節(jié)點(diǎn)”的原則進(jìn)進(jìn)行搜索;廣度優(yōu)先搜搜索、代價(jià)價(jià)樹的廣度度優(yōu)先搜索索是全局擇擇優(yōu)

45、搜索的的特例。 基本思想每當(dāng)要選擇擇下一個節(jié)節(jié)點(diǎn)進(jìn)行考考察時,全全局擇優(yōu)搜搜索每次總總是從OPPEN表的的全體節(jié)點(diǎn)點(diǎn)中選擇一一個估價(jià)值值最小的節(jié)節(jié)點(diǎn)。搜索過程把初始節(jié)點(diǎn)點(diǎn)S0放入OPEEN表,計(jì)計(jì)算f(SS0)。如果OPEEN表為空空,則問題題無解,退退出。把OPENN表的第一一個節(jié)點(diǎn)(記記為節(jié)點(diǎn)nn)取出放放入CLOOSE表。考察節(jié)點(diǎn)nn是否為目目標(biāo)節(jié)點(diǎn)。若是,則則求得了問問題的解,退退出。若節(jié)點(diǎn)n不不可擴(kuò)展,則則轉(zhuǎn)第2步。擴(kuò)展節(jié)點(diǎn)nn,用估價(jià)價(jià)函數(shù)f(x)計(jì)算算每個子節(jié)節(jié)點(diǎn)的估價(jià)價(jià)值,并為為每一個子子節(jié)點(diǎn)都配配置指向父父節(jié)點(diǎn)的指指針。把這這些子節(jié)點(diǎn)點(diǎn)都送入OOPEN表表中,然后后對OPEE

46、N表中的的全部節(jié)點(diǎn)點(diǎn)按估價(jià)值值從小至大大的順序進(jìn)進(jìn)行排序,然然后轉(zhuǎn)第22步。重排九宮問問題的全局局擇優(yōu)搜索索樹設(shè)估價(jià)函數(shù)數(shù)為:f(x)=d(x)+h(xx)其中,d(x)表示示節(jié)點(diǎn)x的深度,hh(x)表表示節(jié)點(diǎn)xx的格局與與目標(biāo)節(jié)點(diǎn)點(diǎn)格局不相相同的牌數(shù)數(shù)。神經(jīng)網(wǎng)絡(luò)與與遺傳計(jì)算算神經(jīng)網(wǎng)絡(luò)(只只考概念)*此處老師師重點(diǎn)為:神經(jīng)元的的工作特性性。但無奈奈兩個課本本+pptt均找不到到原話。所以按下下邊的內(nèi)容容自己總結(jié)結(jié)一下吧。生物神經(jīng)元元的基本工工作機(jī)制一個神經(jīng)元元有兩種狀狀態(tài)-興奮和抑抑制。平時時處于抑制制狀態(tài)的神神經(jīng)元,其其樹突和胞胞體接受其其它神經(jīng)元元經(jīng)由突觸觸傳來的興興奮電位,多多個輸入在在神經(jīng)元中中以代數(shù)和和的方式疊疊加;如輸輸入興奮總總

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論