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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00336024
Contributor : Julien Cojan <>
Submitted on : Friday, October 31, 2008 - 3:59:43 PM
Last modification on : Friday, May 24, 2019 - 10:56:07 AM
Long-term archiving on : Tuesday, October 9, 2012 - 2:44:35 PM

File

articleRaPC.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00336024, version 1

Collections

Citation

Julien Cojan, Jean Lieber. Formalisation de l'adaptation conservatrice dans les espaces métriques. 16ème atelier de Raisonnement à Partir de Cas - RàPC 2008, Apr 2008, Nancy, France. ⟨inria-00336024⟩

Share

Metrics

Record views

244

Files downloads

290