Traiter les exceptions en ASP à partir d’une représentation compacte des informations - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

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.

Mots clés

Fichier non déposé

Dates et versions

hal-03256215 , version 1 (10-06-2021)

Identifiants

  • HAL Id : hal-03256215 , version 1
  • OKINA : ua4546

Citer

Stéphane Ngoma, Laurent Garcia, Pascal Nicolas. Traiter les exceptions en ASP à partir d’une représentation compacte des informations. Journées Nationales de l'IA Fondamentale, 2008, Paris, France. ⟨hal-03256215⟩

Collections

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

Partager

Gmail Facebook X LinkedIn More