描述邏輯系統(tǒng)εLN中的匹配問題.pdf

1、描述邏輯是一種形式化工具，是一階邏輯的可判定性子集。與其它知識表示工具相比，它具有推理機制能實現(xiàn)知識之間的自動推理，正是如此，它成為當前人工智能界研究的熱點。在過去人們主要研究的是描述邏輯系統(tǒng)中的概念包含關系推理和實例檢測，得到了許多有用的推理算法，但是這些算法都是在假定知識庫已經(jīng)建好的基礎之上，而對于如何構(gòu)建知識庫已有的推理算法顯得無能為力，為了解決這一難題人們提出了另外的一種推理——非標準推理。本文主要研究了含數(shù)量限制和存在限制的描

2、述邏輯系統(tǒng)中的匹配算法，給出了描述邏輯系統(tǒng)εLN中的匹配算法并指出該算法是多項式時間復雜的，這是對FBaader等人的工作的推廣，具有理論上和應用上的意義。 本文首先對 F Baader 在描述邏輯系統(tǒng)εL中定義的概念描述樹進行了改進，定義了εLN中概念的描述樹和描述樹之間的同態(tài)關系，利用概念描述數(shù)之間的同態(tài)關系來刻畫概念之間的包含關系，用描述樹的笛卡爾積來表示概念的最小公共包含概念，然后用概念的最小公共包含概念去取代概念形式中