arXiv:2502.09220v1 类型：交叉 摘要：正逻辑程序的正规模型是一种特殊的部分模型（即三值模型），它们对应于具有最小未定义性的稳定部分模型。在本文中，我们探讨了有限地归正逻辑程序的依赖图上的图形条件，以分析该程序的正规模型的存在性、唯一性及数量。我们展示了三个主要结果：1) 呈现一个非平凡（即非两值）正规模型存在的必要条件；2) 提出一个唯一存在正规模型的充分条件；3) 根据正反馈点集设立两个正规模型数量的上界。前两个条件在You 和 Yuan (1994) 对正逻辑程序有良基分层的情况下有限情形的基础上进行了泛化。第三个结果据我们所知也是新的。我们证明的关键在于我们在有限地归正逻辑程序与布尔网络理论之间建立的联系。