Traiter les exceptions en ASP à partir d’une représentation compacte des informations
Résumé
L’ASP, utilisé dans la forme des programmes logiques normaux, estun cadre adéquat pour le raisonnement non-monotone dans la mesure où il offre un modèle formel valide ainsi que des systèmes opérationnels. Le problème est que la représentation des informations dans ce cadre n’est pas une opération aisée. C’est pourquoi nous proposons de générer automatiquement ces programmes logiques normaux à partir d’une représentation compacte des informations à base de programmes logiques définis. Pour cela, nous appliquons une méthode définie dans le cadre de la logique des défauts dont nous proposons une adaptation.