第1章 人工智能研究的發展和基本原則 1.1 人工智能的研究和應用 1.2 人工智能研究的發展 1.3 人工智能研究的成果 1.4 人工智能研究的基本原則 1.5 存在的問題和發展前景 習題 參考文獻第2章 問題求解的基本方法 2.1 一般圖搜索 2.1.1狀態空間搜索 2.1.2 啓發式搜索 2.1.3 狀態空間抽象和生成一測試法 2.1.4 啓發式搜索的適用性討論 2.2 問題歸約 2.2.1問題歸約的描述 2.2.2 與或圖搜索 2.2.3 與或圖的啓發式搜索 2.3 基於歸結的演繹推理 2.3.1 謂詞演算 2.3.2 歸結演繹方法 2.3.3 歸結反演 2.4 基於規則的演繹推理 2.4.1 基於規則的正嚮演繹推理 2.4.2 基於規則的逆嚮演繹推理 2.4.3 演繹推理的應用討論 2.4.4 邏輯編程語言Prolog 本章小結 習題 參考文獻第3章 知識錶示 3.1 知識和知識錶示 3.1.1 知識原則 3.1.2 知識錶示的作用 3.1.3 知識錶示的功能 3.1.4 知識錶示的性能 3.1.5 基本的知識錶示方式 3.2 産生式錶示 3.2.1産生式係統 3.2.2 控製策略 3.2.3 産生式係統的分類 3.3 結構化錶示 3.3.1語義網絡 3.3.2 框架錶示法 3.3.3 麵嚮對象的錶示法 3.4 知識錶示的實用化問題 3.4.1程序性和陳述性知識 3.4.2 錶示能力和推理效率之間的製約關係 3.5 基於本體的語義知識錶示 3.5.1語義知識錶示和共享本體 3.5.2 本體錶示語言的研究 3.5.3 Web本體語言OWL 3.5.4 語義Web的應用情景和支持技術 本章小結 習題 參考文獻第4章 基於知識的係統 4.1 KB係統的開發 4.1.1 KB係統的一般概念 4.1.2 KB係統的體係結構原則 4.1.3 KB係統的開發過程 4.1.4 KB係統的開發工具和環境 4.2 設計基於産生式錶示的KB係統開發工具 4.2.1 總體設計 4.2.2 Xps的實現 4.2.3 應用實例——傢族樹 4.2.4 性能改進 4.2.5 開發工具OPS5 4.3 專傢係統實例——MYCIN 4.3.1知識庫的構造 4.3.2 推理機的設計 4.3.3 係統服務設施 4.3.4 開發工具EMYcIN 4.4 問題求解的結構化組織 4.4.1結構化組織的需求 4.4.2 事務錶 4.4.3 黑闆法 4.4.4 問題求解建模 4.4.5 KB係統的高級技術 4.5 基於本體的知識係統 4.5.1 基礎級本體工程 4.5.2 高級本體工程 4.5.3 開發基於本體的知識係統 本章小結 習題 參考文獻第5章 自動規劃和配置 5.1 經典規劃技術 5.1.1 經典規劃技術的發展 5.1.2 規劃的基本概念 5.1.3 早期的自動規劃技術 5.1.4 部分排序規劃技術 5.2 自動規劃技術的新進展 5.2.1 非經典規劃技術的開發 5.2.2 自動規劃技術的實用化 5.2.3 智能的調度、規劃和項目管理 5.3 自動配置 5.3.1 配置的一般概念 5.3.2 自動配置的建模 5.3.3 XCON——計算機自動配置係統 本章小結 習題 參考文獻第6章 機器學習 6.1 機器學習概論 6.1.1 機器學習的基本概念 6.1.2 機器學習的發展曆史 6.1.3 機器學習分類 6.2 示例學習 6.2.1示例學習的基本策略 6.2.2 決策樹構造法ID3 6.3 基於解釋的學習 6.3.1 基於解釋的泛化(EBG) 6.3.2 基於解釋學習的若乾基本問題 6.4 遺傳算法 6.4.1 簡單遺傳算法 6.4.2 分類係統 6.5 加強學習 6.5.1 加強學習的基本方法 6.5.2 p學習 6.5.3 有關加強學習的進一步討論 6.6 基於範例的學習 6.6.1 基於範例推理的過程 6.6.2 應用實例：智能飼料配方係統ICMIX 6.7 知識發現與數據挖掘 6.7.1 定理發現 6.7.2 數據挖掘 6.7.3 關聯規則挖掘 6.7.4 數據庫及網絡中的知識發現 本章小結 習題 參考文獻第7章 人工智能高級技術綜述 7.1 非單調推理和軟計算 7.1.1 真值維持係統 7.1.2 約束滿足問題 7.1.3 不確定推理 7.1.4 模糊邏輯和模糊推理 7.1.5 人工神經網絡 7.2 基於範例的推理 7.2.1基於範例的推理係統 7.2.2 範例錶示和索引 7.2.3 檢索、改編和辯證 7.2.4 基於範例的學習 7.2.5 結論 7.3 關於時間和空間的推理 7.3.1伴有時間的推理 7.3.2 時間的不確定性和分支 7.3.3 關於空間的推理 7.3.4 關於形狀的推理 7.4 機器學習研究與應用的新進展 7.4.1 貝葉斯網絡 7.4.2 隱馬爾可夫模型 7.4.3 統計學習理論 7.4.4 粗糙集理論 7.4.5 聚類分析 7.4.6 復雜類型數據的挖掘 7.5 Agent技術和多Agent協同工作 7.5.1 Agent技術的研究和發展 7.5.2 多Agent協作 7.5.3 Agent通信 7.6 新一代網絡計算的技術基礎及其智能化 7.6.1 語義Web 7.6.2 網格計算 7.6.3 自治計算 本章小結 習題 參考文獻
· · · · · · (收起)