Lloyd-Topor Completion和一般的稳定模型
通过构建一个与参数化规模相近的逻辑程序,将传统参数化的argumentation framework转化为disjunctive logic程序,从而找出适合的stable model,可以直接关联到非单调逻辑推理。
Mar, 2008
本文研究了具有(抽象的)约束原子的逻辑程序的稳定模型语义及其性质,并提出了简洁的抽象表示方法,该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法,并进一步扩展了用于普通原子逻辑程序的标准特征和性质。
Apr, 2009
本文提出了关于第一阶稳定模型语义及其通过引用重新定义泛化量词概念的替代定义,并将FLP稳定模型语义扩展到通过引用类似于SM运算符的运算符来允许使用广义量词。对于一定的逻辑程序语法类,本文证明了这两个广义量词的稳定模型语义是可交换的。
Jan, 2013
本文提出了一种多值扩展的逻辑程序,基于可靠模型语义,其中模型中的每个真实原子都与一组证明关联,在一个证明树的集合中类似,我们将证明捕捉到一个真值的代数中,该代数具有三个内部操作:加号表示公式的替代证明,可交换乘积表示导致的联合交互以及非交换积表示证明构造器。使用这种多值语义,我们得到了标准(非因果)逻辑程序的语法证明树与模型中每个真实原子的解释之间的一一对应关系,并且由于这种代数特征,我们可以检测到获得的证明的冗余性和相关性。我们还确定了此代数的基于格的特征,定义了直接后果算子,证明了其连续性,并证明其最小修复点可以在有限次迭代后计算。最后,我们通过引入类似于Gelfond和Lifschitz的程序削减的变换来定义因果稳定模型的概念。
Dec, 2013
研究了一阶稳定模型语义与一阶循环公式之间的精确关系,探讨了扩展一阶循环公式定于来便于比较,给出一个带显式量化符号的逻辑程序扩展语法,这允许我们使用一阶推理器进行涉及非-Herbrand稳定模型的推理。
Jan, 2014
本研究旨在探讨一类保守扩展下的稳定模型语义在存在性、相关性和累加性等属性方面的行为,并定义了这一类扩展中的一种大类,即转缀稳定模型语义,探究了其子类ASMh和ASMm。通过研究,揭示了这些属性之间的关系。此外,我们还得出了一些结论,这些结论有助于评估ASMh U ASMm中的语义,同时揭示了SM语义的特征。机遇巧妙地证明了SM语义的存在性和谨慎单调性的特性是等价的,并对SM语义中的相关性失败进行了更清晰的描述。
May, 2014
研究逻辑程序与一阶理论之间关系的论文,将程序完备性的定义扩展到具有一种程序翻译器中输入语言子集的输入和输出程序,研究了这种情况下稳定模型和完备性之间的关系,并描述了两个软件工具,anthem 和 vampire,用于验证具有输入和输出的程序的正确性。
Aug, 2020
稳定模型与变量的循环公式的关系,广义化循环公式至包括非零多项联结程序和任意一阶句子,并通过扩展逻辑程序的语法允许明确量词,将其语义定义为Ferraris等人提出的新稳定模型语言的子类,能在不依赖唯一名字和域封闭性假设的情况下处理非单调推理,同时由于受限的语法而产生更简洁的循环公式。此外,我们还展示了某些句法条件,使得扩展程序的查询回答可以简化为一阶逻辑的蕴涵检查,为使用一阶定理证明器推理非Herbrand稳定模型提供了一种途径。
Jul, 2023
本研究解决了高阶逻辑程序中缺乏稳定模型语义的问题。作者提出了一种基于近似不动点理论的新语义,这种语义不仅推广了经典的两值和三值稳定模型语义,还提供了多种替代语义。研究的关键发现是,广泛的分层高阶逻辑程序具有唯一的两值稳定模型,这可能为新型的答案集编程系统奠定基础。
Aug, 2024