Une approche de l'adaptation en raisonnement à partir de cas (RÀPC) qui repose sur la théorie du changement minimal est présentée ici dans un formalisme plus général que la logique propositionnelle finie. Ce formalisme permet d'exprimer des valeurs numériques ce qui est utile dans le cadre du RÀPC. Cette approche est réduite à un problème d'optimisation, et sous hypothèses, à un problème de programmation linéaire.