正则模型存在性、唯一性与数量的图形条件

正常逻辑程序的正则模型是一种特定类型的部分（即三值）模型，这些模型对应于最小未定义性的稳定部分模型。本文探讨了有限平凡逻辑程序依赖图上的图形条件，以分析程序的正则模型的存在性、唯一性和数量。我们展示了三个主要结果：1）非平凡（即非 2 值）正则模型存在性的必要条件，2）正则模型唯一性的充分条件，3）基于正反馈顶点集的正则模型数量的两个上界。前两个条件概括了 You 和 Yuan（1994）对于具有良好分层的正常逻辑程序的两个现有结果的有限情况。第三结果在我们所知的情况下也是全新的。我们证明的关键在于在有限平凡逻辑程序与布尔网络理论之间建立了联系。