BriefGPT.xyz
May, 2023
关于概率和因果推理的困难程度
The Hardness of Reasoning about Probabilities and Causality
HTML
PDF
Benito van der Zander, Markus Bläser, Maciej Liśkiewicz
TL;DR
研究员从计算复杂性的角度出发,研究了能够完全表达数量化概率推理和因果效应的形式语言。研究集中于可表达许多概率和因果推断任务的可满足性问题,并建立了这些可满足性问题的确切计算复杂性。研究结果表明,一些在概率和因果推断中常用的标准语言的变体的算法限制更强。
Abstract
We study
formal languages
which are capable of fully expressing
quantitative probabilistic reasoning
and
do-calculus reasoning
for causal
→