I don't quite understand why our ability to teach machines causal reasoning should hinge on the lowest common denominator of human ability. If I interpreted your point correctly, then calculators are an obvious counterexample, and a table of common human arithmetic mistakes doesn't have any bearing on our ability to program calculators.
In terms of causal reasoning for computers, it's more of a "common sense" problem than a reasoning one. In nice, closed systems we can do symbolic computation and automated theorem proving without mistakes. The only reason this doesn't work in the real world is the lack of axioms and consistency.
In terms of causal reasoning for computers, it's more of a "common sense" problem than a reasoning one. In nice, closed systems we can do symbolic computation and automated theorem proving without mistakes. The only reason this doesn't work in the real world is the lack of axioms and consistency.