有限程序的可判别子类
提出了一种基于命题连词的比喻来定义aggregates的方法,可以在ASP范式下,对任意命题理论进行扩展,将aggregates定义为基础构造,并且结合了表达能力和简洁性。该定义还继承了关于具有嵌套表达式的程序的许多定理,例如强等价性和拆分定理。
Dec, 2008
本文探讨了“离散有限程序”和“有限递归程序”在“稳定模型语义”的语境下的性质,证明了“有限递归程序”的“一致性检查”和“怀疑推理”是“半可判的”,而“怀疑推理”对于“一般有限递归程序”具有完备性,并展示了如何使用有限的程序实例子集进行矛盾检查和响应怀疑查询。
Jan, 2009
本文研究了具有(抽象的)约束原子的逻辑程序的稳定模型语义及其性质,并提出了简洁的抽象表示方法,该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法,并进一步扩展了用于普通原子逻辑程序的标准特征和性质。
Apr, 2009
本文提出了QELF来处理部分函数,并且将其与Scott存在逻辑做了直接联系,还介绍了一个实际应用,即将扩展后的常规逻辑程序转换成无函数的常规程序,可以使用任何标准ASP求解器计算其答案集。
Jun, 2010
通过引入引伸函数,扩展一阶稳定模型语义,并将其用作定义Answer Set Programming Modulo Theories (ASPMT)的基础,从而实现类似SMT的有效一阶推理,解决包含实数的领域中的接地问题。
Jul, 2023
通过对逻辑编程领域中的回答集编程(ASP)进行分析,我们提出了一种精细化的方法,描述了ASP程序的特征,以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。
May, 2024
本研究解决了高阶逻辑程序中缺乏稳定模型语义的问题。作者提出了一种基于近似不动点理论的新语义,这种语义不仅推广了经典的两值和三值稳定模型语义,还提供了多种替代语义。研究的关键发现是,广泛的分层高阶逻辑程序具有唯一的两值稳定模型,这可能为新型的答案集编程系统奠定基础。
Aug, 2024