Abductive Inference: Computation, Philosophy, Technology