知識科學中的基本問題研究
- 所屬分類：
高職高專計..
- 作者：
劉大有 主編
- 出版社：
清華大學出版社
- ISBN：9787302129837
- 出版日期：2006-10-1
-
原價：
￥68.00元
現價：￥51.70元
圖書簡介
由國家自然科學基金委員會信息學部主辦，吉林大學計算機科學與技術學院、軟件學院，教育部符號計算與知識工程重點實驗室和吉林省計算機學會承辦的“知識科學與計算科學高級研討會”于2003年8月24日至25日在吉林省長春市召開。本書即是在該研討會的基礎上形成的。本書內容共分為八個部分： 形式語義和程序驗證，量子計算，時空知識表示理論，定理證明和自動規劃，機器學習和數據分析，Agent技術，因特網和軟件工程中的知識表示和處理，生命信息學。本書主要總結、分析了近年來國內外在知識科學研究方面所取得的新進展。本書輯錄的所有文章均由相關領域的著名專家撰寫，對學術研究有重要的參考價值。
本書適合高校計算機和自動化專業中知識工程和人工智能領域的師生、科研院所及其他機構的工程技術人員和科研人員參考。
目錄
序
前言
第一部分 形式語義和程序驗證
1 PN機理論
1.1 并發現象的起源
1.2 并發系統的典型模型
1.3 三種模型的比較
1.4 PN機模型
1.5 PN機性質
1.6 PN機應用
參考文獻
2 程序規范與程序驗證
2.1 Hoare程序規范
2.2 Dijkstra規范
2.3 模型檢驗與計算樹邏輯
2.4 計算樹邏輯的語義
2.5 多Agents系統與多模態邏輯
參考文獻
第二部分 量子計算
3 量子計算理論：綜述
3.1 引言
3.2 量子自動機理論
3.3 量子形式語言理論
3.4 量子可計算性理論
3.5 量子計算復雜性理論
3.6 量子算法設計技術
參考文獻
4 量子計算
4.1 背景
4.2 量子比特
4.3 簡單量子門
4.4 量子算法
4.5 量子復雜性
4.6 結論
參考文獻
5 兩體量子糾纏純態的相互轉換
5.1 引言
5.2 預備知識
5.3 LOCC下的兩體糾纏轉換
5.4 糾纏輔助下的LOCC
5.5 多拷貝糾纏轉換
5.6 糾纏輔助轉換和多拷貝轉換的關系
5.7 總結
參考文獻
第三部分 時空知識表示理論
6 時空信息表示、推理和應用
……
7 空間知識的定性表示與推理
第四部分 定理證明和自動規劃
8 智能規劃的研究和應用
9 基于表演算的方法與技術
10 基于擴展規則的定理證明和知識編譯
第五部分 機器學習和數據分析
11 一種新的基于概率的分類方法
12 多示例學習
第六部分 Agent技術
13 移動Agent技術研究熱點分析
14 面向Agent的軟件工程研究進展
第七部分 因特網和軟件工程中的知識表示和處理
15 語義Web與NKI
16 管理不一致的軟件需求：研究進展和展望
第八部分 生命信息學
17 圖像紋理研究及其人工生命解決方案
18 真核生物啟動子識別和模糊文法
19 基因芯片數據分析綜述
參考文獻
同類熱銷圖書
| 書名 | 作者 | 出版社 | 價格 | 購買 |
| Office 2007辦公軟件應用教程:工作任務匯編 | 陳靜，張爽.. | 化學工業出版社 | ￥49.00￥39.20 |
詳情 |
| 跟我動手學 S7-300/400PLC（附DVD） | 廖常初 主.. | 機械工業出版社 | ￥32.00￥24.50 |
詳情 |
| Jewel CAD珠寶設計實用教程(第2版) | 王晨旭，劉.. | 人民郵電出版社 | ￥68.00￥54.40 |
詳情 |
| 優秀動漫游系列教材--游戲制作人生存手冊 | (英）愛爾.. | 中國科學技術出版.. | ￥59.00￥39.60 |
詳情 |
| 現代辦公自動化教程（Microsoft Office Specialist 2010 .. | 靳廣斌 主.. | 中國人民大學出版.. | ￥35.00￥28.00 |
詳情 |
| VB6.0 程序設計實訓教程——21世紀高高專規劃教材 | 楊克玉 主.. | 機械工業出版社 | ￥22.00￥16.50 |
詳情 |
| Windows Server 2003網絡管理（21世紀高職高專規劃教材—.. | 姜玉波 等.. | 清華大學出版社 | ￥29.00￥21.80 |
詳情 |
| 計算機網絡安全技術實驗教程 | 周緋菲，何.. | 北京郵電大學出版.. | ￥24.00￥18.90 |
詳情 |
| UG NX7.5 基礎與實例教程（高職高專機電類工學結合模式教.. | 將建國，張.. | 清華大學出版社 | ￥32.00￥24.30 |
詳情 |
| 網頁設計與制作（Dreamweaver+Flash+Photoshop版）（第2版.. | 九州書源 .. | 清華大學出版社 | ￥36.80￥27.60 |
詳情 |
| 路由與交換技術 | 鄧秀慧 | 電子工業出版社 | ￥35.00￥28.00 |
詳情 |
| EDA技術與Verilog HDL | 潘松，黃繼.. | 清華大學出版社 | ￥38.00￥28.90 |
詳情 |
| 中文版Excel 2007電子表格實用教程（計算機基礎與實訓教材.. | 謝啟祥 編.. | 清華大學出版社 | ￥30.00￥20.70 |
詳情 |
| Windows Server 2008服務器搭建與管理（網絡工程師實用培.. | 李書滿，杜.. | 清華大學出版社 | ￥35.00￥26.60 |
詳情 |
| 網頁設計與制作教程（配光盤）（高職高�！肮ぷ鬟^程導向”.. | 孫永道，高.. | 清華大學出版社 | ￥35.00￥26.30 |
詳情 |
| Linux操作系統（第2版） | 邵國金 | 電子工業出版社 | ￥45.00￥36.80 |
詳情 |
| 計算機網絡基礎/高職高�！笆晃濉庇嬎銠C類專業規劃教材 | 顧可民 主.. | 機械工業出版社 | ￥19.00￥14.30 |
詳情 |
| 零起點學辦公自動化——Office 2007視頻教程（配光盤）（I.. | 徐軍，郭晶.. | 清華大學出版社 | ￥29.00￥23.20 |
詳情 |
| VC++程序設計基礎教程（高職高專計算機教學改革新體系規劃.. | 宋金珂，高.. | 清華大學出版社 | ￥28.00￥22.40 |
詳情 |
| （教材）教育部高等學校高職高專計算機類專業建設參考方案 | 溫濤 等編.. | 中國鐵道出版社 | ￥40.00￥32.00 |
詳情 |
| VB語言與測量程序設計(附光盤) | 佟彪 主編 | 中國電力出版社 | ￥39.80￥31.10 |
詳情 |
| 網站推廣（國家骨干高職院校建設成果 電子商務專業工作過.. | 孫丹 主編 | 清華大學出版社 | ￥26.00￥19.80 |
詳情 |
| 綜合布線技術項目教程（第2版） | 禹祿君 主.. | 電子工業出版社 | ￥39.00￥29.20 |
詳情 |
| SQL Server2005數據庫實用教程(新世紀高職高專計算機專業.. | 屈武江，梁.. | 大連理工大學出版.. | ￥35.00￥28.00 |
詳情 |
| 網絡廣告設計與制作——21世紀高職高專藝術設計規劃教材 | 謝成開，王.. | 清華大學出版社 | ￥38.00￥26.30 |
詳情 |
