Philosophical and computational models of explanation · Study