Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03256215
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : jeudi 10 juin 2021 - 10:28:25
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

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

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

9