知識科學(xué)中的基本問題研究
- 所屬分類：
- 作者：
劉大有 主編
- 出版社：
清華大學(xué)出版社
- ISBN：9787302129837
- 出版日期：2006-10-1
-
原價：
￥68.00元
現(xiàn)價：￥51.70元
-
本書信息由合作網(wǎng)站提供，請前往以下網(wǎng)站購買：
圖書簡介
由國家自然科學(xué)基金委員會信息學(xué)部主辦，吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院、軟件學(xué)院，教育部符號計算與知識工程重點實驗室和吉林省計算機學(xué)會承辦的“知識科學(xué)與計算科學(xué)高級研討會”于2003年8月24日至25日在吉林省長春市召開。本書即是在該研討會的基礎(chǔ)上形成的。本書內(nèi)容共分為八個部分： 形式語義和程序驗證，量子計算，時空知識表示理論，定理證明和自動規(guī)劃，機器學(xué)習(xí)和數(shù)據(jù)分析，Agent技術(shù)，因特網(wǎng)和軟件工程中的知識表示和處理，生命信息學(xué)。本書主要總結(jié)、分析了近年來國內(nèi)外在知識科學(xué)研究方面所取得的新進展。本書輯錄的所有文章均由相關(guān)領(lǐng)域的著名專家撰寫，對學(xué)術(shù)研究有重要的參考價值。
本書適合高校計算機和自動化專業(yè)中知識工程和人工智能領(lǐng)域的師生、科研院所及其他機構(gòu)的工程技術(shù)人員和科研人員參考。
目錄
序
前言
第一部分 形式語義和程序驗證
1 PN機理論
1.1 并發(fā)現(xiàn)象的起源
1.2 并發(fā)系統(tǒng)的典型模型
1.3 三種模型的比較
1.4 PN機模型
1.5 PN機性質(zhì)
1.6 PN機應(yīng)用
參考文獻
2 程序規(guī)范與程序驗證
2.1 Hoare程序規(guī)范
2.2 Dijkstra規(guī)范
2.3 模型檢驗與計算樹邏輯
2.4 計算樹邏輯的語義
2.5 多Agents系統(tǒng)與多模態(tài)邏輯
參考文獻
第二部分 量子計算
3 量子計算理論：綜述
3.1 引言
3.2 量子自動機理論
3.3 量子形式語言理論
3.4 量子可計算性理論
3.5 量子計算復(fù)雜性理論
3.6 量子算法設(shè)計技術(shù)
參考文獻
4 量子計算
4.1 背景
4.2 量子比特
4.3 簡單量子門
4.4 量子算法
4.5 量子復(fù)雜性
4.6 結(jié)論
參考文獻
5 兩體量子糾纏純態(tài)的相互轉(zhuǎn)換
5.1 引言
5.2 預(yù)備知識
5.3 LOCC下的兩體糾纏轉(zhuǎn)換
5.4 糾纏輔助下的LOCC
5.5 多拷貝糾纏轉(zhuǎn)換
5.6 糾纏輔助轉(zhuǎn)換和多拷貝轉(zhuǎn)換的關(guān)系
5.7 總結(jié)
參考文獻
第三部分 時空知識表示理論
6 時空信息表示、推理和應(yīng)用
……
7 空間知識的定性表示與推理
第四部分 定理證明和自動規(guī)劃
8 智能規(guī)劃的研究和應(yīng)用
9 基于表演算的方法與技術(shù)
10 基于擴展規(guī)則的定理證明和知識編譯
第五部分 機器學(xué)習(xí)和數(shù)據(jù)分析
11 一種新的基于概率的分類方法
12 多示例學(xué)習(xí)
第六部分 Agent技術(shù)
13 移動Agent技術(shù)研究熱點分析
14 面向Agent的軟件工程研究進展
第七部分 因特網(wǎng)和軟件工程中的知識表示和處理
15 語義Web與NKI
16 管理不一致的軟件需求：研究進展和展望
第八部分 生命信息學(xué)
17 圖像紋理研究及其人工生命解決方案
18 真核生物啟動子識別和模糊文法
19 基因芯片數(shù)據(jù)分析綜述
參考文獻
