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 Université d'Angers <>
Soumis le : jeudi 10 juin 2021 - 10:28:25
Dernière modification le : vendredi 11 juin 2021 - 03:29:58

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

6