FDT is underspecified: graph-building needs hard computational logical counterfactuals

jessi_cata · x · 2026-11-07

Follow-up from jessicata on the FDT demonstration: technically FDT is underspecified — the paper doesn't define how to build its causal graph, and building a sensible graph requires "computational logical counterfactuals," which are hard. Still, intuitive graphs for the almost-twin prisoner's dilemma result in mutual defection.

Related event: FDT Decision Algorithm Defects in Near-Twin Prisoner's Dilemma, Sparking Debate(3 posts)→

Original post →

More from Research

Research channel →