FDT can require that P come augmented with
information about the logical, mathematical, computational, causal, etc. structure
of the world more broadly. Given a graph G that tells us how changing a logical variable affects all other variables, we can re-use Pearl’s do operator to give a
decision procedure for FDT
FDT seems to rely heavily on this sort of assumption, but also seems to lack any sort of formalization of how the logical graphs work.
What I have in mind is stuff like this:
FDT seems to rely heavily on this sort of assumption, but also seems to lack any sort of formalization of how the logical graphs work.