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