Based on tableau method, we present a feasible algorithm to check the consistency of KB, to extend, subtract, and change KB.
英
美
使用表推演方法,检查知识库协调性,对知识库进行扩展、约减和修正,给出可行方法。
目录
查词历史
英 汉