Définitions

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.

Recevez des exclus !

Contenus liés

Abonnez-vous et recevez des infos en exclu

24pm academy
17 rue etex 75018 Paris
O6 62 55 OO 1O

Search