Traiter automatiquement les exceptions en introduisant la spécificité en ASP - Université d'Angers Accéder directement au contenu
Article Dans Une Revue Revue I3 - Information Interaction Intelligence Année : 2009

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

Pascal Nicolas
  • Fonction : Auteur
Stéphane Ngoma
  • Fonction : Auteur

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.

Fichier non déposé

Dates et versions

hal-03350578 , version 1 (21-09-2021)

Identifiants

  • HAL Id : hal-03350578 , version 1
  • OKINA : ua4263

Citer

Laurent Garcia, Pascal Nicolas, Stéphane Ngoma. Traiter automatiquement les exceptions en introduisant la spécificité en ASP. Revue I3 - Information Interaction Intelligence, 2009, 9 (2), pp.117 - 138. ⟨hal-03350578⟩

Collections

UNIV-ANGERS LERIA
5 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More