基于描述邏輯的時態(tài)擴充研究及應用.pdf

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

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