發(fā)布時間：2025-03-18 06:46

　　語義Web的發(fā)展使得其邏輯基礎(chǔ)描述邏輯也成為研究的一個熱點。描述邏輯支持推理，其推理主要涉及如下問題：概念可滿足性(Concept Satisfiability)，包含關(guān)系(Subsumption)，可滿足性(Satisfiabilty)，實例檢測(instance Checking)；而可滿足性是關(guān)鍵問題。用于解決可滿足性的Tableau算法，在當(dāng)前國外的推理機研究中發(fā)揮了重要的作用。但Tableau算法復(fù)雜性和低效率制約了其實際的應(yīng)用。鑒于國內(nèi)推理機研究的貧乏和當(dāng)前推理機效率不高，本文將設(shè)計實現(xiàn)一個基于Tableau算法的推理機原型系統(tǒng)，作為算法優(yōu)化和相關(guān)研究的起點；同時，本文將研究算法內(nèi)部機制，結(jié)合并行計算研究，進行對Tableau算法基礎(chǔ)上的推理機分布化的探索。

【文章頁數(shù)】：68 頁

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

【部分圖文】：

圖2一1描述邏輯到謂詞邏輯的轉(zhuǎn)換描述邏輯是一階謂詞邏輯的一個可判斷的子集，使用描述邏輯代替一階謂詞邏輯的原因是若直接使用一階邏輯，而不附加任何約束，則:

轉(zhuǎn)換結(jié)果就超過一階謂詞。由于描述邏輯變元自由的語法和概念表示個體集的事實，因而概念轉(zhuǎn)換為帶有一個自由變元的公式「Borgida，1996]。把概念看作一元謂詞符號，關(guān)系看作二元謂詞符號，于是得到如圖2一1所示從描述邏輯到謂詞邏輯的轉(zhuǎn)換:描描述邏輯構(gòu)造器器描述邏輯項項轉(zhuǎn)換為的謂....

圖3一1根據(jù)內(nèi)存分布和存儲方式分類從物理劃分上共享內(nèi)存和分布式內(nèi)存是兩種基本的并行計算機存儲方

從物理劃分上共享內(nèi)存和分布式內(nèi)存是兩種基本的并行計算機存儲方式，除此之外分布式共享內(nèi)存也是一種越來越重要的并行計算機存儲方式，如圖3一1。根據(jù)內(nèi)存分布和存儲方式的不同M工MD計算機又可分為以下幾種類型。1)共享存儲MIMD，也稱為對稱多處理機(SMP)

圖3一2并行算法設(shè)計、并行計算模型、并行機三者關(guān)系

并行計算模型是指將各種并行機(至少某一類并行機)的基本特征抽取出來，形成一個處于具體并行機之上的抽象并行計算機。并行計算模型與并行算法設(shè)計、并行計算機之間的關(guān)系如圖3一2:并并行算法設(shè)計計并并行計棄棋型型并并行機機圖3一2并行算法設(shè)計、并行....

圖3一3抽象映射

圖3一3抽象映射一個物理問題并行求解的最終目的是將該問題映射到并行機上。這一物理上的映射是通過不同層次上的抽象映射來實現(xiàn)，如圖3一3。忽略并行機的非本質(zhì)的細(xì)節(jié)特征可以得到該并行機的并行計算模型。在這一模型上可以設(shè)計各種適合該模型的并行算法。并行程序設(shè)計需要將問題的并行求解算法轉(zhuǎn)化....

本文編號：4036167