本文對(duì)不確定性語(yǔ)義的時(shí)態(tài)查詢問(wèn)題進(jìn)行研究,主要目的為解決時(shí)態(tài)查詢及其演算在表達(dá)能力與計(jì)算復(fù)雜性之間的兩難性平衡優(yōu)化問(wèn)題。在時(shí)空大數(shù)據(jù)、時(shí)空眾包與云計(jì)算等應(yīng)用的催化下,時(shí)態(tài)形式化演算已日益復(fù)雜,對(duì)知識(shí)表達(dá)的范疇有了極大擴(kuò)充。但在知識(shí)表達(dá)能力提高的同時(shí),演算系統(tǒng)的計(jì)算復(fù)雜性也產(chǎn)生了膨脹,甚至組合爆炸。計(jì)算復(fù)雜性與表達(dá)能力之間存在兩難性選擇:如降低表達(dá)能力,加快運(yùn)算速度,易造成精度不足;如降低計(jì)算復(fù)雜性,則使得知識(shí)難以表達(dá)完全,造成計(jì)算與預(yù)測(cè)錯(cuò)誤。尤其在不確定性語(yǔ)義、多值與模糊語(yǔ)義方面,急需優(yōu)化配置計(jì)算能力與資源。主要方法為采用句法邏輯相對(duì)自由,語(yǔ)義模型由群論支撐并具高度抽象性的子結(jié)構(gòu)邏輯作為形式化工具,對(duì)時(shí)態(tài)演算機(jī)制進(jìn)行優(yōu)化與查詢中間件原型設(shè)計(jì)與實(shí)現(xiàn)。主要研究?jī)?nèi)容包括:1)建立基于子結(jié)構(gòu)邏輯的不確定性語(yǔ)義演算機(jī)制,將時(shí)態(tài)屬性映射為類(lèi)型語(yǔ)義,從句法演算中剝離時(shí)間屬性,簡(jiǎn)化句法邏輯;2)根據(jù)句法邏輯,提出可靠并完全于句法演算的代數(shù)語(yǔ)義模型,建立比句法演算更為高速有效的邏輯語(yǔ)義演算,加速查詢運(yùn)算;3)據(jù)演算系統(tǒng),設(shè)計(jì)并實(shí)現(xiàn)了查詢中間件原型,優(yōu)化了不確定性語(yǔ)義時(shí)態(tài)查詢過(guò)程與機(jī)制。通過(guò)對(duì)應(yīng)理論(Co...

【文章頁(yè)數(shù)】：69 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究背景及意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 論文的研究?jī)?nèi)容
    1.4 論文的組織架構(gòu)
第二章 預(yù)備知識(shí)
    2.1 查詢語(yǔ)言與時(shí)態(tài)數(shù)據(jù)模型
    2.2 時(shí)態(tài)關(guān)系代數(shù)
        2.2.1 關(guān)系演算與形式化描述
        2.2.2 時(shí)態(tài)完備性
    2.3 邏輯方法與知識(shí)表達(dá)
    2.4 Allen方法及時(shí)態(tài)區(qū)間運(yùn)算
    2.5 本章小結(jié)
第三章 時(shí)態(tài)查詢中間件原型架構(gòu)與建模
    3.1 中間件的時(shí)態(tài)查詢語(yǔ)義轉(zhuǎn)換
        3.1.1 時(shí)態(tài)邏輯演算
        3.1.2 并發(fā)Lambek演算系統(tǒng)及代數(shù)模型
    3.2 子結(jié)構(gòu)邏輯系統(tǒng)
        3.2.1 系統(tǒng)的判定性
        3.2.2 計(jì)算復(fù)雜性證明
        3.2.3 查詢操作與函數(shù)依賴
    3.3 中間件的時(shí)態(tài)查詢句法分析
    3.4 中間件原型建模
        3.4.1 系統(tǒng)整體架構(gòu)
        3.4.2 Valid函數(shù)及時(shí)態(tài)關(guān)系運(yùn)算擴(kuò)展
    3.5 本章小結(jié)
第四章 中間件原型驗(yàn)證與實(shí)驗(yàn)分析
    4.1 中間件原型查詢準(zhǔn)確率驗(yàn)證實(shí)驗(yàn)
    4.2 時(shí)態(tài)中間件查詢效率對(duì)比實(shí)驗(yàn)
    4.3 實(shí)驗(yàn)結(jié)果分析及說(shuō)明
    4.4 本章小結(jié)
總結(jié)與展望
參考文獻(xiàn)
攻讀學(xué)位期間發(fā)表論文
致謝



本文編號(hào)：3741440