共找到10條詞條名為DL的結果 展開
DL
詞語
描述邏輯(DescriptionLogic)是基於對象的知識表示的形式化，它吸取了KL-ONE的主要思想，是一階謂詞邏輯的一個可判定子集。除了知識表示以外，描述邏輯還用在其它許多領域，它被認為是以對象為中心的表示語言的最為重要的歸一形式。描述邏輯的重要特徵是很強的表達能力和可判定性，它能保證推理演演算法總能停止，並返回正確的結果。在眾多知識表示的形式化方法中，描述邏輯在十多年來受到人們的特別關注，主要原因在於：它們有清晰的模型-理論機制；很適合於通過概念分類學來表示應用領域；並提供了很多有用的推理服務。
描述邏輯領域較，描述邏輯越越。際描述邏輯領域識示具，息系統（,）,據庫（,;;,）軟體工程(Devambu,1991)，網路智能訪問（Levy，1996；Blanco，1994）和規劃（Seida,1992）。上述的許多文章中都指出，對許多相應的應用領域通常需要DL的整體能力。（Doyle1991）
描述邏輯始示靜態識。考慮化，化，及保持語言簡單，需模態算擴展，保留題模態狀態。眾周，即簡單模態系統的綜合，也可能會導致很複雜的系統。Schild，Schmiedel等人最初所構造的時序描述邏輯和認知邏輯要麼就是因為表達能力太強而導致不可判定性，要麼就是太弱（時態運算元僅僅對公式或者概念是可用的）。Baader和Laux則進行了折中，將描述邏輯ALC與多態K相結合，允許將模態運算元使用到公式和概念上，並證明在擴展領域模型中的結果語言的滿足性問題是可判定的。Wolter等對具有模態運算元的描述邏輯進行了深入系統的調查分析，並證明在恆定的領域假設下多種認知和時序描述邏輯是可判定的。他將將描述邏輯和命題動態邏輯PDL相結合，提出了動態描述邏輯。
規劃統框架示推，..()提識示系統，約束狀態、規劃示統。該示效推具確語義，描述邏輯合，形識示。具優：()統示狀態、規劃，景演算；()效推，該框架足題包含檢測題項式；()確語義；()規劃識。
可滿足性問題是描述邏輯推理中的核心問題，因為其它許多問題（如包含檢測、一致性問題等）都可化為可滿足性問題。為了能用計算機自動判斷描述邏輯中可滿足性問題，Schmidt-Schaub和Smolka首先建立了基於描述邏輯ALC的Tableau演演算法，該演演算法能在多項式時間內判斷描述邏輯ALC概念的可滿足性問題。目前，Tableau演演算法已用於各種描述邏輯中（如ALCN、ALCQ等），並且Tableau演演算法也可用於判斷實例檢測等問題。現在主要研究各種描述邏輯中Tableau演演算法的擴展、複雜性及優化策略等。
為了能讓描述邏輯處理模態詞，F.Baader將模態操作引入描述邏輯。證明了該描述邏輯公式的可滿足性問題是可判定的。結合可能世界語義和可達關係，引入時間依賴和信念等模態操作，提出了多維描述邏輯框架，該描述邏輯較好的刻畫了多主體系統模型。目前，主要研究工作集中在建立合理的模態公理及多維描述邏輯。在描述邏輯中第一個整合時間的方法是由A.Schmiedel提出來的。他使用了兩個時間運算符來擴展描述邏輯，提出了在時間段上受限的全稱和存在量詞。Schild提出了一種簡單的時序擴張，利用時態邏輯(tenselogic)中在時間點“自從”Since和“直到”Until上的時序運算符來討論ALC邏輯。
