Programmation logique abductive

Définition

Employée en raisonnement temporel, l'abduction est une explication ou une projection des effets vers les causes, contrairement à la déduction qui va des causes vers les effets.

Français

programmation logique abductive n.f.

programmation logique par abduction n.f.

Anglais

Abductive logic programming

Source: Claude Coulombe, Datafranca.org