Formalisation du R

1
Formalisation du RàPC

• A partir de ladaptation
• Béatrice Fuchs, Alain Mille

2
Pourquoi formaliser ?

• Analyser plus rigoureusement les calculs
  constitutifs du Raisonnement à Partir de Cas
• Contribuer à lingénierie du Raisonnement à
  Partir de Cas
• Types de connaissance représentés
• Opérateurs génériques et manière de les
  instancier
• Clarifier les conditions nécessaires pour mettre
  en place un raisonnement selon le paradigme RàPC

3
Le schéma général
Cas Source
Cas Cible
Pb Source
Pb Cible
Appariement
Dépendances
Adaptation
?
Sol Source
Sol Cible
4
Conséquences

• Au  moment  du raisonnement, il faut
• Être capable de décrire un cas, avec une partie
  clairement  problème  et une partie clairement
   solution 
• Disposer (ou construire) dune base de cas
  sources
• Disposer des formules de dépendances
• Posséder une méthode (programmable!)
  dappariement (et donc pas seulement une mesure
  de similarité)
• Posséder une méthode (programmable!) dadaptation

5
Décrire un cas

• Descripteurs de cas (couples attributs-valeurs)
• Partie problème
• di (ai, vi)
• Partie solution
• Di (Ai, Vi)

6
Base de cas sources
Représentation dans lespace des solutions
7
Base de cas sourcesGroupes dappariement
Chaque groupe correspond à des zones de
 connaissance  dadaptation. Une zone est
caractérisée par les cas qui sont
 appariables  pour être adaptés. Une mesure et
un seuil de similarité permettent de délimiter
chaque zone.
8
Formules de dépendanceset opérateurs dadaptation
Cas dune variation locale simple Dkt Dks
DDk Dkt Dks I(Dks/dis) X Ddi
9
Formules de dépendanceset opérateurs dadaptation
10
Commentaires / opérateurs

• Ddi écart entre les valeurs de descripteurs
  problème selon une fonction dappariement
  spécifique. Le résultat de la fonction
  dappariement doit donner cet écart comme
  information de départ.
• I(Dks/dis) Influence de la valeur de dis sur la
  valeur de Dks Ce peut être une simple
  proportion mais nimporte quoi dautre qui
  présente un  rapport  entre la valeur dun
  descripteur problème avec un descripteur
  solution.
• X opérateur de mise en oeuvre de lInfluence
  en fonction de lécart observé sur le problème.
  Cet opérateur peut-être vu comme
   mutlipliant "l'effet de l'influence par
  lécart constaté.
• ? ij,m opérateur de  sommation  des
  effets des différentes Influences appliquées aux
  écarts de problème constaté (pour un descripteur
  solution donné)
• ? opérateur  dajout  des effets des écarts
  problème sur le descripteur solution source pour
  fournir une valeur candidate pour le descripteur
  solution cible

11
(No Transcript)
12
Un exemple simpliste

• A toi Béatrice.

13
Quest-ce qui fera sens pour le RàPC donc.

• Des cas décrits de façon à en permettre
  lappariement
• Des descripteurs associés à des opérateurs
  dappariement convenables
• Des opérateurs dappariement fournissant un écart
  signifiant / Influence
• Des expressions dinfluence entre les
  descripteurs problème et les descripteurs
  solution
• Des opérateurs permettant de faire jouer les
  influences selon les écarts constatés.
• Des opérateurs permettant de  sommer  les
  influences résultantes dun ensemble décarts
  constatés
• gt GUIDE dacquisition et dapprentissage des
  connaissances pour le RàPC