Traiter automatiquement les exceptions en introduisant la spécificité en ASP
Résumé
La programmation par ensembles réponses (plus connue sous le terme anglais d'Answer Set Programming, abrégé en ASP), utilisée dans la forme des programmes logiques normaux, est un cadre adéquat pour le raisonnement par défaut dans la mesure où il offre un modèle formel valide ainsi que des systèmes opérationnels. La représentation des informations dans ce cadre n'étant pas une opération aisée, nous proposons de générer automatiquement ces programmes logiques normaux à partir d'une représentation compacte des informations. Pour cela, nous utilisons la spécificité des informations de la même manière que cela a déjà été proposé pour la logique des défauts et dont nous proposons une adaptation à l'ASP tant d'un point de vue théorique que pratique.