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

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

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