保守擴展

保守擴展是邏輯中的一個概念 。 一個知識庫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的保守擴展 。