內容簡介
人工智慧原理與技術同時，這套叢書的出版，對於我國文化教育積累，科學技術的開拓，進而提高整箇中華民族文化素質起著積極的作用。
編輯推薦
《人工智慧原理與技術》是由浙江大學出版社出版的
作者簡介
俞瑞釗,教授
目錄
引言
1 Lisp語言基礎
1.1 符號表達式與表
1.2 Lisp的程式結構及其特點
1.3 表處理函式
1.4 算術與邏輯運算函式
1.5 賦值與求值函式
1.6 控制函式
1.7 函式定義
1.8 性質表及其操作函式
1.9 映射函式
1.10 遞歸
1.11 輸入與輸出
1.12 原子的生成與分解函式
1.13 例子
2 一階謂詞邏輯
2.1 命題及邏輯聯結詞
2.2 命題公式的永賓性與等值
2.3 對偶原理
2.4 析取範式與合取範式
2.5 邏輯推理
2.6 命題演算的王浩算法
2.7 一階謂詞邏輯的基本概念
2.8 謂詞公式的永真性與可滿足性
2.9 自由變元與約束變元
2.1 0謂詞公式的等值
2.1 1前束範式
3 歸結原理
3.1 斯柯倫標準型
3.2 子句集的H全域
3.3 基本定理
3.4 D-只（Davis & Putnam）方法
3.5 一致化算法
3.6 歸結方法
3.7 歸結方法的可靠性與完備性
3.8 例子
3.9 套用
3.10 歸結方法的Lisp實現
4 Prolog語言簡介
4.1 Horn子句集歸結
4.2 Prolog語言
4.3 內部謂詞
4.4 例子
5 問題求解
5.1 狀態空間
5.2 問題歸約
5.3 產生式系統
5.4 約束滿足法
5.5 八數碼問題的Lisp實現
6 搜尋
6.1 狀態空間的盲目搜尋
6.2 啟發式搜尋法
6.3 A算法的可採納性
6.4 與/或樹搜尋
6.5 與/或圖的一種啟發式搜尋算法AO
6.6 博弈樹搜尋
6.7 一字棋博弈的Lisp實現
7 知識表達與推理技術
7.1 知識的特徵描述
7.2 框架
7.3 語義網路
7.4 腳本
7.5 產生式規則
7.6 評述
8 專家系統
8.1 專家系統的任務與特徵
8.2 專家系統脆弱性
8.3 專家系統結構
8.4 建立專家系統的步驟與方法
9 神經元網路
9.1 神經元網路簡介
9.2 簡單的線性模型
9.3 線性閾值網路
9.4 反向傳播網路-
9.5 Hop field網路模型
9.6 Boltzmann機
9.7 其它的神經元網路模型
9.8 評述
9.9 神經元網路的套用
10 專家系統構造工具DIPS
10.1 DIPS概述
10.2 DIPS的知識表達
10.3 DIPS的控制策略及推理機
10.4 用DIPS建立專家系統
10.5 DIPS的解釋機制
11 附錄
附錄1 DIPS的系統函式
附錄2 DIPS的系統調用
12 思考題
思考題一
思考題二
思考題三
思考題四
思考題五
思考題六
思考題七
思考題八
思考題九
序言
浙江大學是一所具有90多年辦學歷史的國家教委直屬重點大學。近十年來，學校以全面提高教育和科研水平，培養合格、優質人才為中心，積極推進和深化學校各項改革，使我校的教學質量和科研水平以及辦學效益進入了歷史上最好的發展時期。
在這一新的發展時期，我們需要出版一批具有全國影響的高水平新教材和學術專著。我校出版社精心組織編寫了《浙江大學科學技術系列》叢書，正好填補了這方面的工作。這套叢書第一批有姚慶棟教授主編的《圖像編碼基礎》、俞瑞釗教授編著的《人工智慧原理與技術》、韓禎祥教授主編的《電力系統分析》等5本，將陸續在近2年內出版發行。這套系列叢書明顯體現了以下二個特點。
學術水平高。叢書的主要作者大部分是我校重點學科的學術帶頭人、博士導師。他們從事高水平的科研項目，他們的著作含有獨特的見解，是科研成果的結晶，代表了學校的學術水平和發展趨勢。
教學效果好。這套叢書的主要作者長期從事教育工作，他們有.著豐富的教學經驗。這套教材既有作者個人長期不斷傾注的心血，把紛繁的教材內容、教育改革的成果與自己的心得進行綜合、提煉，以至升華成理論，又有師生集體日積月累灑下的汗水。
同時，這套叢書的出版，對於我國文化教育積累，科學技術的開拓，進而提高整箇中華民族文化素質起著積極的作用。
目錄
引言
1Lisp語言基礎
1.1符號表達式與表
1.2Lisp的程式結構及其特點
1.3表處理函式
1.4算術與邏輯運算函式
1.5賦值與求值函式
1.6控制函式
1.7函式定義
1.8性質表及其操作函式
1.9映射函式
1.10遞歸
1.11輸入與輸出
1.12原子的生成與分解函式
1.13例子
2一階謂詞邏輯
2.1命題及邏輯聯結詞
2.2命題公式的永真性與等值
2.3對偶原理
2.4析取範式與合取範式
2.5邏輯推理
2.6命題演算的王浩算法
2.7一階謂詞邏輯的基本概念
2.8謂詞公式的永真性與可滿足性
2.9自由變元與約束變元
2.10謂詞公式的等值
2.11前柬范武
3歸結原理
3.1斯柯倫標準型
3.2子句集的H全域
3.3基本定理
3.4D-P（Davis&Putnam）方法
3.5一致化算法
3.6歸結方法
3.7歸結方法的可靠性與完備性
3.8例子
3.9套用
3.10歸結方法的Lisp實現
4Prolog語言簡介
4.1Horn子句集歸結
4.2Prolog語言
4.3內部謂詞
4.4例子
5問題求解
5.1狀態空間
5.2問題歸約
5.3產生式系統
5.4約束滿足法
5.5八數碼問題的Lisp實現
6搜尋
6.1狀態空間的盲目搜尋
6.2啟發式搜尋法
6.3A算法的可採納性
6.4與/或樹搜尋
6.5與/或圖的一種啟發式搜尋算法AO
6.6博弈樹搜尋
6.7一字棋博弈的LJSP實現
7知識表達與推理技術
7.1知識的特徵描述
7.2框架
7.3語義網路
7.4腳本
7.5產生式規則
7.6評述
8專家系統
8.1專家系統的任務與特徵
8.2專家系統脆弱性
8.3專家系統結構
8.4建立專家系統的步驟與方法
9神經元網路
9.1神經元網路簡介
9.2簡單的線性模型
9.3線性閾值網路
9.4反向傳播網路
9.5Hopfield網路模型
9.6Boltzmann杌
9.7其它的神經元網路模型
9.8評述
9.9神經元網路的套用
10專家系統構造工具DIPS
10.1DIPS概述
10.2DIPS的知識表達
10.3DIPS的控制策略及推理機
10.4用DIPS建立專家系統
10.5DIPS的解釋機制
11附錄
附錄1DIPS的系統函式
附錄2DIPS的系統調用
12思考題
思考題一
思考題二
思考題三
思考題四
思考題五
思考題六
思考題七
思考題八
思考題九
參考文獻
……
