Based on tableau method, we present a feasible algorithm to check the consistency of KB, to extend, subtract, and change KB.

• 使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和修正，给出可行方法。