封闭世界假设及其在知识库中的应用

摘要

对“封闭世界假设”从新的角度进行了解释,据此提出了知识库系统模型,并给出了一种通用失败求反规则(GNAF)和一个多项式时间的知识库设计的递归算法。