Abductive inference : computation, philosophy, technology - Josephson, John R. (Cambridge university press, 1994)