知識科學(xué)中的基本問題研究

內(nèi)容概要

由國家自然科學(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ù)分析綜述參考文獻

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    知識科學(xué)中的基本問題研究 PDF格式下載

---