稳定模型一般理论中的安全公式
人工智能
2023-07-19 v1
摘要
安全一阶公式推广了安全规则的概念，而安全规则在回答集求解器的设计中起着重要作用。我们证明，任何安全句子在某种意义下等价于其基化（grounding）的结果——即通过将所有量词替换为多个合取与析取而从中得到的无变量句子。由此可知，一个安全句子与其基化结果具有相同的稳定模型，并且安全句子的稳定模型可由一种简单语法形式的公式来刻画。
引用
@article{arxiv.2307.09166,
title = {Safe Formulas in the General Theory of Stable Models},
author = {Joohyung Lee and Vladimir Lifschitz and Ravi Palla},
journal= {arXiv preprint arXiv:2307.09166},
year = {2023}
}
备注
16 pages