Feb, 2016

逻辑程序中因果解释的促进因素和阻碍因素

PDF
TL;DR本文提出了一种基于逻辑编程的新方法，其中每个派生自良基模型的默认文字都与一个代表证明的代数表达式相关联，并包含启用或禁用因果规则的条件，这些条件分别称为 “激活剂” 和 “抑制剂”，并与默认否定有紧密关联，本文通过一些例子进行了探讨。此外本文还比较了两种最近的 LP 证明方法：为什么不证明（WnP）和因果图（CG），表明当前方法在良基语义下扩展了 WnP 和 CG 证明，并建立了这两种方法之间的形式关系。
发现论文，激发创造
  • 逻辑程序的因果图证明

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

    Sep, 2014

  • 因果链的代数

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

    Dec, 2013

  • 正当性理论的扩展

    这篇论文介绍了证明理论的一个统一框架，可以应用于非单调逻辑、知识表示语言等领域，并可以为实现目的提供帮助，同时还探讨了可能的扩展。

    May, 2019

  • 基于答案集语义的逻辑程序的证明

    本文介绍了基于图的解释 Answer Set 编程的离线和在线证明方法，并将其集成到计算模型中用于调试 Answer Set 程序。

    Dec, 2008

  • 带继承的分离逻辑程序

    该论文提出了一种新的知识表示语言 DLP <，通过继承扩展了具有强否定的分段逻辑编程。文中提供了 DLP < 的声明性模型论语义，并通过将经典的非单调问题编码为 DLP < 来说明其知识建模功能，证明了继承不会导致任何计算开销。

    May, 2001

  • 概率逻辑编程中的程序解释

    该研究提出了一种新方法，利用概率逻辑编程模型来生成精简且有因果结构的解释程序，使得用户可以根据可视述词并隐藏不感兴趣的细节。

    Oct, 2022

  • 抽象论证和答案集编程：纳尔逊逻辑的两面

    本文提出非矛盾推理与强化封闭世界假设两个原则，将逻辑编程和抽象论证框架都用 Nelson 构造逻辑 N4 予以说明，并将它们以一种模块化的方式翻译成构造逻辑，从而形成一种新的蕴涵连接，支持攻击表示通过将这个新的蕴涵与强否定相结合。

    Mar, 2022

  • 利用博弈论分析辩解

    本文研究辩解论理论在计算机科学中的应用，探究其与博弈论的关系，并研究了两种不同方言的辩解论理论（以图形和树形解释），以及建立了一个精确的标准来证明由辩解论理论引起的语义产生一致的结果。

    Aug, 2020

  • 基于约束的因果发现的逻辑特征化

    通过逻辑推理的方法，基于简单的关系逻辑陈述从部分观测到的关系推出因果关系的方法，可以在存在潜在变量和选择偏差的情况下找到对应局部祖先图的所有不变特征，发现每一个可识别的因果关系都对应了两种基本形式，因为该方法的基本构建块不依赖于图形结构，因此可以开发更稳健的推理，详细的询问方法和大规模应用方案。

    Feb, 2012

  • 概率逻辑编程中的解释解释

    基于可解释的概率逻辑编程和查询驱动的推理机制，本研究提出一种解释解释的方法，以使黑盒人工智能系统的解释更易理解。

    Jan, 2024