“abduction in logic, philosophy of science and artificial intelligence”