詞語解釋
保守擴展是邏輯中的一個概念。一個知識庫K''是是K的擴展,如果K是K''的一個子集;K''是是K的保守擴展,如果對所有只用K中的名字構造的命題α, K'' 當且僅當 K。換句話說,保守擴展不會改變原有的知識庫的結構。保守擴展在許多領域都有應用,如模塊化本體和敏感知識的保護。
在邏輯和推導機制中,I和J分別是一個解釋(Interpretation),如果J是I的保守擴展,必須滿足以下條件:
1) 解釋I作用在語言集合L中,解釋J必須作用在語言集合L''中,并且L''包含L
2) 解釋I的域(Domain)等于解釋J的域
3) 對于任何在語言集合L中的元素e,I(e) = J(e)
那么我們說J是I的保守擴展。
掃碼付費即可復制
X
NDSL | 光纖到節(jié)點 | CDNs | 時分多址接入 | 碼分多址接入 | 原建國 | 機群系統(tǒng) | 移頻鍵控 | 單層系統(tǒng) | DTM | MMSE | LND |