MMJun, 2023

时序逻辑的模数下的反事实

PDF
TL;DR该研究论文扩展了 Lewis 关于反事实推理的理论，提出了一个结合时间和反事实操作的逻辑来自动化推理并解决可满足性和追踪检查问题。
lewis' theorycounterfactual reasoningtemporal extensioncausal analysislogic
发现论文，激发创造
  • 回溯反事实

    本文探索并规范了在 SCM 框架中的反事实推理的另一种模式 ——backtracking account，并在相关文献和可解释的人工智能领域进行讨论和连线。

    Nov, 2022

  • 基于因果推理的马尔可夫决策过程时间推理

    本文介绍了一种新的概率时序逻辑，用于验证马尔可夫决策过程，其中包含因果推理操作符，使我们能够表达干预和反事实查询。

    Dec, 2022

  • 模拟对事实的反事实情况

    提出一种用于模拟具有离散和连续变量条件的反事实分布的算法，该算法可用于粒子滤波器，可应用于信贷评分中的公平性分析。

    Jun, 2023

  • 反事实故事推理和生成

    本文提出了一种反事实的故事重写模型，用于通过改变故事的最小部分，使其与另一事件相容，并介绍了一种新的可用于评估该模型的数据集 TimeTravel。

    Sep, 2019

  • 基于逆向推理的合理性的自然语言推理中具体例子的逻辑可满足性

    本文提出 Faithfulness-through-Counterfactuals 方法并验证了其在模型验证及故障诊断中的有效性。该方法通过对逻辑谓词表达的对立假设进行模型预测一致性验证，无需额外的训练验证模型。

    May, 2022

  • 反事实推理：测试语言模型对假设场景的理解

    通过调查五种预训练语言模型在特殊条件下进行的逆向推理，发现这种逆向推理主要受到基于单词关联的影响，只有 GPT-3 能够展现对语言细微差别的敏感性。

    May, 2023

  • 具有必要回溯的自然反事实

    我们提出了一种自然的反事实框架和一种生成自然反事实的方法，该方法与实际世界的数据分布相一致，有效地改进了反事实推理并引入了创新的优化框架控制反事实推理的回溯程度。实证实验表明我们的方法的有效性。

    Feb, 2024

  • 从因果模型到反事实结构

    该研究考察了递归模型与因果模型框架之间的确切关系，递归模型被证明是 (Possible-world) 反事实结构的一种子类，而普遍性递归模型则不能与反事实结构比较，这个研究指出了 Galles 和 Pearl 论证的问题。

    Jun, 2011

  • 深度回溯的因果一致解释

    在结构因果模型中，我们引入了一种计算回溯反事实的实用方法，该方法对深度生成组件进行条件设定以解决在可控制因果模型的结构潜空间中可生成反事实的问题。相比其他方法，我们的方法具有多功能、模块化和满足因果关系的优势。通过在 MNIST 和 CelebA 的修改版本上实验，我们证明了这些特性。

    Oct, 2023

  • 非确定性因果模型

    我对无确定性的非确定性结构方程模型进行了泛化，并论证它对反事实提供了改进的语义。我通过允许多值函数在结构方程中的使用来放弃了哈尔彭（Halpern）的标准确定性语义，并调整语义以确保在任何反事实世界中都保留了实际世界中获得的方程解。最后，我将这些模型扩展到概率情况，并展示了它们在因果贝叶斯网络中识别反事实的方式。

    May, 2024