內容簡介
本書較全面地介紹了人工智慧的基本理論、方法及其套用技術。全書共12章
人工智慧原理與方法 該書取材新穎，具有系統性、新穎性、實用性及可讀性等特點，便於教學和自學，適於作為計算機學科本科生及研究生的教科書，亦可供有關科技人員參考。
目錄
第1章緒論
1.1什麼是人工智慧
1.1.1智慧型
1.1.2人工智慧
1.1.3人工智慧的發展簡史
1.2人工智慧的研究目標及基本內容
1.2.1人工智慧的研究目標
1.2.2人工智慧研究的基本內容
1.3人工智慧的研究途徑
1.3.1以符號處理為核心的方法
1.3.2以網路連線為主的連線機制方法
1.3.3系統集成
1.4人工智慧的研究領域
1.4.1專家系統
1.4.2機器學習
1.4.3模式識別
1.4.4自然語言理解
1.4.5自動定理證明
1.4.6自動程式設計
1.4.7機器人學
1.4.8 博弈
1.4.9智慧型決策支持系統
1.4.10 人工神經網路
本章小結
習題
第2章人工智慧的數學基礎
2.1命題邏輯與謂詞邏輯
2.1.1命題
2.1.2謂詞
2.1.3謂詞公式
2.1.4 謂詞公式的解釋
2.1.5謂詞公式的永真性.可滿足性.不可滿足性
2.1.6謂詞公式的等價性與永真蘊含
2.2 多值邏輯
2.3機率論
2.3.1隨機現象
2.3.2樣本空間與隨機事件
2.3.3事件的機率
2.3.4條件機率
2.3.5全機率公式與Bayes公式
2.4模糊理論
2.4.1模糊性
2.4.2集合與特徵函式
2.4.3模糊集與隸屬函式
2.4.4模糊集的表示方法
2.4.5模糊集的運算
2.4.6模糊集的λ水平截集
2.4.7模糊度
2.4.8模糊數
2.4.9模糊關係及其合成
2.4.10模糊變換
2.4.11實數域上幾種常用的隸屬函式
2.4.12建立隸屬函式的方法
本章小結
習題
第3章知識與知識表示
3.1基本概念
3.1.1什麼是知識
3.1.2知識的特性
3.1.3知識的分類
3.1.4知識的表示
3.2一階謂詞邏輯表示法
3.2.1表示知識方法
3.2.2一階謂詞邏輯表示法的特點
3.3產生式表示法
3.3.1產生式的基本形式
3.3.2產生式系統
3.3.3產生式系統的分類
3.3.4產生式表示法的特點
3.4框架表示法
3.4.1框架理論
3.4.2框架
3.4.3框架網路
3.4.4框架中槽的設定與組織
3.4.5框架系統中求解問題的基本過程
3.4.6框架表示法的特點
3.5語義網路表示法
3.5.1語義網路的概念
3.5.2知識的語義網路表示
3.5.3常用的語義联系
3.5.4語義網路系統中求解問題的基本過程
3.5.5語義網路表示法的特點
3.6腳本表示法
3.6.1概念依賴理論
3.6.2腳本
3.7過程表示法
3.7.1表示知識方法
3.7.2過程表示法的特點
3.8Petri網表示法
3.8.1表示知識方法
3.8.2Petri網表示法的特點
3.9面向對象表示法
3.9.1面向對象的基本概念
3.9.2表示知識方法
本章小結
習題
第4章經典邏輯推理
4.1基本概念
4.1.1什麼是推理
4.1.2推理方式及其分類
4.1.3推理的控制策略
4.1.4模式匹配
4.1.5衝突消解策略
4.2自然演繹推理
4.3歸結演繹推理
4.3.1子句
4.3.2海伯倫理論
4.3.3魯賓遜歸結原理
4.3.4歸結反演
4.3.5套用歸結原理求取問題的答案
4.3.6歸結策略
4.4與／或形演繹推理
4.4.1與／或形正向演繹推理
4.4.2與域形逆向演繹推理
4.4.3與域形雙向演繹推理
4.4.4代換的一致性及剪枝策略
本章小結
習題
第5章不確定與非單調推理
5.1基本概念
5.1.1什麼是不確定性推理
5.1.2不確定性推理中的基本問題
5.1.3不確定性推理方法的分類
5.2機率方法
5.2.1經典機率方法
5.2.2逆機率方法
5.3主觀Bayes方法
5.3.1知識不確定性的表示
5.3.2證據不確定性的表示
5.3.3組合證據不確定性的算法
5.3.4不確定性的傳遞算法
5.3.5結論不確定性的合成算法
5.4可信度方法
5.4.1可信度的概念
5.4.2C-F模型
5.4.3帶有閾值限度的不確定性推理
5.4.4加權的不確定性推理
5.4.5前提條件中帶有可信度因子的不確定性推理
5.5證據理論
5.5.1D－S理論
5.5.2一個具體的不確定性推理模型
5.6模糊推理
5.6.1模糊命題
5.6.2 模糊知識的表示
5.6.3模糊匹配與衝突消解
5.6.4模糊推理的基本模式
5.6.5簡單模糊推理
5.6.6 模糊三段論推理
5.6.7 多維模糊推理
5.6.8多重模糊推理
5.6.9帶有可信度因子的模糊推理
5.7基於框架表示的不確定性推理
5.7.1不確定性知識的框架表示
5.7.2框架的不確定性匹配
5.7.3框架推理
5.8基於語義網路表示的不確定性推理
5.8.1不確定性知識的語義網路表示
5.8.2 語義網路推理
5.9 非單調推理
5.9.1非單調推理的概念
5.9.2預設理論
5.9.3界限理論
5.9.4正確性維持系統TMS
本章小結
習題
第6章 搜尋策暗
6.1基本概念
6.1.1什麼是搜尋
6.1.2狀態空間表示法
6.1.3 與域樹表示法
6.2狀態空間的搜尋策略
6.2.1狀態空間的一般搜尋過程
6.2.2 廣度優先搜尋
6.2.3深度優先搜尋
6.2.4有界深度優先搜尋
6.2.5代價樹的廣度優先搜尋
6.2.6代價樹的深度優先搜尋
6.2.7 啟發式搜尋
6.2.8A*算法
6.3與域樹的搜尋策略
6.3.1與域樹的一般搜尋過程
6.3.2與域樹的廣度優先搜尋
6.3.3與域樹的深度優先搜尋
6.3.4與域樹的有序搜尋
6.3.5博弈樹的啟發式搜尋
6.3.6α-β剪枝技術
6.4搜尋的完備性與效率
6.4.1完備性
6.4.2搜尋效率
本章小結
習題
第7章專家系統
7.1基本概念
7.1.1什麼是專家系統
7.1.2專家系統的產生與發展
7.1.3專家系統的分類
7.2專家系統的一般結構
7.2.1人機接口
7.2.2 知識獲取機構
7.2.3知識庫及其管理系統
7.2.4推理機
7.2.5資料庫及其管理系統
7.2.6解釋機構
7.3知識獲取
7.3.1知識獲取的任務
7.3.2 知識獲取方式
……[看更多目錄]
文摘
第1章緒論
人工智慧（ArtificialIntelligence，簡記為AI）是當前科學技術發展中的一門前沿學科，同時也是一門新思想、新觀念、新理論、新技術不斷出現的新興學科以及正在迅速發展的學科。它是在計算機科學、控制論、資訊理論、神經心理學、哲學、語言學等多種學科研究的基礎上發展起來的，因此又可把它看作是一門綜合性的邊緣學科。它的出現及所取得的成就引起了人們的高度重視，並得到了很高的評價。有的人把它與空間技術、原子能技術一起譽為20世紀的三大科學技術成就；有的人把它稱為繼三次工業革命後的一又一次革命，並稱前三次工業革命主要是延長了人手的功能，把人類從繁重的體力勞動中解放出來，而人工智慧則是延伸人腦的功能，實現腦力勞動的自動化。
本章將討論智慧型、人工智慧的基本概念，並對人工智慧的研究目標、研究內容、研究途徑及研究領域進行簡要的討論。
1.1什麼是人工智慧
1.1.1智慧型
什麼是智慧型？智慧型的本質是什麼？這是古今中外許多哲學家、腦科學家一直在努力探索和研究的問題，但至今仍然沒有完全解決，以致被列為自然界四大奧秘（物質的本質、宇宙的起源、生命的本質、智慧型的發生）之一。近些年來，隨著腦科學、神經心理學等研究的進展，對人腦的結構和功能積累了一些初步認識，但對整個神經系統的內部結構和作用機制，特別是腦的功能原理還沒有完全搞清楚，有待進一步的探索。在此情況下，要從本質上對智慧型給出一個精確的、可被公認的定義顯然是不現實的。目前人們大多是把對人腦的已有認識與智慧型的外在表現結合起來，從不同的角度、不同的側面、用不同的方法來對智慧型進行研究的，提出的觀點亦不相同。其中影響較大的主要有思維理論、知識閾值理論及進化理論等。
思維理論來自認知科學。認知科學又稱為思維科學，它是研究人們認識客觀世界的規律和方法的一門科學，其目的在於揭開大腦思維功能的奧秘。該理論認為智慧型的核心是思維，人的一切智慧或智慧型都來自於大腦的思維活動，人類的一切知識都是人們思維的產物，因而通過對思維規律與方法的研究可望揭示智慧型的本質。
知識閾值理論著重強調知識對於智慧型的重要意義和作用，認為智慧型行為取決於知識的數量及其一般化的程度，一個系統之所以有智慧型是因為它具有可運用的知識。在此認識的基礎上，它把智慧型定義為：智慧型就是在巨大的搜尋空間中迅速找到一個滿意解的能力。這一理論在人工智慧的發展史中有……
