Logique abductive
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.
Il étend la programmation logique normale en permettant à certains prédicats d’être incomplètement définis, déclarés comme prédicats abducibles. La résolution de problèmes consiste à émettre des hypothèses sur ces prédicats abductibles (hypothèses d'abductives) en tant que solutions aux problèmes à résoudre. Ces problèmes peuvent être des observations à expliquer ou des objectifs à atteindre (comme dans la programmation logique normale ). Il peut être utilisé pour résoudre des problèmes de diagnostic, de planification , de langage naturel et d’ apprentissage automatique . Il a également été utilisé pour interpréter la négation comme un échec comme une forme de raisonnement abductif.
