稳定模型通用理论中的安全公式
摘要：安全的一阶公式在答案集求解器的设计中起重要作用，它泛化了安全规则的概念。我们证明了任何安全句子在某种意义上等价于其基础结果-通过用多个合取和析取替换所有量词而得到的无变量句子。由此可知，安全句子及其基础结果具有相同的稳定模型，并且安全句子的稳定模型可以由简单的语法形式的公式来刻画。
作者：Joohyung Lee, Vladimir Lifschitz, Ravi Palla
论文ID：2307.09166
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-19