关于带有变量的循环公式
摘要：稳定模型的新定义不引用分类的概念，适用于任意一阶句法。我们展示了它与陈、林、王和张提出的带有变量的循环公式的关系，并将它们的循环公式推广到析取程序和任意一阶句法。我们还扩展了逻辑程序的句法，允许显式的量词，并将其语义定义为Ferraris等人提出的新稳定模型语言的一个子类。这些程序继承了一般语言中处理非单调推理的能力，在没有唯一命名和域闭包假设的情况下仍然适用稳定模型语义，同时由于受限的句法形成更简洁的循环公式。我们还展示了某些句法条件，将扩展程序的查询答案推导为一阶逻辑的蕴涵检查，为应用一阶定理证明器来推理非赫尔布兰稳定模型提供了一种方法。
作者：Joohyung Lee, Yunsong Meng
论文ID：2307.10226
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-21