有序析取逻辑程序的强等价性:一个逻辑角度
本文提出一种参数化的等价概念,同时限制了规则头和规则体中允许出现的原子,该方法是用于逻辑编程中应对强等价和一般等价的一种新的实现方式。
Dec, 2007
本文研究了具有(抽象的)约束原子的逻辑程序的稳定模型语义及其性质,并提出了简洁的抽象表示方法,该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法,并进一步扩展了用于普通原子逻辑程序的标准特征和性质。
Apr, 2009
本文提出了利用Here-and-There的逻辑来实现ordered disjunction,并探究了其在分裂程序中的应用和性质,还和Karger等人的一个扩展进行了比较。
Nov, 2010
本文应用计算机辅助定理发现技术,发现强等价逻辑程序在答案集语义下的定理,进而得到了新的程序化简规则。具体发现了关于规则和空集、两个规则、两个规则和其中一个规则、两个规则和另一个规则、以及三个规则和其中两个规则之间的强等价的确切条件。
Oct, 2011
研究了一阶稳定模型语义与一阶循环公式之间的精确关系,探讨了扩展一阶循环公式定于来便于比较,给出一个带显式量化符号的逻辑程序扩展语法,这允许我们使用一阶推理器进行涉及非-Herbrand稳定模型的推理。
Jan, 2014
本文提出了一种新的未找到集合的概念,用于处理具有单调和反单调聚合函数的逻辑编程。此外,我们定义了基于此的暴力操作的范畴,称为逻辑编程之最基础的模型。我们证明了此模型与另一范畴之间的关系,并展示了其在普通逻辑编程中的典型性质,这些性质在此处同样成立。
Jan, 2014
本研究提出了一种新的、基于模型理论的方法来确定 Logic Programs with Ordered Disjunction (LPODs) 中最受欢迎的模型,从而克服了现有语义的不足。而且,新的方法可以用来定义一个包含有序和经典析取的自然类别的逻辑程序的语义,这使得程序不仅可以表达严格的优先级,还可以表达同样优先级的选择。
Aug, 2021
该论文研究了论证理论,尤其是基于假设的论证和不同类型的逻辑程序之间的关系,并通过展示基于假设的论证不仅可以表示普通逻辑程序,而且可以表示否定逻辑程序及其扩展,扩展了Caminada,Schultz和Toni的已有研究结果。
Jun, 2023
通过对非平面ABA的扩展,我们建立了假设为LP中的不可行否定的稳定模型语义,以及在LP中的否定失效头部的集合稳定ABA语义之间的对应关系。
May, 2024
该论文将Normal Logic Programs(NLPs)和Sets of Attacking Arguments(SETAF)互相转换,并证明了它们在语义上的等价性,特别是L-stable和semi-stable semantics的等价性。此外,论文还证明了Redundancy-Free Atomic Logic Programs(RFALPs)是与NLPs等价的,并通过一系列已知的程序转换对任何NLP进行了等价的RFALP转换。这些结果进一步加深了我们对NLPs和SETAFs本质上是相同形式的理解。
Jul, 2024