Formalisation de l'adaptation conservatrice dans les espaces métriques

Julien Cojan 1 Jean Lieber 1
1 ORPAILLEUR - Knowledge representation, reasonning
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : L'adaptation conservatrice est une approche de l'adaptation en raisonnement à partir de cas qui s'appuie sur le principe du changement minimal du contexte source vers le contexte cible. Cette notion de changement minimal du contexte se retrouve dans la notion d'opérateur de révision des connaissances, notion formalisée par la théorie AGM. Cette théorie peut alors être réutilisée pour formaliser l'adaptation conservatrice. Cette formalisation a été effectuée et étudiée dans le cadre de la logique propositionnelle lors d'un travail antérieur. Or, la logique propositionnelle n'est pas un formalisme suffisant pour la plupart des applications du RàPC, qui utilisent des formalismes « attribut-valeur simple ». Cet article étudie une extension de l'adaptation conservatrice à un cadre formel plus général : celui des espaces métriques qui inclut les formalismes « attribut-valeur simple ». Dans ce cadre, un cas s'interprète comme un sous-ensemble de l'espace. Les opérateurs de révision, et en particulier l'opérateur associé à la distance de l'espace métrique, sont étudiés dans ce formalisme, notamment du point de vue des postulats AGM. L'adaptation conservatrice peut alors être formalisée dans le contexte d'un espace métrique donné. Une extension vers une adaptation « moins conservatrice » et vers une adaptation conservatrice floue seront également étudiés.
Type de document :
Communication dans un congrès
De Loor, Pierre and Bénard Romain. 16ème atelier de Raisonnement à Partir de Cas - RàPC 2008, Apr 2008, Nancy, France. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00336024
Contributeur : Julien Cojan <>
Soumis le : vendredi 31 octobre 2008 - 15:59:43
Dernière modification le : jeudi 11 janvier 2018 - 06:19:54
Document(s) archivé(s) le : mardi 9 octobre 2012 - 14:44:35

Fichier

articleRaPC.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00336024, version 1

Collections

Citation

Julien Cojan, Jean Lieber. Formalisation de l'adaptation conservatrice dans les espaces métriques. De Loor, Pierre and Bénard Romain. 16ème atelier de Raisonnement à Partir de Cas - RàPC 2008, Apr 2008, Nancy, France. 2008. 〈inria-00336024〉

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

90