BriefGPT.xyz
Jul, 2023
稳定模型的一般理论中的安全公式
Safe Formulas in the General Theory of Stable Models
HTML
PDF
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
TL;DR
在设计答案集求解器中,安全的一阶公式泛化了安全规则的概念。我们展示了任何安全的句子在某种意义上等价于其推理结果-通过将所有量词替换为多个合取和析取而得到的无变量句子。由此可知,安全句子以及其推理结果具有相同的稳定模型,并且可以通过一个简单的句法形式的公式来描述安全句子的稳定模型。
Abstract
safe first-order formulas
generalize the concept of a
safe rule
, which plays an important role in the design of
answer set solvers
. We sho
→