稳定模型语义中的部分性与析取展开

本文研究了一种部分和析取稳定模型的实现方法，其中部分性和析取从逻辑程序中展开，以便将正常（无析取）程序的稳定模型实现用作核心推理引擎。展开分两步进行。首先，证明了部分稳定模型可以通过简单的线性和模块化程序转换被全稳定模型捕获。因此，关于部分稳定模型推理任务可以使用全稳定模型的实现来解决。析取部分稳定模型一直缺乏实现，现在由于转换也处理析取情况而变得可用。其次，展示了如何通过计算正常程序的稳定模型来确定析取程序的全稳定模型。因此，正常程序稳定模型的实现可以用作实现析取程序的核心引擎。通过使用smodels系统作为核心引擎构建一个计算析取程序稳定模型的系统，证明了该方法的可行性。将所得系统的性能与dlv（一种用于析取程序的最先进专用系统）进行了比较。