K的扩展，如果K是K'的一个子集；K'是K的保守扩展，如果对所有只用K中的名字构造的命题formula_1, K'formula_2 当且仅当 Kformula_2。换句话说，保守扩展不会改变原有的知识库的结构。保守扩展在许多领域都有应用，如模块化本体和敏感知识的保护。在逻辑和推导机制中，I和J分别是一个解释(Interpretation),如果J是I的保守扩展，必须满足以下条件:那么我们说J是I的保守扩展。
补充说明.在逻辑语言语法(Syntax)中这里的参