內容提要
本書將人工智慧的基本原理和人工智慧程式設計融為一體,重點介紹了人工智慧在專家系統方面的套用。
通過本書的學習,讀者可以掌握人工智慧的基本原理和核心知識,以及人工智慧程式設計的常用語言PROLOG,學習用該語言進行編程,體會邏輯程式設計的思想,提高邏輯思考能力,並在此基礎上學習如何構造實用的專家系統。
本書重點突出,敘述簡潔,實例豐富,適合作為高等院校計算機類、信息管理類及其他相關專業本科生的教材,也可供有關的科研人員參考。
圖書目錄
緒言
0.1 什麼是人工智慧
0.2 人工智慧的研究領域
0.3 人工智慧的基本技術
第1章 知識表示
1.1 知識的概念
1.2 狀態空間表示法
1.3 產生式表示法
1.4 謂詞邏輯表示法
1.5 語義網路表示法
1.6 框架表示法
習題
第2章 邏輯推理
2.1 命題邏輯
2.2 謂詞邏輯
2.3 海伯倫理論
2.4 歸結原理
2.5 定理證明
2.6 利用歸結原理求取問題的答案
2.7 歸結原理的改進
2.8 與/或形演繹推理
習題
第3章 搜尋策略
3.1 關於搜尋的基本概念
3.2 基本搜尋策略
3.3 啟發式搜尋
3.4 與/或樹的搜尋策略
3.5 博弈樹的啟發式搜尋
習題
第4章 不確定性推理
4.1 不確定性的主要表現
4.2 不確定性推理方法的分類
4.3 機率基礎
4.4 主觀Bayes方法
4.5 可信度方法
4.6 證據理論(D-S理論)
習題
第5章 Prolog語言的執行機理
5.1 程式設計語言回顧
5.2 Prolog簡介
5.3 Prolog的三種基本語句
5.4 截斷(cut)和失敗(fail)
習題
第6章 遞歸結構和遞歸程式
6.1 Turbo Prolog的基本成分
6.2 Turbo Prolog的程式結構
6.3 謂詞結構
6.4 重複和遞歸方法
6.5 表處理
6.6 字元串程式設計
習題
第7章 檔案處理與動態資料庫
7.1 Turbo Prolog的檔案處理謂詞
7.2 檔案謂詞的使用
7.3 隨機存取檔案
7.4 Turbo Prolog的視窗功能
7.5 建立動態資料庫
習題
第8章 建造專家系統
8.1 專家系統簡介
8.2 專家系統的基本原理
8.3 用Turbo Prolog開發專家系統
第9章 專家系統的進一步研究
9.1 CITY(城市)庫
9.2 RICH(富有)庫
9.3 推理機研究
9.4 專家系統實例
參考文獻