《問題求解理論及套用：商空間粒度計算理論及套用》是2007年3月1日清華大學出版社出版的圖書，作者是張鈴、張鈸。
基本介紹
- 中文名：問題求解理論及套用：商空間粒度計算理論及套用
- 作者：張鈴、張鈸
- 出版時間：2007年3月1日
- 出版社：清華大學
- 頁數：399 頁
- ISBN：7302146985, 9787302146988
- 定價：52.00
內容簡介,目錄,
內容簡介
自本書第1版於1990年出版以來，人工智慧研究有了很大的進展與變化，問題求解的商空間理論也有了新的進展，吸引了越來越多的研究者的注意，並在一些領域得到套用，有必要對原書進行修訂，以反映最新的研究進展及研究熱點。 本書第2版共分7章和2個附錄，第1章講述問題的描述方法，關鍵是不同粒度世界的描述問題，第2章講述分層遞階原理，重點是其數學模型、分層遞階與計算複雜性的關係以及它的套用，第3章提出一種合成的數學模型，並由此導出合成的原則和方法，第4章提出了網路的推理模型，它能夠考慮不同層次的推理，並把確定性推理、非確定性推理與定性推理統一和聯繫起來。第5章重點講述我們提出的規劃的拓撲方法，介紹它的原理及實現技術。第6章講述時間規劃的關係矩陣法，介紹其理論、算法及其完備性。第7章介紹統計啟發式搜尋方法，分析它的理論、計算複雜性、算法的實現，這種算法的特點及其與分層遞階的關係。最後，在附錄中介紹了若干與本書內容關係密切的數學內容，主要是統計推斷與點集拓撲的某些概念和結論，作為不熟悉這部分數學內容的讀者閱讀時參考。 本書是從事計算機、數學以及對人工智慧有興趣的科學工作者的有益參考書。
目錄
第1章 問題提出
1.1 問題提出
1.2 不同粒度世界的描述
1.3 不同粒度世界的獲得
1.4 不同粒度世界的關係
1.5 性質的保持性
1.6 粒度的選擇與調整
1.7 小結
第2章 分層遞階
2.1 分層遞階模型
2.2 計算複雜性估計
2.3 上層空間信息的提取
2.4 模糊等價關係與分層方法
2.5 模糊商空間理論的套用
第3章 合成技術
3.1 引言
3.2 合成的數學模型
3.3 論域的合成
3.4 拓撲結構的合成
3.5 空間結構為半序結構情況的結構合成
3.6 屬性函式的合成
3.7 商逼近
3.8 商空間理論的推廣
3.9 小結
第4章 推理模型
4.1各種不同的推理模型
4.2不確定性與粒度的關係
4.3網路推理模型（一）
4.3.1投影問題
4.3.2合成問題
4.4網路推理模型（二）
4.4.1模型的建立
4.4.2與或關係的投影
4.4.3與或關係的合成
4.4.4結論
4.5運算與商結構
4.5.1商運算的存在性
4.5.2商運算的獲取
4.5.3商運算的逼近
4.5.4約束與商約束
4.6定性推理
4.6.1定性推理的模型
4.6.2例
4.6.3定性推理的步驟
4.7基於商空間結構的模糊推理
4.7.1基於商空間模型的模糊集論
4.7.2模糊化的商空間理論
4.7.3三種粒度計算方法的轉換
4.7.4機率推理模型的轉換
4.7.5結論
第5章運動規劃
5.1人工智慧中的規劃問題
5.1.1簡單世界的規劃問題
5.1.2現實世界的規劃問題
5.1.3空間規劃
5.2運動規劃的幾何方法
5.2.1姿態空間表示
5.2.2求無碰路徑
5.2.3小結
5.3運動規劃的拓撲模型
5.3.1問題求解的拓撲方法的數學模型
5.3.2無碰路規劃的拓撲模型
5.4降維法
5.4.1基本原理
5.4.2特徵網路
5.5套用
5.5.1平面桿件的無碰路規劃
5.5.2多關節機械手的規劃
5.5.3多粒度方法的套用
5.6相碰檢測
5.6.1計算模型的討論
5.6.2計算量的估計
5.7商空間方法在機械裝配規劃中的套用
5.7.1引言
5.7.2基於商空間的機械裝配規劃方法
5.7.3討論
第6章時間規劃
6.1時間規劃方法中存在的問題
6.2時間規劃的關係矩陣方法（一）
6.2.1基於點關係的時間邏輯
6.2.2時間關係的關係矩陣表示法
6.3求R時刻表
6.3.1幾個概念
6.3.2關係矩陣的簡化
6.3.3求R時刻表的算法
6.4求D時刻表
6.4.1幾個符號
6.4.2求基本賦值
6.4.3算法Ⅱ的完備性
6.4.4求D時刻表的算法
6.5求最優D時刻表
6.5.1引言
6.5.2求最優D時刻表的算法
6.5.3算法Ⅲ′的計算量
6.6時間規劃的近似解
6.6.1求ε近似D時刻表的方法
6.6.2算法Ⅳ的完備性
6.6.3求漸近最優D時刻表
6.7時間規劃的關係矩陣方法(二)
6.7.1關係矩陣的構成
6.7.2求R時刻表的方法
6.8資源分配
6.8.1時差
6.8.2勞動力分配方法
6.9商空間方法在時間規劃中的套用
6.9.1問題的提法
6.9.2商空間理論中的保假原理
6.9.3多成分的時間規劃問題的商空間方法
6.9.4例
第7章統計啟發式搜尋
7.1統計啟發式搜尋
7.1.1啟發式搜尋方法
7.1.2統計推斷
7.1.3統計啟發式搜尋
7.2SA法的計算複雜性
7.2.1SPA算法
7.2.2SAA算法
7.2.3其他類型的SA法
7.2.4逐次運算
7.3統計啟發式搜尋方法的討論
7.3.1統計啟發式搜尋方法與商空間理論
7.3.2假設Ⅰ條件的討論
7.3.3統計量的討論
7.3.4SA算法
7.4統計啟發式搜尋方法與A*法的比較
7.4.1與A*法的比較
7.4.2與其他加權技術的比較
7.4.3其他方面的比較
7.5圖搜尋的SA法
7.5.1圖搜尋問題
7.5.2與/或圖搜尋
7.6商空間粒度計算方法與啟發式搜尋
附錄A點集拓撲的一些概念與性質
A.1關係與映射
A.1.1關係
A.1.2等價關係
A.1.3映射、一一映射
A.1.4有限集、可數集、不可數集
A.2拓撲空間
A.2.1距離空間
A.2.2拓撲空間
A.2.3導集、閉集、閉包
A.2.4內部、邊界
A.2.5拓撲的基和次基
A.2.6連續映射與同胚
A.2.7拓撲的比較、積空間、商空間
A.3分離性公理
A.3.1T0，T1，T2空間
A.3.2T3，T4，正則，正規空間
A.4可數性公理
A.4.1第一與第二可數性公理
A.4.2可分空間
A.4.3Lindelof空間
A.5緊性
A.5.1緊空間
A.5.2緊性與分離性公理關係
A.5.3幾種緊緻性的關係
A.5.4局部緊與仿緊
A.6連通性
A.6.1連通空間
A.6.2連通分支與局部連通性
A.6.3弧連通空間
A.7序關係、Galois連通和閉包空間
A.7.1序關係和Galois連通
A.7.2閉包運算與閉包空間
A.7.3由不同公理定義的閉包運算
附錄B積分與統計推斷的一些概念與性質
B.1積分的一些性質
B.1.1有界變差函式
B.1.2LS積分
B.1.3在積分符號下取極限
B.2中心極限定理
B.3統計推斷
B.3.1SPRT法
B.3.2ASM法
索引
參考文獻
