Titre | Traiter automatiquement les exceptions en introduisant la spécificité en ASP |
Type de publication | Article de revue |
Auteur | Garcia, Laurent , Nicolas, Pascal, Ngoma, Stéphane |
Type | Article scientifique dans une revue à comité de lecture |
Année | 2009 |
Langue | Français |
Date | 2009 |
Numéro | 2 |
Pagination | 117 - 138 |
Volume | 9 |
Titre de la revue | I3 (Information Interaction Intelligence) |
ISSN | 1630-649X |
Mots-clés | Answer set programming, ASP, Default logic, Défaut, Defect, Defecto, Exception handling, exceptions, Lógica defecto, Logique défaut, Programación conjunto respuesta, Programmation par ensemble reponse, raisonnement par défaut, spécificité, Traitement exception, Tratamiento de excepción |
Résumé en français | 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. |
URL de la notice | http://okina.univ-angers.fr/publications/ua4263 |