描述邏輯(descriptionlogic)是基於物件的知識表示的形式化，它吸取了kl-one的主要思想，是一階謂詞邏輯的乙個可判定子集。它與一階謂詞邏輯不同的是，描述邏輯系統能提供可判定的推理服務。除了知識表示以外，描述邏輯還用在其它許多領域，它被認為是以物件為中心的表示語言的最為重要的歸一形式。描述邏輯的重要特徵是很強的表達能力和可判定性，它能保證推理演算法總能停止，並返回正確的結果。在眾多知識表示的形式化方法中，描述邏輯在十多年來受到人們的特別關注，主要原因在於：它們有清晰的模型-理論機制；很適合於通過概念分類學來表示應用領域；並提供了很用的推理服務。
由於描述邏輯在很多不同應用領域中都有較好的應用，這使得描述邏輯的結果變得越來越重要。實際上描述邏輯在許多領域中被作為知識表示的工具，如資訊系統（catarci,1993）,資料庫（borgida,1995;bergamaschi1992;sheth,1993）軟體工程(devambu,1991)，網路智慧型訪問（levy，1996；blanco，1994）和規劃（seida,1992）。上述的許多文章中都指出，對許多相應的應用領域通常需要dl的整體能力。（doyle1991）
描述邏輯最開始只是用來表示靜態知識的。為了考慮在時間上的變化，或者在一定動作下的變化，以及保持其語言的相對簡單性，很自然地我們需要通過相應的模態運算元來擴充套件它，以保留其命題模態狀態。眾所周知，即使只是對簡單的模態系統的綜合，也可能會導致很複雜的系統。schild，schmiedel等人最初所構造的時序描述邏輯和認知邏輯要麼就是因為表達能力太強而導致不可判定性，要麼就是太弱（時態運算元僅僅對公式或者概念是可用的）。baader和laux[2]則進行了折中，將描述邏輯alc與多型k相結合，允許將模態運算元使用到公式和概念上，並證明在擴充套件領域模型中的結果語言的滿足性問題是可判定的。wolter等對具有模態運算元的描述邏輯進行了深入系統的調查分析，並證明在恆定的領域假設下多種認知和時序描述邏輯是可判定的。他將將描述邏輯和命題動態邏輯pdl相結合，提出了動態描述邏輯。
為了對動作和規劃能在統一的框架下進行表示和推理，a.artale和e.franconi(1998)提出了乙個知識表示系統，用時間約束的方法將狀態、動作和規劃的表示統一起來。為了能使該表示方法進行有效的推理和具有明確的語義，它又和描述邏輯結合起來，從而形成了乙個很好的知識表示方法。它具有以下優點：(i)能用統一的方法表示狀態、動作和規劃，這一點與情景演算不同；(ii)能進行高效的推理，該框架下的可滿足性問題和包含檢測問題等都是多項式時間；(iii)有明確的語義；(iv)能自動進行規劃識別。
可滿足性問題是描述邏輯推理中的核心問題，因為其它許多問題（如包含檢測、一致性問題等）都可化為可滿足性問題。為了能用計算機自動判斷描述邏輯中可滿足性問題，schmidt-schaub和smolka首先建立了基於描述邏輯alc的tableau演算法，該演算法能在多項式時間內判斷描述邏輯alc概念的可滿足性問題。目前，tableau演算法已用於各種描述邏輯中（如alcn、alcq等），並且tableau演算法也可用於判斷例項檢測等問題。現在主要研究各種描述邏輯中tableau演算法的擴充套件、複雜性及優化策略等。
為了能讓描述邏輯處理模態(modal)詞，f.baader將模態操作引入描述邏輯。證明了該描述邏輯公式的可滿足性問題是可判定的。結合可能世界語義和可達關係，引入時間依賴和信念等模態操作，提出了多維描述邏輯框架，該描述邏輯較好的刻畫了多主體系統模型。目前，主要研究工作集中在建立合理的模態公理及多維描述邏輯。在描述邏輯中第乙個整合時間的方法是由a.schmiedel提出來的。他使用了兩個時間運算子來擴充套件描述邏輯，提出了在時間段上受限的全稱和存在量詞。schild提出了一種簡單的時序擴張，利用時態邏輯(tenselogic)中在時間點「自從」since和「直到」until上的時序運算子來討論alc邏輯。
ps:alc是dl的一種，dl包括很多種子語言，最基本的語言是 al（attributive language）， alc是al的乙個子語言，c表示complement，但是這個complement是對於任意的乙個概念（因為在al定義的僅僅是原子否定），你可以理解為對任意乙個概念的否定，所以alc（attribute language complement）是在al語言上加上可以對任意乙個概念否定。
C 中的幾個概念
1.命名空間 關鍵字 namespace 目的 為了解決變數命名衝突的問題，同乙個變數名a在不同的作用域下，含義是不同的。includeusing namespace std namespace aa1 namespace aa2 2.c 基本的輸入輸出流 1 標準輸入流物件cin 在標頭檔案中，指...
LVM中的幾個概念
lvm中的幾個概念 pv physical volume 物理卷在邏輯卷管理系統 最底層，可為整個物理硬碟 或實際物理硬碟上的分割槽。vg volume group 捲組建立在物理卷上，一捲組中至少要包括一物理卷，捲組建立後可動態的新增捲到卷組中，乙個邏輯卷管理系統工程中可有多個捲組。lv logi...
websphere中的幾個概念
什麼是單元 cell 什麼是節點 node node profile 與 server 之間的關係是什麼？答 單元 單元是整個分布式網路中乙個或多個節點的邏輯分組。單元是乙個配置概念，是管理員將節點間邏輯關聯起來的實現方法。管理員根據具體的業務環境，制定對其整體系統整合環境有意義的條件來定義和組織構...