保守扩展 保守扩展是逻辑中的一个概念一个知识库K是K的扩展如果K是K的一个子集K是K的保守扩展如果对所有只用K中的名字构造的命题 α displaystyle alpha   K  α displaystyle vDash alpha  当且仅当 K  α displaystyle vDash alpha  换句话说保守扩展不会改变原有的知识库的结构保守扩展在许多领域都有应用如模块化本体和敏感知识的保护 在逻辑和推导机制中I和J分别是一个解释Interpretation如果J是I的保守扩展必须满足以下条件  解释I作用在语言集合L中解释J必须作用在语言集合L中并且L包含L  解释I的域Domain等于解释J的域  对于任何在语言集合L中的元素eIe  Je 那么我们说J是I的保守扩展