發(fā)布時間：2024-05-13 02:29

　　描述邏輯是一種基于對象的知識表示的形式化工具,是一個用于描述及推理概念知識的邏輯公式集合體,是一階謂詞邏輯可判定的子集,能夠提供可判定的推理功能,是語義Web的邏輯基礎,在語義Web的發(fā)展過程中起著非常重要的作用。 盡管經典描述邏輯理論的發(fā)展非常迅速且日趨完善,但關于非確定的、模糊的信息表示系統(tǒng)的研究工作卻相對較少。為了使描述邏輯系統(tǒng)能處理更一般化的模糊信息,Straccia給出了基于完備格的模糊描述邏輯L-ALC。但是,為了滿足現(xiàn)實領域的需求,描述邏輯不僅要能夠處理模糊信息,而且要具備處理動態(tài)信息的能力,史忠植等人將描述邏輯ALC、動態(tài)邏輯以及動作理論有機地結合起來,提出了動態(tài)描述邏輯DDL。針對語義Web需要處理模糊的、不精確的靜態(tài)知識和動態(tài)知識的特點和需求,王駒、蔣運承等人提出了一種模糊動態(tài)描述邏輯FDDL,它是根據(jù)模糊邏輯對動態(tài)描述邏輯DDL的模糊化擴充。然而FDDL并不能很好地處理更一般化的模糊靜態(tài)信息和模糊動態(tài)信息。由于布爾格具有一些良好的結構性質,本文主要研究了基于布爾格上的模糊動態(tài)描述邏輯系統(tǒng)LD-ALCN。 本文的主要內容安排如下: 第一章:前言;介紹了與本文內容相關...

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

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第一章 前言
第二章 預備知識
    2.1 描述邏輯ALCN
    2.2 模糊描述邏輯L-ALCN
第三章 布爾格
    3.1 布爾格
    3.2 布爾格的性質
第四章 基于布爾格上的模糊動態(tài)描述邏輯LD-ALCN
    4.1 LD-ALCN 的語法
    4.2 LD-ALCN 的語義
    4.3 LD-ALCN 的推理
第五章 總結與展望
參考文獻
攻讀碩士期間已發(fā)表的論文
致謝



本文編號：3972244