Under a generalized abduction framework, the update problem of KB (knowledge-base) is discussed in this paper.

• 摘要在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题。