Abductive Inference: Computation, Philosophy, Technology - Josephson, John R. (Cambridge University Press)