MMDec, 2013

因果链的代数

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

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

    Sep, 2014

  • 因果定律与多值流变

    本文介绍了在非单调形式主义中表示行动属性的工作线，强调了 “真实” 和 “因果” 之间的区别，同时介绍了 McCain 和 Turner 引入的因果逻辑系统和由 Giunchiglia 和 Lifschitz 提出的行动语言 C。我们展示了因果逻辑和语言 C 都可以扩展到允许来自任意非空集合的值，并介绍了 C + 语言的扩展，它还允许根据其属性描述动作，这在扩展容忍性的视角下非常重要。我们描述了将 C + 嵌入具有多值常量的因果理论，将 C + 与 Pednault 的行动语言 ADL 相关联，并展示了如何以布尔常量的方式消除多值常量。

    Jul, 2023

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

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

    Feb, 2016

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

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

    Dec, 2004

  • 通过模态逻辑形式化统计因果关系

    提出了一个形式语言 StaCL，用于描述和解释统计因果关系，并可用于进行因果推断和推导 Pearl 的 do-calculus 规则。

    Oct, 2022

  • Markov 类别、因果理论和 do - 演算

    本文使用范畴论方法对因果模型进行了分类处理，从 “纯因果” 的角度定义了因果独立 / 分离、因果条件等重要概念，并产生了一个核心部分的语法版本的 syntactic do-calculus 在所有因果模型中继承。

    Apr, 2022

  • 关于带变量的环式公式

    稳定模型与变量的循环公式的关系，广义化循环公式至包括非零多项联结程序和任意一阶句子，并通过扩展逻辑程序的语法允许明确量词，将其语义定义为 Ferraris 等人提出的新稳定模型语言的子类，能在不依赖唯一名字和域封闭性假设的情况下处理非单调推理，同时由于受限的语法而产生更简洁的循环公式。此外，我们还展示了某些句法条件，使得扩展程序的查询回答可以简化为一阶逻辑的蕴涵检查，为使用一阶定理证明器推理非 Herbrand 稳定模型提供了一种途径。

    Jul, 2023

  • 带单调基数原子的逻辑程序

    本文介绍了 mca-program，研究了其逻辑和特性，并证明了它是常见逻辑规划形式的通用概括。

    Oct, 2003

  • 因果层级上的概率推理

    本研究将 3 层因果关系层次结构分为概率逻辑语言模型，第一层表达定量概率推断，第二层编码用于因果效应的 do-calculus 推理，第三层捕捉任意反事实查询。相关的公理化表达完全考虑了因果模型和概率编程，并证明了每种语言的可满足性和有效性都可以在多项式空间内可判定。

    Jan, 2020

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

    本文研究了具有（抽象的）约束原子的逻辑程序的稳定模型语义及其性质，并提出了简洁的抽象表示方法，该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法，并进一步扩展了用于普通原子逻辑程序的标准特征和性质。

    Apr, 2009