具有外延原子的无限公式的稳定模型
通过引入引伸函数,扩展一阶稳定模型语义,并将其用作定义 Answer Set Programming Modulo Theories (ASPMT) 的基础,从而实现类似 SMT 的有效一阶推理,解决包含实数的领域中的接地问题。
Jul, 2023
稳定模型与变量的循环公式的关系,广义化循环公式至包括非零多项联结程序和任意一阶句子,并通过扩展逻辑程序的语法允许明确量词,将其语义定义为 Ferraris 等人提出的新稳定模型语言的子类,能在不依赖唯一名字和域封闭性假设的情况下处理非单调推理,同时由于受限的语法而产生更简洁的循环公式。此外,我们还展示了某些句法条件,使得扩展程序的查询回答可以简化为一阶逻辑的蕴涵检查,为使用一阶定理证明器推理非 Herbrand 稳定模型提供了一种途径。
Jul, 2023
研究了一阶稳定模型语义与一阶循环公式之间的精确关系,探讨了扩展一阶循环公式定于来便于比较,给出一个带显式量化符号的逻辑程序扩展语法,这允许我们使用一阶推理器进行涉及非 - Herbrand 稳定模型的推理。
Jan, 2014
通过构建一个与参数化规模相近的逻辑程序,将传统参数化的 argumentation framework 转化为 disjunctive logic 程序,从而找出适合的 stable model,可以直接关联到非单调逻辑推理。
Mar, 2008
本文研究了具有(抽象的)约束原子的逻辑程序的稳定模型语义及其性质,并提出了简洁的抽象表示方法,该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法,并进一步扩展了用于普通原子逻辑程序的标准特征和性质。
Apr, 2009
在设计答案集求解器中,安全的一阶公式泛化了安全规则的概念。我们展示了任何安全的句子在某种意义上等价于其推理结果 - 通过将所有量词替换为多个合取和析取而得到的无变量句子。由此可知,安全句子以及其推理结果具有相同的稳定模型,并且可以通过一个简单的句法形式的公式来描述安全句子的稳定模型。
Jul, 2023
提出了一种用于计算逻辑程序稳定模型语义的算法,强调使用有效的实现技术,特别地,提出了一种展望的实现和一种通过最小化搜索空间来产生良好的启发式方法。结果表明,稳定模型语义的逻辑程序具有更紧凑的逻辑程序表示,因此在某些问题上比命题逻辑优越。
May, 2000
通过稳定模型语义重新审视逻辑编程在约束满足问题中的角色定义,提出一种函数符号被消除的新型逻辑编程系统,基于约束来描述问题的解决方案。该方法具有良好的应用范围、有力的计算算法和新型编程方法。
Sep, 1998
本文提出了一种多值扩展的逻辑程序,基于可靠模型语义,其中模型中的每个真实原子都与一组证明关联,在一个证明树的集合中类似,我们将证明捕捉到一个真值的代数中,该代数具有三个内部操作:加号表示公式的替代证明,可交换乘积表示导致的联合交互以及非交换积表示证明构造器。使用这种多值语义,我们得到了标准(非因果)逻辑程序的语法证明树与模型中每个真实原子的解释之间的一一对应关系,并且由于这种代数特征,我们可以检测到获得的证明的冗余性和相关性。我们还确定了此代数的基于格的特征,定义了直接后果算子,证明了其连续性,并证明其最小修复点可以在有限次迭代后计算。最后,我们通过引入类似于 Gelfond 和 Lifschitz 的程序削减的变换来定义因果稳定模型的概念。
Dec, 2013
本文提出了关于第一阶稳定模型语义及其通过引用重新定义泛化量词概念的替代定义,并将 FLP 稳定模型语义扩展到通过引用类似于 SM 运算符的运算符来允许使用广义量词。对于一定的逻辑程序语法类,本文证明了这两个广义量词的稳定模型语义是可交换的。
Jan, 2013