I didn’t intend the causes Cj to equate to direct computation of \phi(x) on the x_i.
They are rather other pieces of evidence that the powerful agent has that make it believe \phi(x_i). I don’t know if that’s what you meant.
I agree seeing x_i such that \phi(x_i) should increase credence in \forall x \phi(x) even in the presence of knowledge of C_j. And the Shapely value proposal will do so.
I didn’t intend the causes Cj to equate to direct computation of \phi(x) on the x_i. They are rather other pieces of evidence that the powerful agent has that make it believe \phi(x_i). I don’t know if that’s what you meant.
I agree seeing x_i such that \phi(x_i) should increase credence in \forall x \phi(x) even in the presence of knowledge of C_j. And the Shapely value proposal will do so.
(Bad tex. On my phone)