人工智能原理與技術(shù)

前言

　　浙江大學(xué)是一所具有90多年辦學(xué)歷史的國(guó)家教委直屬重點(diǎn)大學(xué)。近十年來(lái)，學(xué)校以全面提高教育和科研水平，培養(yǎng)合格、優(yōu)質(zhì)人才為中心，積極推進(jìn)和深化學(xué)校各項(xiàng)改革，使我校的教學(xué)質(zhì)量和科研水平以及辦學(xué)效益進(jìn)入了歷史上最好的發(fā)展時(shí)期?！　≡谶@一新的發(fā)展時(shí)期，我們需要出版一批具有全國(guó)影響的高水平新教材和學(xué)術(shù)專著。我校出版社精心組織編寫了《浙江大學(xué)科學(xué)技術(shù)系列》叢書，正好填補(bǔ)了這方面的工作。這套叢書第一批有姚慶棟教授主編的《圖像編碼基礎(chǔ)》、俞瑞釗教授編著的《人工智能原理與技術(shù)》、韓禎祥教授主編的《電力系統(tǒng)分析》等5本，將陸續(xù)在近2年內(nèi)出版發(fā)行。這套系列叢書明顯體現(xiàn)了以下二個(gè)特點(diǎn)?！　W(xué)術(shù)水平高。叢書的主要作者大部分是我校重點(diǎn)學(xué)科的學(xué)術(shù)帶頭人、博士導(dǎo)師。他們從事高水平的科研項(xiàng)目，他們的著作含有獨(dú)特的見(jiàn)解，是科研成果的結(jié)晶，代表了學(xué)校的學(xué)術(shù)水平和發(fā)展趨勢(shì)?！　〗虒W(xué)效果好。這套叢書的主要作者長(zhǎng)期從事教育工作，他們有.著豐富的教學(xué)經(jīng)驗(yàn)。這套教材既有作者個(gè)人長(zhǎng)期不斷傾注的心血，把紛繁的教材內(nèi)容、教育改革的成果與自己的心得進(jìn)行綜合、提煉，以至升華成理論，又有師生集體日積月累灑下的汗水。　　同時(shí)，這套叢書的出版，對(duì)于我國(guó)文化教育積累，科學(xué)技術(shù)的開拓，進(jìn)而提高整個(gè)中華民族文化素質(zhì)起著積極的作用。

內(nèi)容概要

　　《人工智能原理與技術(shù)》的主要作者大部分是我校重點(diǎn)學(xué)科的學(xué)術(shù)帶頭人、博士導(dǎo)師。他們從事高水平的科研項(xiàng)目，他們的著作含有獨(dú)特的見(jiàn)解，是科研成果的結(jié)晶，代表了學(xué)校的學(xué)術(shù)水平和發(fā)展趨勢(shì)?！　〗虒W(xué)效果好。這套叢書的主要作者長(zhǎng)期從事教育工作，他們有.著豐富的教學(xué)經(jīng)驗(yàn)。這套教材既有作者個(gè)人長(zhǎng)期不斷傾注的心血，把紛繁的教材內(nèi)容、教育改革的成果與自己的心得進(jìn)行綜合、提煉，以至升華成理論，又有師生集體日積月累灑下的汗水?！　⊥瑫r(shí)，這套叢書的出版，對(duì)于我國(guó)文化教育積累，科學(xué)技術(shù)的開拓，進(jìn)而提高整個(gè)中華民族文化素質(zhì)起著積極的作用。

書籍目錄

