Just woke up, to the sound of garbage flying. Wow!. Must pacify some deadlines, but not before stating: The aim of causal inference is to automate the process of generating id-strategies, starting with mental models of the domain. I do not see any theoretical impediment to
automate the process by which Angrist&Comp are generating their identification templates from their conceptual knowledge of the world, since the knowledge contained in the former is derivable from the former. This is what the Inference Engine is all about in #Bookofwhy p.11
An "automated Angrist" is not a far-fetched dream, it is partially implemented already in Elias software, which searches a model for nuggets such as frontdoor, backdoor, IV, napkins and, if none is found, goes to do-calculus. Thus, freeing economists to engage in things
they do best, accumulate knowledge (through empirical studies), refining knowledge and encoding it in a natural and transparent way, without worrying about id-strategies, which computers can perhaps do better. It is doable.