Le raisonnement à partir de cas est un modèle de raisonnement dont le but est de résoudre des problèmes à partir de l'expérience de résolution de problèmes connus, appelés cas sources. Une solution tirée d'un cas source peut ne pas être applicable directement au problème traité, il faut alors l'adapter. Nous nous intéressons dans cette thèse à une approche de l'adaptation qui s'appuie sur la théorie de la révision des connaissances. La révision des connaissances consiste à modifier des connaissances initiales pour prendre en compte de nouvelles connaissances avec lesquelles elles peuvent être en contradiction. Comme pour l'adaptation, les modifications apportés aux connaissances sont minimales. Ce rapprochement entre adaptation et révision permet de s'appuyer sur la formalisation logique de la révision pour donner un cadre formel à l'adaptation. Dans ce but nous définissons des opérateurs de révision dans des formalismes utiles au raisonnement à partir de cas : dans un formalisme attributs-valeurs simples et dans une logique de descriptions expressive (ALC). Nous montrons aussi que plusieurs approches de l'adaptation précédemment définies peuvent être mises sous la forme d'adaptation par la révision. Nous considérons aussi une extension de l'adaptation par la révision à une combinaison de cas où ce n'est plus un seul mais plusieurs cas sources qui sont exploités pour résoudre un problème. Cette approche de combinaison de cas s'appuie sur la fusion contrainte de connaissances qui généralise la révision. Ces travaux ont été appliqués dans le système d'élaboration de recettes de cuisine Taaable pour l'adaptation des quantités d'ingrédients suivant le modèle de l'adaptation par la révision / Case-Based Reasoning is a reasoning model for problem resolution by reusing the experience of previously solved problems, called source cases. The solution given by a source case cannot always be applied directly to a target case, it may need to be adapted. We focus in this thesis on an adaptation approach defined thanks to belief revision. The belief revision theory deals with the changes to apply to some initial knowledge in order to integrate possibly conflicting new knowledge. For both adaptation and belief revision, the changes are minimal. This parallel between adaptation and revision enables the adaptation process to benefit from the logical formalisation of belief revision. The definition of adaptation by revision aims at providing a formal framework to adaptation. For this purpose, we define revision operators in useful formalisms for case-based reasoning : a revision operator in attributes-simple values and an operator in an expressive description logic (ALC ). We show as well that several adaptation approach previously defined could be expressed as adaptation by revision. In addition we consider generalising the adaptation by revision to a case combination that takes into account more than one source case to solve a problem. This approach to case combination is defined thanks to integrity constrains belief merging that generalises belief revision. These results were applied in the cooking recipe elaboration system Taaable for ingredient quantities adaptation

