《知識科學中的基本問題研究》是2006年10月1日清華大學出版社出版的圖書。
基本介紹
- 書名：知識科學中的基本問題研究
- 作者：劉大有
- ISBN：7302129835
- 頁數：533頁
- 定價：68
- 出版社：清華大學出版社
- 出版時間：第1版 (2006年10月1日)
- 裝幀：平裝
- 開本：16開
- ASIN：B0011CF0CY
基本信息,內容簡介,圖書目錄,
基本信息
出版社: 清華大學出版社; 第1版 (2006年10月1日)
叢書名: 中國計算機學會學術著作叢書/知識科學系列平裝: 533頁
條形碼: 9787302129837
產品尺寸及重量: 23 x 18.5 x 2.7 cm ; 880 g
內容簡介
由國家自然科學基金委員會信息學部主辦，吉林大學計算機科學與技術學院、軟體學院，教育部符號計算與知識工程重點實驗室和吉林省計算機學會承辦的“知識科學與計算科學高級研討會”於2003年8月24日至25日在吉林省長春市召開。本書即是在該研討會的基礎上形成的。本書內容共分為八個部分： 形式語義和程式驗證，量子計算，時空知識表示理論，定理證明和自動規劃，機器學習和數據分析，Agent技術，網際網路和軟體工程中的知識表示和處理，生命信息學。本書主要總結、分析了近年來國內外在知識科學研究方面所取得的新進展。本書輯錄的所有文章均由相關領域的著名專家撰寫，對學術研究有重要的參考價值。
圖書目錄
序Ⅲ
前言Ⅴ
第一部分形式語義和程式驗證
1PN機理論 蔣昌俊3
1.1並發現象的起源3
1.2並發系統的典型模型3
1.2.1Petri網3
1.2.2通信順序進程4
1.2.3通信演算系統4
1.3三種模型的比較5
1.4PN機模型5
1.5PN機性質6
1.6PN機套用6
1.6.1在並行程式驗證中的套用6
1.6.2在系統分解驗證中的套用9
1.6.3在加工系統設計與驗證中的套用11
參考文獻13
2程式規範與程式驗證 陳儀香15
2.1Hoare程式規範17
2.2Dijkstra規範20
2.3模型檢驗與計算樹邏輯22
2.4計算樹邏輯的語義26
2.5多Agents系統與多模態邏輯29
參考文獻31
第二部分量子計算
3量子計算理論：綜述 程偉王珏37
3.1引言37
3.2量子自動機理論40
3.2.1量子有限自動機理論41
3.2.2量子下推自動機理論45
3.2.3量子圖靈機理論48
3.3量子形式語言理論51
3.4量子可計算性理論54
3.4.1量子有限自動機的可判定性和不可判定性問題54
3.4.2突破Church-Turing論題的限制55
3.4.3討論56
3.5量子計算複雜性理論57
3.5.1量子NP問題57
3.5.2量子時間複雜性類58
3.5.3量子空間複雜性類59
3.5.4其他量子計算複雜性問題59
3.5.5討論60
3.6量子算法設計技術61
3.6.1量子隨機遊走61
3.6.2量子絕熱進化62
3.6.3量子幅度放大63
3.6.4量子傅立葉變換64
3.6.5討論65
參考文獻65
4量子計算 朱洪卜天明71
4.1背景71
4.2量子比特71
4.3簡單量子門72
4.4量子算法73
4.4.1Shor的算法74
4.4.2Grover的算法74
4.4.3其他算法74
4.5量子複雜性75
4.6結論76
參考文獻76
5兩體量子糾纏純態的相互轉換 段潤堯馮元應明生78
5.1引言78
5.1.1從經典相關談起78
5.1.2量子糾纏的歷史回顧79
5.1.3量子糾纏理論的概述80
5.1.4有限資源下的糾纏轉換81
5.2預備知識82
5.2.1量子力學的基本要素82
5.2.2關於優超的一些基本結果84
5.3LOCC下的兩體糾纏轉換86
5.3.1LOCC下兩體糾纏純態的相互轉換86
5.3.2任意兩個兩體糾纏純態之間的確定轉換88
5.3.3LOCC下糾纏轉換的數學結構89
5.4糾纏輔助下的LOCC90
5.4.1量子催化現象90
5.4.2量子催化劑的存在性92
5.4.3糾纏輔助的LOCC的數學結構94
5.5多拷貝糾纏轉換101
5.5.1多拷貝轉換現象101
5.5.2多拷貝轉換的判定103
5.5.3多拷貝轉換機制的數學結構103
5.6糾纏輔助轉換和多拷貝轉換的關係107
5.6.1ELOCC與MLOCC的關係107
5.6.2糾纏轉換與Renyi熵108
5.6.3機率情形的對偶110
5.7總結110
參考文獻111
第三部分時空知識表示理論
6時空信息表示、推理和套用
劉大有王生生謝琦胡鶴歐陽繼紅虞強源孫吉貴歐陽丹彤117
6.1引言117
6.2時空交叉知識推理方法118
6.2.1邏輯方法119
6.2.2代數方法121
6.3多種空間關係的表示和綜合125
6.3.1單一空間關係125
6.3.2綜合空間關係127
6.4時空信息的模糊性、不確定性和粒度128
6.4.1空間和時間信息的不確定性128
6.4.2時空信息不確定性130
6.4.3時空粒度131
6.5時空本體132
6.5.1時空本體屬性132
6.5.2時空本體研究134
6.6時空推理套用135
6.6.1地理信息系統135
6.6.2時空資料庫136
6.7結論137
參考文獻139
副報告：關於RCC8推理複雜性的一個註記 李三江149
參考文獻150
7空間知識的定性表示與推理 李三江應明生152
7.1引言152
7.2區域連線演算155
7.3空間知識的離散和連續模型157
7.3.1空間知識的離散模型157
7.3.2空間知識的連續模型158
7.3.3範疇構造:子結構與定向極限158
7.4RCC8複合表及其外延性159
7.4.1關係複合表159
7.4.2基於模型的關係複合表159
7.4.3基於理論的關係複合表161
7.4.4RCC8複合表161
7.4.5Egenhofer模型的外延性質164
7.5結語164
參考文獻165
副報告：區域連線演算RCC及套用 劉大有王生生胡鶴167
7′.1區域連線演算RCC167
7′.2RCC推理169
7′.2.1複合表推理169
7′.2.2連續變化推理169
7′.2.3約束滿足推理170
7′.3RCC套用170
7′.4結語與展望172
參考文獻173
第四部分定理證明和自動規劃
8智慧型規劃的研究和套用 姜雲飛吳康恆177
8.1引言177
8.1.1智慧型規劃研究歷史178
8.1.2智慧型規劃與問題求解的區別180
8.2經典的智慧型規劃181
8.2.1半序規劃以及規劃的求精181
8.2.2基於邏輯的規劃方法184
8.2.3非層次規劃方法184
8.2.4層次規劃方法185
8.2.5規劃問題複雜度186
8.3非經典的智慧型規劃187
8.3.1圖規劃方法187
8.3.2基於啟發式搜尋的規劃方法190
8.3.3基於逐步細化的分層規劃方法192
8.3.4基於約束可滿足的規劃方法193
8.3.5基於模型檢測的規劃方法195
8.4基於資源約束的智慧型規劃200
8.4.1基於資源約束的智慧型規劃的發展200
8.4.2資源約束問題的求解方法201
8.5智慧型規劃系統比賽212
8.5.1第1屆規劃大賽212
8.5.2第2屆規劃大賽213
8.5.3第3屆規劃大賽215
8.6智慧型規劃的套用216
8.6.1航空航天中的套用216
8.6.2在機器人中的套用218
8.6.3在智慧型工廠中的套用218
8.6.4在商業中的套用219
8.7我們的研究進展220
8.7.1在領域約束規劃方面220
8.7.2在規劃識別方面228
8.7.3在網路信息集成方面228
8.7.4在時間表問題研究方面229
8.7.5在通信網路方面229
8.8結論230
參考文獻230
附錄234
副報告：規劃與學習 周志華239
參考文獻240
9基於表演算的方法與技術 孫吉貴吳瑕劉全馮莎莎241
9.1表方法的歷史241
9.2基本的表方法242
9.3自由變數表243
9.4子句表245
9.5連線表246
9.5.1基本連線表246
9.5.2弱連線表247
9.5.3正規表247
9.5.4帶選擇函式的表248
9.5.5超表249
9.5.6帶切和引理的表251
9.5.7決策圖tableau（TDD）方法254
9.5.8翻譯成整數規劃的表方法256
9.6含等詞的表方法256
9.6.1增加擴展規則的表方法256
9.6.2E合一259
9.6.3Superposition方法260
9.7非經典邏輯表方法262
9.7.1直覺邏輯表262
9.7.2模態邏輯表263
9.7.3多值邏輯表265
9.8非單調邏輯表方法266
9.8.1自認知邏輯表267
9.8.2預設邏輯表267
9.8.3最小蘊涵表270
9.9表系統的實現和技術272
9.9.1表系統的實現272
9.9.2表技術273
9.9.2.1在知識和信息方面274
9.9.2.2在資料庫方面276
9.9.2.3診斷方面277
9.9.2.4自然語言理解方面277
9.10結論276
參考文獻277
10 基於擴展規則的定理證明和知識編譯
第五部分 機器學習和數據分析
11 一種新的基於機率的分類方法
12 多示例學習
第六部分 Agent技術
13 移動Agent技術研究熱點分析
14 面向Agent的軟體工程研究進展
第七部分 網際網路和軟體工程中的知識表示和處理
15 語義Web與NKI
16 管理不一致的軟體需求：研究進展和展望
第八部分 生命信息學
17 圖像紋理研究及其人工生命解決方案
18 真核生物啟動子識別和模糊文法
19 基因晶片數據分析綜述
參考文獻
