Le raisonnement abductif (aussi appelé abduction, inférence abductive ou rétroduction) est une forme d'inférence logique qui commence par une observation ou un ensemble d'observations, puis cherche l'explication la plus simple et la plus probable. observations. Ce processus, contrairement au raisonnement déductif , conduit à une conclusion plausible mais ne la vérifie pas de manière positive. 

La programmation par logique abductive (ALP) est un cadre de développement de haut niveau qui peut être utilisé pour résoudre les problèmes basé sur le raisonnement abductif.