归纳、ASP 与开放逻辑程序

开放逻辑程序和开放蕴含最近提出了作为基于正常逻辑程序和稳定模型语义的不完整规范验证的抽象框架。开放谓词与可归纳谓词之间显然存在类比。然而，尽管表面相似，开放程序的某些特征在归纳框架中没有直接对应的等价物，反之亦然。类似地，开放程序无法立即用答案集程序 (ASP) 实现。本文我们开始对开放推理、归纳和 ASP 之间关系的彻底调查。我们将证明开放程序概括了另外两个框架。该概括框架建议在概括稳定模型语义下对归纳进行有趣的扩展。在某些情况下，我们可以将开放推理归约为归纳和 ASP，从而估计其计算复杂性。同时，上述归约为应用归纳和 ASP 开辟了新的途径。