arXiv:2504.15417v1 类型:跨领域 摘要: Datalog$^\neg$ 是在从演绎数据库和抽象论辩框架到回答集编程的各种领域中广泛使用的中心形式主义。其模型理论是为正常逻辑程序开发的逻辑语义的有限对应物，主要基于克拉克完成和两值或三值典范模型的概念，包括支持、稳定、常规和良基模型。在本文中，我们建立了 Datalog$^\neg$ 与布尔网络理论之间的形式联系，布尔网络理论最初由史都阿特·考夫曼和雷内·托马斯引入，用于推理基因调控网络。我们使用布尔网络理论中的一些先前结果来证明，在 Datalog$^\neg$ 程序中不存在奇圈时，常规模型与稳定模型一致，这意味着存在稳定模型；在不存在偶圈时，我们展示了稳定部分模型的唯一性，这意味着常规模型的唯一性。You 和 Yuan 在 1994 年为正常逻辑程序声称的这些关于常规模型的结果，但我们在负正常逻辑程序中仅能修正他们对良基分层的定义及其证明中的问题。我们还使用 Datalog$^\neg$ 程序的原子依赖图中反馈顶点集的基数来提供稳定部分模型、常规模型和稳定模型数量的上界。有趣的是，我们与布尔网络理论的联系还引导我们关注 Datalog$^\neg$ 程序的陷阱空间概念。我们将支持或稳定的陷阱空间的概念与 Datalog$^\neg$ 的其他语义联系起来，并展示了子集最小的稳定的陷阱空间与常规模型之间的等价性。