论文部分内容阅读
限制理论是非单调推理中一种强有力的形式化方法。通过在知识库中引入限制机制能够使对系统的查询表现出常识性，但限制理论在计算复杂度方面有困难。该文试图通过运用扩充的封闭世界假设与二阶限制的等价性业实现现实系统中的计算问题，并且由于对知识库的一致性要求，设计了一个基于Ｇｅｎｔｚｅｎ系统的考虑命题相关性的偏偏维护模型。