Traiter automatiquement les exceptions en introduisant la spécificité en ASP

TitreTraiter automatiquement les exceptions en introduisant la spécificité en ASP
Type de publicationArticle de revue
AuteurGarcia, Laurent , Nicolas, Pascal, Ngoma, Stéphane
TypeArticle scientifique dans une revue à comité de lecture
Année2009
LangueFrançais
Date2009
Numéro2
Pagination117 - 138
Volume9
Titre de la revueI3 (Information Interaction Intelligence)
ISSN1630-649X
Mots-clésAnswer 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 noticehttp://okina.univ-angers.fr/publications/ua4263