7.1.4.2 Meilleure_division (E, s) ............................214
7.1.4.3 Critèred'Arrêt (E).....................................215
7.1.4.4 ConstruireFeuille (E).................................217
7.1.4.5 CalculerSeuil (A,E)...................................217 7.2 De l'induction au raisonnement par cas...................................219
7.2.1 Formalisation de la procédure de détermination..............220
7.2.2 Limites de l'approche inductive ................................221
7.2.2.1 Apprentissage automatique = perte d'information 221
7.2.2.2 Gestion de l'inconnu en phase de consultation....221
7.2.2.3 Rigidité de la consultation interactive...............222 7.3 Le raisonnement par cas ....................................................223
7.3.1 Généralités........................................................223
7.3.2 Notre procédure de raisonnement par cas : CaseWork ......225
7.3.3 Formalisation.....................................................227
7.3.4 Comparaison des deux approches .............................228

CONCLUSION........................................................................231
8.1 Résultats......................................................................231
8.2 Limites actuelles .............................................................234
8.3 Perspectives..................................................................236

REFERENCES .........................................................241 LISTE DES FIGURES.................................................251

ANNEXES..............................................................253

IL'induction en mathématiques*......................................................255 IIL'expert, son "raisonnement"* ......................................................261 III Répartition des descriptions de Hyalonemapar Sous-Genre................... 263 IV Architecture d'HyperQuest...........................................................265
IV-1 Les piles d'HyperQuest ...................................................265
IV-1.1 Le dossier Source ..............................................266
IV-1.2 Le dossier de l'application du domaine ......................268 V Syntaxe BNF* pour le LCRC ........................................................271
V-1 Notes sur les grammaires BNF ...........................................271
V-2 Les définitions LCRC du modèle descriptif .............................272
V-2.1 Syntaxe des objets...............................................272
V-2.2 Syntaxe des attributs ............................................272
V-2.3 Syntaxe des valeurs .............................................273
V-3 Les descriptions LCRC du questionnaire ................................273
V-3.1 Syntaxe des cas..................................................273 VI Induction and Reasoning from Cases...............................................275