保守擴展是邏輯中的一個概念。一個知識庫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的保守擴展。
邏輯運用
補充說明在邏輯語言語法(Syntax)中一個語言集合的組成元素:
1)常數符號a,b,c,d,........
2)函式符號f,g,......並且每個函式符號標有所帶參數的個數注意當函式f不帶有參數時這時就變成了一個常數符號
3）命題邏輯符號P,Q,(或p,q)........
4)謂詞關係邏輯符號P,Q（或p,q）,........並且每個謂詞標有所帶參數的個數注意當謂詞關係邏輯符號P不帶有參數時，就變成命題邏輯符號P這裡的參數在邏輯語言中叫做項(Term)(項是一個最小有限集合)
一個項可以是:
1)一個變數符號(通常我們用小寫字母x,y,z等表達)比如x,y,z,x1,x2,x3,..........
2)一個常數符號(通常我們用小寫字母a,b,c,d等表達)比如a,b,c,d,a1,b1,c3,...........
3)一個函式符號並且該函式標有所帶參數(通常我們用小寫字母f,g,q等表達）f(t1,t2,t3,......tn),其中所帶的參數t1,t2,.......,tn也是由項組成他是最小的有限的集合,換句話說一個項是一個有限樹，他的葉子個數是有限的比如f(x,b,f(y,c,g(z)))他是一個項其中x,y,z是變數，b,c是常數，f,g是函式符號