引言1 Lisp語(yǔ)言基礎(chǔ)1.1 符號(hào)表達(dá)式與表1.2 Lisp的程序結(jié)構(gòu)及其特點(diǎn)1.3 表處理函數(shù)1.4 算術(shù)與邏輯運(yùn)算函數(shù)1.5 賦值與求值函數(shù)1.6 控制函數(shù)1.7 函數(shù)定義1.8 性質(zhì)表及其操作函數(shù)1.9 映射函數(shù)1.10 遞歸1.11 輸入與輸出1.12 原子的生成與分解函數(shù)1.13 例子2 一階謂詞邏輯2.1 命題及邏輯聯(lián)結(jié)詞2.2 命題公式的永賓性與等值2.3 對(duì)偶原理2.4 析取范式與合取范式2.5 邏輯推理2.6 命題演算的王浩算法2.7 一階謂詞邏輯的基本概念2.8 謂詞公式的永真性與可滿足性2.9 自由變?cè)c約束變?cè)?.1 0謂詞公式的等值2.1 1前束范式3 歸結(jié)原理3.1 斯柯倫標(biāo)準(zhǔn)型3.2 子句集的H全域3.3 基本定理3.4 D-只（Davis & Putnam）方法3.5 一致化算法3.6 歸結(jié)方法3.7 歸結(jié)方法的可靠性與完備性3.8 例子3.9 應(yīng)用3.10 歸結(jié)方法的Lisp實(shí)現(xiàn)4 Prolog語(yǔ)言簡(jiǎn)介4.1 Horn子句集歸結(jié)4.2 Prolog語(yǔ)言4.3 內(nèi)部謂詞4.4 例子5 問(wèn)題求解5.1 狀態(tài)空間5.2 問(wèn)題歸約5.3 產(chǎn)生式系統(tǒng)5.4 約束滿足法5.5 八數(shù)碼問(wèn)題的Lisp實(shí)現(xiàn)6 搜索6.1 狀態(tài)空間的盲目搜索6.2 啟發(fā)式搜索法6.3 A算法的可采納性6.4 與／或樹搜索6.5 與／或圖的一種啟發(fā)式搜索算法AO6.6 博弈樹搜索6.7 一字棋博弈的Lisp實(shí)現(xiàn)7 知識(shí)表達(dá)與推理技術(shù)7.1 知識(shí)的特征描述7.2 框架7.3 語(yǔ)義網(wǎng)絡(luò)7.4 腳本7.5 產(chǎn)生式規(guī)則7.6 評(píng)述8 專家系統(tǒng)8.1 專家系統(tǒng)的任務(wù)與特征8.2 專家系統(tǒng)脆弱性8.3 專家系統(tǒng)結(jié)構(gòu)8.4 建立專家系統(tǒng)的步驟與方法9 神經(jīng)元網(wǎng)絡(luò)9.1 神經(jīng)元網(wǎng)絡(luò)簡(jiǎn)介9.2 簡(jiǎn)單的線性模型9.3 線性閾值網(wǎng)絡(luò)9.4 反向傳播網(wǎng)絡(luò)-9.5 Hop field網(wǎng)絡(luò)模型9.6 Boltzmann機(jī)9.7 其它的神經(jīng)元網(wǎng)絡(luò)模型9.8 評(píng)述9.9 神經(jīng)元網(wǎng)絡(luò)的應(yīng)用10 專家系統(tǒng)構(gòu)造工具DIPS10.1 DIPS概述10.2 DIPS的知識(shí)表達(dá)10.3 DIPS的控制策略及推理機(jī)10.4 用DIPS建立專家系統(tǒng)10.5 DIPS的解釋機(jī)制11 附錄附錄1 DIPS的系統(tǒng)函數(shù)附錄2 DIPS的系統(tǒng)調(diào)用12 思考題思考題一思考題二思考題三思考題四思考題五思考題六思考題七思考題八思考題九參考文獻(xiàn)

章節(jié)摘錄

　　但是，如果我們規(guī)定一棵解樹的代價(jià)是該樹的總邊數(shù)（即相鄰兩結(jié)點(diǎn)之間代價(jià)設(shè)為1）。那么寬度優(yōu)先搜索不保證找到代價(jià)最小的解?！　?.4.2 與／或樹的深度優(yōu)先搜索，　　這種搜索是要求在一定深度限制內(nèi)尋找一棵解樹，對(duì)超過(guò)深度要求的結(jié)點(diǎn)，不再擴(kuò)展，并將其標(biāo)志為不可解結(jié)點(diǎn)，并在搜索過(guò)程中實(shí)行可解標(biāo)志與不可解標(biāo)志過(guò)程。與／或樹深度優(yōu)先搜索算法如下：　　1.起始結(jié)點(diǎn)s送open表。　　2.若s為葉結(jié)點(diǎn)，則成功結(jié)束，否則繼續(xù)?！　?.取open表第一個(gè)結(jié)點(diǎn)，送closed表，并記為n。　　4.若結(jié)點(diǎn)n深度等于界限，則將n標(biāo)志為不可解結(jié)點(diǎn)，并轉(zhuǎn)10，否則繼續(xù)?！　?.擴(kuò)展結(jié)點(diǎn)n，生成全部后繼結(jié)點(diǎn)，置于open表前面，置指向n的返回指針；如果n無(wú)后繼結(jié)點(diǎn)，則標(biāo)志為不可解結(jié)點(diǎn)，并轉(zhuǎn)10，否則繼續(xù)?！　?.若有后繼結(jié)點(diǎn)為葉結(jié)點(diǎn)，則將這些葉結(jié)點(diǎn)標(biāo)志為可解結(jié)點(diǎn)，并繼續(xù)，否則轉(zhuǎn)3。　　7.實(shí)行可解標(biāo)志過(guò)程。　　8.若起始結(jié)點(diǎn)為可解結(jié)點(diǎn)，則算法成功結(jié)束，否則，繼續(xù)下一步。　　9.從open表中刪去含有可解先輩結(jié)點(diǎn)的結(jié)點(diǎn)，并轉(zhuǎn)3?！　?0.實(shí)行不可解標(biāo)志過(guò)程?！　?1.若起始結(jié)點(diǎn)為不可解，則失敗結(jié)束，否則，繼續(xù)下一步。　　12.從open表中刪去含有不可解先輩結(jié)點(diǎn)的結(jié)點(diǎn)。

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    人工智能原理與技術(shù) PDF格式下載

---