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 loc. nom. fém.
programmation logique par abduction loc. nom. fém.
Anglais
Abductive logic programming
Contributeurs: Claude Coulombe, Jacques Barolet, wiki