Cette thèse traite du problème de l'intégration d'une nouvelle information dans un système d'argumentation abstrait. Un tel système est un graphe orienté dont les nœuds représentent les arguments, et les arcs représentent les attaques entre arguments. Il existe divers moyen de décider quels arguments sont acceptés par l'agent qui utilise un tel système pour représenter ses croyances.Il peut arriver dans la vie d'un agent qu'il soit confronté à une information du type "tel argument devrait être accepté", alors que c'est en contradiction avec ses croyances actuelles, représentées par son système d'argumentation.Nous avons étudié dans cette thèse diverses approches pour intégrer une information à un système d'argumentation.Notre première contribution est une adaptation du cadre AGM pour la révision de croyances, habituellement utilisé lorsque les croyances de l'agent sont représentées dans un formalisme logique. Nous avons notamment adapté les postulats de rationalité proposés dans le cadre AGM pour pouvoir caractériser des opérateurs de révision de systèmes d'argumentation, et nous avons proposé différents moyens de générer les systèmes d'argumentation résultant de la révision.Nous avons ensuite proposé d'utiliser la révision AGM comme un outil pour réviser les systèmes d'argumentation. Il s'agit cette fois-ci d'une approche par encodage en logique du système d'argumentation, qui permet d'utiliser les opérateurs de révision usuels pour obtenir le résultat souhaité.Enfin, nous avons étudié le problème du forçage d'un ensemble d'arguments (comment modifier le système pour qu'un ensemble donné soit une extension). Nous avons proposé une nouvelle famille d'opérateurs qui garantissent le succès de l'opération, contrairement aux opérateurs de forçage existants, et nous avons montré qu'une traduction de nos approches en problèmes de satisfaction ou d'optimisation booléenne permet de développer des outils efficaces pour calculer le résultat du forçage. / This thesis tackles the problem of integrating a new piece of information in an abstract argumentation framework. Such a framework is a directed graph such that its nodes represent the arguments, and the directed edges represent the attacks between arguments. There are different ways to decide which arguments are accepted by the agent who uses such a framework to represent her beliefs.An agent may be confronted with a piece of information such that "this argument should be accepted", which is in contradiction with her current beliefs, represented by her argumentation framework.In this thesis, we have studied several approaches to incorporate a piece of information in an argumentation framework.Our first contribution is an adaptation of the AGM framework for belief revision, which has been developed for characterizing the incorporation of a new piece of information when the agent's beliefs are represented in a logical setting. We have adapted the rationality postulates from the AGM framework to characterize the revision operators suited to argumentation frameworks, and we have identified several ways to generate the argumentation frameworks resulting from the revision.We have also shown how to use AGM revision as a tool for revising argumentation frameworks. Our approach uses a logical encoding of the argumentation framework to take advantage of the classical revision operators, for deriving the expected result.At last, we have studied the problem of enforcing a set of arguments (how to change an argumentation framework so that a given set of arguments becomes an extension). We have developed a new family of operators which guarantee the success of the enforcement process, contrary to the existing approaches, and we have shown that a translation of our approaches into satisfaction and optimization problems makes possible to develop efficient tools for computing the result of the enforcement.

Le raisonnement à partir de cas est un modèle de raisonnement dont le but est de résoudre des problèmes à partir de l'expérience de résolution de problèmes connus, appelés cas sources. Une solution tirée d'un cas source peut ne pas être applicable directement au problème traité, il faut alors l'adapter. Nous nous intéressons dans cette thèse à une approche de l'adaptation qui s'appuie sur la théorie de la révision des connaissances. La révision des connaissances consiste à modi er des connaissances initiales pour prendre en compte de nouvelles connaissances avec lesquelles elles peuvent être en contradiction. Comme pour l'adaptation, les modi cations apportés aux connaissances sont minimales. Ce rapprochement entre adaptation et révision permet de s'appuyer sur la formalisation logique de la révision pour donner un cadre formel à l'adaptation. Dans ce but nous dé nissons des opérateurs de révision dans des formalismes utiles au raisonnement à partir de cas : dans un formalisme attributs-valeurs simples et dans une logique de descriptions expressive (ALC ). Nous montrons aussi que plusieurs approches de l'adaptation précédemment dé nies peuvent être mises sous la forme d'adaptation par la révision. Nous considérons aussi une extension de l'adaptation par la révision à une combinaison de cas où ce n'est plus un seul mais plusieurs cas sources qui sont exploités pour résoudre un problème. Cette approche de combinaison de cas s'appuie sur la fusion contrainte de connaissances qui généralise la révision. Ces travaux ont été appliqués dans le système d'élaboration de recettes de cuisine Taaable pour l'adaptation des quantités d'ingrédients suivant le modèle de l'adaptation par la révision.

Contexte : La quantification des subjectivités associées aux états de santé peut fournir des informations sur la qualité de vie reliée à la santé (QVRS). Pour rendre compte de ces subjectivités dans la mesure de la QVRS, on utilise des instruments d'utilité multi attribut comme le Short-Form 6-Dimension Version 2 (SF-6Dv2). Ces instruments permettent de décrire les états de santé, de dériver les utilités correspondantes et d’estimer le changement minimal important (CMI) qui est spécifique à différents groupes de populations, afin de tirer des inférences sur l'état de santé de la population. Le CMI est ici un point central correspondant à la variation minimale considérée comme importante dans la QVRS par les répondants. Le but de cette étude est de déceler le seuil de CMI du SF-6Dv2 pour un échantillon de la communauté québécoise. Méthodes : Une enquête en ligne auprès de la population générale adulte du Québec a été menée entre mars 2020 et septembre 2021 pendant six cycles ou intervalles de temps. Le questionnaire SF-6Dv2 a été administré à chaque cycle, ainsi qu’une question sur la perception d’un changement dans l’état de santé (‘Global Rating of Change’) à partir du cycle 2. Les scores d’utilité en santé ont été calculés pour chaque participant à l’aide de deux ensembles de valeurs de référence (‘value set’), soit pour le Royaume-Uni et le Québec. Actuellement il n'existe pas de value set canadien pour le SF-6Dv2 et le value set québécois n'était disponible qu'en 2023. Une analyse des données avec des méthodes basées sur la distribution et l’ancrage a été effectuée pour déterminer les valeurs de CMI. Résultats : En considérant que les participants avec les réponses 2 ou 4 à la question du ‘Global Rating of Change’ ont connu un changement minimal dans leur état de santé, le CMI calculé avec la pondération du Royaume-Uni était de 0,030 (IC 95% [0,023 ; 0,038], valeur p < 0,001) et pour le Québec de 0,029 (IC 95% [0,023 ; 0,036], valeur p < 0,001) pour le SF-6Dv2. Les méthodes basées sur la distribution ont permis d'obtenir une réponse moyenne standardisée (SRM) de 0,134 et 0,152 avec les ensembles de valeurs du Royaume-Uni et du Québec, respectivement. La taille de l'effet et le demi-écart-type ont également été calculés (0,106 et 0,143 avec Royaume-Uni) (0,115 et 0,127 avec Québec). Conclusion : Le CMI calculé valide la bonne sensibilité (réactivité) du SF-6Dv2 dans la population générale du Québec et fournit une estimation du seuil minimalement important pour les participants. Le CMI permet d’interpréter la QVRS calculée et l’utiliser pour comprendre si la santé s'est significativement améliorée ou détériorée du point de vue des répondants. Les études d’évaluation des technologies de la santé et de prise de décision deviennent ainsi plus valables, car elles tiennent compte de la subjectivité individuelle ressentie et associée à un état de santé particulier, en plus des résultats cliniques objectifs. / Background: Quantifying subjectivities associated with health states can offer information on the health-related quality of life (HRQoL). To account for such subjectivities on HRQoL we use multi attribute utility instruments such as the Short-Form 6-Dimension version 2 (SF-6Dv2). They allow health state description, derive corresponding health utilities, and provide an estimate of minimal important change (MIC) which is specific to different population groups, for inferences on population health. MIC is a central point corresponding to the minimal change in HRQoL that is considered important by the participant. The aim of this study was to find the minimal important change of a generic preference-based instrument, the SF-6Dv2 for a Quebec community sample. Methods: An online survey of the adult general population in Quebec was conducted between March 2020 and September 2021 over six time intervals. SF-6Dv2 was administered at each cycle and a global rating of change question was also administered in the follow-up cycles starting from cycle 2. Health utilities were calculated for each participant using a United Kingdom (UK) based value set (preference weights) and a Quebec value set. At present a Canadian value set is not available for SF-6Dv2 and the Quebec value set was developed in 2023. Data analysis was performed with both anchor and distribution-based methods to ascertain the MIC values. Results: Considering the participants who chose 2 or 4 in the Global Rating of Change question as having experienced a minimal change in health state, the MIC calculated with UK value set was 0.03 (95% CI [0.023 ; 0.038], p-value < 0.001) and with Quebec value set 0.0293 (95% CI [0,023 ; 0,036], p-value < 0,001) for SF-6Dv2. Distribution-based methods yielded a standardized response mean (SRM) of 0.134 and 0.152 with the UK and Quebec value sets, respectively. Effect size and half a standard deviation were 0.106, 0.143 for UK and 0.115, 0.127 for Quebec, respectively. Conclusion: The MIC calculated hence validates SF-6Dv2’s responsiveness in the general population and estimates a utility score minimally important to the participants. This MIC enables HRQoL calculated from such instruments to be appropriately interpreted and to understand if health has improved or deteriorated from the participant’s perspective. Further rendering health technology evaluation and decision-making studies more valid by accounting for the subjectivity felt and associated with a particular health state, apart from the objective clinical results.