稳定模型与一种替代的逻辑编程范式

本文重新审视稳定模型语义在逻辑编程中的地位和作用，并将其与Horn程序的最小赫布兰德模型方法进行对比。我们证明了稳定模型语义的固有特征自然地导致了一种逻辑编程系统，它为比传统Horn逻辑编程、分层逻辑编程和好基语义逻辑编程更有趣的替代方案。所提方法基于将程序子句解释为约束。在此设定下，程序不描述单一预期模型，而是描述一族稳定模型。这些稳定模型编码了程序所描述的约束满足问题的解。我们的方法对逻辑程序的语法施加限制。特别是，从语言中消除了函数符号。我们论证由此产生的逻辑编程系统非常适合NP类问题，具有明确定义的应用领域，以及新兴的编程方法论。我们指出，使整个方法可行的是命题逻辑程序稳定模型计算算法实现的最新进展。