析取逻辑程序与演绎数据库的最小奠基语义

在本文中，我们针对析取逻辑编程与演绎数据库提出了一种稳定模型语义的变体。该语义被称为最小奠基语义，它推广了正规（即非析取）程序的稳定模型语义，但不同于析取稳定模型语义（即稳定模型语义向析取程序的扩展）。与析取稳定模型语义相比，最小奠基语义似乎更为直观，它为在稳定模型语义下无意义的程序赋予了意义，且计算难度并未增加。更具体地说，最小奠基语义仅在析取程序包含约束规则或起约束作用的规则时才与稳定模型语义不同。我们研究了该语义的表达能力，并证明对于一般析取 datalog 程序，其表达能力与析取稳定模型语义相同。