使用基数最小条件进行推理的复杂性
摘要：基于谓词公式满足性和基数最小性条件的众多人工智能相关的推理问题是基于满足性问题(SAT)。尽管在考虑Schaefer框架内的命题逻辑所有片段时，满足性问题的复杂性是非常清楚的（STOC 1978），但是当加入最小性条件时情况并非如此。我们考虑CardMinSat问题，该问题询问给定一个公式F和一个原子x，x是否在F的某个基数最小模型中为真。我们在Schaefer的框架内完全分类了CardMinSat问题的计算复杂度，从而为更好地理解许多人工智能相关推理问题的可处理性前沿铺平了道路。为此，我们使用了(Schnoor＆Schnoor 2008)和(Lagerkvist 2014)开发的先进代数工具。
作者：Nadia Creignou, Fr''ed''eric Olive, Johannes Schmidt
论文ID：2303.01571
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-03-06