基于描述邏輯的時(shí)態(tài)擴(kuò)充研究及應(yīng)用.pdf

1、近年來，描述邏輯由于其強(qiáng)大的表達(dá)能力和良好的計(jì)算性質(zhì)，在知識(shí)工程領(lǐng)域受到廣泛關(guān)注。但是，描述邏輯適用于表達(dá)靜態(tài)信息，難以表示在許多領(lǐng)域都有應(yīng)用前景的時(shí)態(tài)信息。因此，我們有必要對(duì)描述邏輯進(jìn)行時(shí)態(tài)擴(kuò)充。而使用具體領(lǐng)域(concrete domain)方法可使得我們方便地處理時(shí)態(tài)信息，因此我們?cè)O(shè)計(jì)了時(shí)間具體領(lǐng)域，擴(kuò)充到描述邏輯語言ALC中，從而提出新語言ALC(T)。 本文中，我們首先介紹了ALC(T)的語法和語義解釋，然后在此基礎(chǔ)上

2、介紹了ALC(T)可提供的推理服務(wù)，并提出時(shí)間具體領(lǐng)域的一致性檢測(cè)算法和ALC(T)概念的可滿足性判定算法，并對(duì)其計(jì)算性質(zhì)做出一定的分析。另外，我們對(duì)描述邏輯的DIG通信接口做出相應(yīng)的修改，并設(shè)計(jì)了簡(jiǎn)易ALC(T)推理機(jī)以及DIG客戶端，推理機(jī)內(nèi)則實(shí)現(xiàn)了我們所提出的概念可滿足性判定算法。最后，提出了今后的研究方向。 通過算法的可靠性分析和最后的實(shí)例演示，我們可得出結(jié)論ALC(T)同時(shí)具備了ALC的表達(dá)推理能力和一定的時(shí)態(tài)處理能力