为 Situation Calculus 提出新的反事实因果定义

研究人员在 Situation Calculus（一个用于推理动作和变化的形式系统）中引入了因果的新定义。这个新定义基于反事实分析，旨在推广现有的因果概念。所提出的方法扩展了 Halpern 和 Pearl 的 HP 理论，并与 Batusov 和 Soutchanski 开发的 achievement cause 概念相关，解决了析取效应中的细微差别。 AI

影响 提出了一个理解人工智能系统中因果关系的新理论框架，可能影响未来在推理和规划方面的研究。

排序理由 这是一篇发表在 arXiv 上的研究论文，详细介绍了一个新的人工智能理论概念。

在 arXiv cs.AI 阅读 →

• alphaXiv
• Batusov
• CatalyzeX
• DagsHub
• Electronic Proceedings in Theoretical Computer Science
• Gotit.pub
• Halpern
• HP account
• Hugging Face
• Pearl
• ScienceCast
• Situation calculus
• Soutchanski

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →