MMApr, 2009

具任意约束原子的逻辑程序稳定模型语义的表征

PDF
TL;DR本文研究了具有（抽象的）约束原子的逻辑程序的稳定模型语义及其性质，并提出了简洁的抽象表示方法，该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法，并进一步扩展了用于普通原子逻辑程序的标准特征和性质。
stable model semanticslogic programsconstraint atomsgelfond-lifschitz transformationdependencies
发现论文，激发创造
  • 具有任意抽象约束原子的逻辑程序的答案集

    本文提出了两种方法来定义任意类型抽像限制原子（c-atoms）的逻辑程序的答案集，这些定义泛化了正常逻辑程序的修正点和级别映射基础的答案集语义，其中包括四种不同的答案集定义，这四种在应用于正常逻辑程序时是相等的。

    Oct, 2011

  • 稳定模型与一种替代逻辑编程范式

    通过稳定模型语义重新审视逻辑编程在约束满足问题中的角色定义，提出一种函数符号被消除的新型逻辑编程系统，基于约束来描述问题的解决方案。该方法具有良好的应用范围、有力的计算算法和新型编程方法。

    Sep, 1998

  • 具有凸广义原子的答案集编程属性

    本文分析了规则体中拥有凸广义原子的程序类，发现对于大部分语义，这个类中提出的许多语义是一致的。这是一个有趣的结果，因为最近已经表明，这个类是 FLP 语义的确切复杂性边界。

    Dec, 2013

  • 非分层逻辑程序的稳定模型存在性

    该论文介绍了一个基础性的结果，给出了一种稳定模型的存在条件的句法特征表示，利用引入新的规范形式和循环依赖来定义稳定模型元语，从而保证了稳定模型存在的确定性。

    Dec, 2004

  • 扩展和实现稳定模型语义

    提出了一种用于计算逻辑程序稳定模型语义的算法，强调使用有效的实现技术，特别地，提出了一种展望的实现和一种通过最小化搜索空间来产生良好的启发式方法。结果表明，稳定模型语义的逻辑程序具有更紧凑的逻辑程序表示，因此在某些问题上比命题逻辑优越。

    May, 2000

  • 逻辑程序的因果图证明

    本文提出一种基于稳定模型语义的逻辑程序的多值扩展，其中每个模型中的真实原子都与一组证明相关联，这些证明是由规则标签形成的因果图表示它们的应用顺序而表达的。通过在因果值的格子上进行代数运算（乘积，和，应用），可以以纯粹语义的方式获得这种因果信息。对于带否定的程序，引入一种类似的转换来定义因果稳定模型。

    Sep, 2014

  • 具有外延原子的无限公式的稳定模型

    该论文通过将内涵和外延原子区分，并将一阶公式的对称分裂定理推广到无穷公式，增强了无穷析取和合取命题的稳定模型定义，并用于推理。

    Aug, 2016

  • 因果链的代数

    本文提出了一种多值扩展的逻辑程序，基于可靠模型语义，其中模型中的每个真实原子都与一组证明关联，在一个证明树的集合中类似，我们将证明捕捉到一个真值的代数中，该代数具有三个内部操作：加号表示公式的替代证明，可交换乘积表示导致的联合交互以及非交换积表示证明构造器。使用这种多值语义，我们得到了标准（非因果）逻辑程序的语法证明树与模型中每个真实原子的解释之间的一一对应关系，并且由于这种代数特征，我们可以检测到获得的证明的冗余性和相关性。我们还确定了此代数的基于格的特征，定义了直接后果算子，证明了其连续性，并证明其最小修复点可以在有限次迭代后计算。最后，我们通过引入类似于 Gelfond 和 Lifschitz 的程序削减的变换来定义因果稳定模型的概念。

    Dec, 2013

  • 具有单调和凸约束条件的程序的属性和应用

    通过扩展正常逻辑编程的概念和结果，我们研究了具有单调和凸约束条件的程序的性质，这些结果为一些最近扩展的逻辑编程提供了抽象的概述，并应用这些结果进一步提出了通过伪布尔约束的通用求解器计算 lparse 程序稳定模型的方法，这种方法通常比 smodels 系统更快。

    Sep, 2011

  • 具有内涵函数的一阶稳定模型语义

    通过引入引伸函数，扩展一阶稳定模型语义，并将其用作定义 Answer Set Programming Modulo Theories (ASPMT) 的基础，从而实现类似 SMT 的有效一阶推理，解决包含实数的领域中的接地问题。

    Jul, 2023