关于程序完成的研究，及其在求和与乘积谜题中的应用
摘要：一个应用于包含算术操作的逻辑程序的克拉克补充的一般化方法被描述在这篇论文中，并产生出句法简单、自然的公式。如果一个一阶公理集等价于一个程序的补充，则我们可以通过运行一个答案集求解器来找到这些公理的标准模型。作为例子，我们将这个“逆向补充”过程应用于求和与乘积难题。
作者：Vladimir Lifschitz
论文ID：2305.15360
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-25