基于本體論的知識庫系統(tǒng)應用研究.pdf_第1頁
已閱讀1頁，還剩58頁未讀， 繼續(xù)免費閱讀

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、20世紀90年代，本體成為人工智能研究領域的熱門課題。本體的定義是共享概念模型的明確的形式化規(guī)范說明。一個本體主要包括概念、關系、實例、規(guī)則和方法。根據本體的定義，在知識工程領域存在多種形式化模型可以用于表示本體，其中描述邏輯近些年來受到人們的特別關注，主要原因有：它有清晰的模型論語義，很適合通過概念分類來表示應用領域，而且提供了可判定的推理服務。 經典描述邏輯DL(DescriptionLogic)只能定義確定的概念和屬性，并

2、且由此進行的確定推理只能返回true和false這樣的推理結果，顯然無法解決現(xiàn)實世界本體系統(tǒng)中的模糊問題。Straccia擴展描述邏輯ALC(AttributiveConceptDescriptionLanguagewithComplements)提出模糊描述邏輯FALC(FuzzyALC)，該邏輯結合模糊邏輯和描述邏輯的特性。模糊描述邏輯作為知識表示的形式化基礎，已經具有很強的知識表示和推理能力，但是一般的模糊描述邏輯在處理非單調的、

3、不完備的知識時，卻無能為力。 基于上述情況，本文對模糊描述邏輯FALC進行擴展，在模糊描述邏輯的基礎上添加缺省規(guī)則集和約束集，提出了一種既能夠處理非單調、不完備知識又能處理模糊性知識的描述邏輯--非單調模糊描述邏輯NFALC(Non-monotonicFALC)，給出了NFALC的語法和語義解釋，研究了NFALC的性質，給出NFALC與OWL的對應關系，同時給出基于NFALC的推理算法--Tableaux-N算法。 基于

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論