Literatura académica sobre el tema "Gestion des incohérences"

Résumé Très diversement concernés par le tourisme, les pays du Sud reçoivent à peine un quart des 898 millions de touristes internationaux (2008). Les flux sont dominés par les sociétés les plus riches et quelques métropoles de puissances émergentes. Cependant, les nouvelles dimensions du tourisme de masse engendrent une concentration de flux sans précédent sur certaines îles et portions littorales. L’analyse de ces logiques (caractérisées par des processus de privatisation et d’appropriation de ressources limitées) constitue un prisme intéressant pour souligner les incohérences et les limites des modèles actuels de développement, sur le plan économique comme sur le plan environnemental, dans un contexte de concurrence exacerbée. La réflexion en terme de développement durable permet de s’interroger sur les jeux d’acteurs, les enjeux de pouvoir, et pose le problème essentiel du coût réel des consommations touristiques et du partage des revenus.

Résumé Cet article traite, à l’aide de la petite éthique de Paul Ricoeur, des problèmes éthiques rencontrés dans la pratique de 26 intervenants montréalais oeuvrant auprès de personnes toxicomanes dans des programmes d’échange de seringues et de distribution de méthadone. Ces intervenants rencontrent des difficultés au quotidien, certaines de nature éthique. Les problèmes éthiques ont été classés en deux catégories, dégagées selon les niveaux de relation de la petite éthique de Ricoeur. Premièrement, les problèmes liés aux contextes politique, légal et organisationnel, notamment, la judiciarisation des personnes toxicomanes, le décalage entre la gestion technocratique et les réalités du terrain et les incohérences dans les pratiques et les services. Deuxièmement, les problèmes liés à la pratique sur le plan relationnel dont l’accès aux services pour certaines personnes (mineurs, femmes enceintes, personnes violentes), les relations de proximité avec les aidés, la confidentialité, les relations de pouvoir et la moralisation. Cette étude montre la complexité inhérente des problèmes et la nécessité de les aborder dans un système éthique intégrant toutes les dimensions de l’intervention en réduction des méfaits.

Cet article est une étude empirique et comparative des politiques monétaires selon les régimes de change en Afrique subsaharienne (ASS), l’échantillon global étant subdivisé par types de régimes de change. Notre étude empirique met en évidence une gestion orthodoxe et rigoureuse pour le groupe zone CFA (ZCFA), alors qu’elle montre une gestion incohérente pour le groupe hors zone CFA (HZCFA) avec les régimes de changes fixes et celui avec les régimes de changes flexibles. Aussi, l’étude montre que la gestion est moins rigoureuse pour le premier comparativement au second.

Comment expliquer que la multiplication d’organes de contrôle au Mali accompagne, plus qu’elle ne contrarie, la montée globale des malversations et de la mauvaise gestion ? Nous montrons que la perte de contrôle de l’État sur les comptes publics renvoie moins à un fonctionnement spécifique des sociétés africaines qu’à une rationalisation des organes spécialisés à la fois ponctuelle et impulsée de l’extérieur. Loin de construire un État plus efficace, l’action des organisations internationales depuis plusieurs décennies produit incohérence et fragmentation en installant différents niveaux de ressources et de normes au sein de l’administration. Elle a ainsi eu pour effet paradoxal de participer à l’inefficacité des inspections et à l’affaiblissement des structures étatiques.

Although neutral during the Mexican American War (1846-8), Great Britain’s Royal Navy had to navigate the war’s naval component, particularly commerce raiding and blockades, as it sought to protect and promote trade and neutral rights. While able to use international pressure to limit privateering, handling the blockade proved more problematic. Although US policies largely mirrored British expectations in the Gulf of Mexico, along Mexico’s Pacific coast, inconsistent US Navy actions created tension. The professionalism of both American and British naval officers and a willingness of both governments to compromise effectively diffused any potential crises. Bien qu’elle soit restée neutre pendant la guerre américano-mexicaine (1846-1848), la Marine royale de la Grande-Bretagne a dû s’occuper de l’aspect naval de la guerre, en particulier les corsaires marchands et les blocus commerciaux, alors qu’elle cherchait à protéger et à promouvoir le commerce et la neutralité des droits. Pour limiter la course, la Marine pouvait recourir à des pressions exercées au niveau international, mais la gestion des blocus s’est révélée plus difficile. Bien que les politiques américaines aient reflété en grande partie les attentes britanniques dans le golfe du Mexique, les mesures incohérentes prises par la Marine américaine ont créé des tensions le long de la côte pacifique du Mexique. Le professionnalisme des officiers de marine américains et britanniques et la volonté des deux gouvernements de faire des compromis ont efficacement dissipé toute crise potentielle.

La transformation du sang placentaire en une précieuse source de cellules souches a donné naissance à partir des années 1990 à une industrie globale de conservation de sang de cordon ombilical faisant désormais concurrence à un large réseau de banques publiques de sang de cordon. Cet article explore les soubassements socioculturels liés à l’émergence de cette industrie et tente d’élucider les enjeux éthiques et politiques qu’elle pose. Si les banques publiques de sang de cordon sont porteuses des valeurs d’altruisme et de solidarité nationale traditionnellement liées au modèle redistributif d’échange de sang et d’organes né après la Seconde Guerre mondiale, les banques privées renvoient, elles, à des formes de solidarité bien différentes. C’est effectivement sous couvert de la solidarité familiale et de la responsabilité morale des mères de protéger leurs enfants qu’elles définissent la conservation privée comme une forme d’ « assurance biologique » contre les risques à la santé de l’enfant. En permettant aux mères d’investir leurs tissus corporels à la fois dans le futur incertain de leurs enfants et dans des thérapies cellulaires expérimentales, ces banques promeuvent un nouveau modèle de participation du/de la patient.e à la coconstitution de futures innovations thérapeutiques. Nous inscrivons ce modèle de participation dans les reconfigurations contemporaines du biopolitique que le sociologue britannique Nikolas Rose (2007) voit s’incarner dans l’émergence d’une nouvelle forme de biocitoyenneté. L’article critique finalement ces services personnalisés en soulignant qu’ils ont le potentiel d’opérer de nouvelles formes de coercition sur les mères, dans un contexte sociopolitique caractérisé par une responsabilisation accrue des individus au regard de la « bonne gestion » de leurs risques à la santé. Ces services sont aussi jugés problématiques sur le plan éthique, au vu de leur incohérence avec un principe de justice distributive défendant l’accès égal pour chaque citoyen.ne à des soins de santé de base.

La World Association for Infant Mental Heath (Association Internationale pour la Santé Mentale du Bébé) contribue au développement et à la transmission des connaissances, et à la promotion d’actions cliniques et thérapeutiques en faveur du bébé et de ses parents. Le groupe WAIMH-Francophone, fondé en 1994 par Serge Lebovici et Bernard Golse, insiste sur les aspects psychopathologiques, stimule un réseau francophone de différentes équipes impliquées en psychiatrie périnatale, aide à faire le point sur les travaux en cours et promouvoir un certain nombre de recherches. Plusieurs membres se sont récemment engagés sur les TCA et l’interaction. Les TCA maternels (recherche à la maternité de Port-Royal (APHP) dans le cadre d’un réseau de prise en charge) : Pendant la gestation, la femme change corporellement comme psychiquement. Sous l’effet d’une attention particulière à l‘alimentation des « réactivations » sont possibles lorsqu’elles ont un passé ou un présent de TCA. Une trentaine ont été rencontrées lors des entretiens semi-structurés anténataux puis revues au cours d’un repas avec leur enfant à trois mois, et comparées à d’autres mères sans antécédents. Des résultats préliminaires seront présentés. Les TCA du nourrisson : Après la naissance, l’alimentation est une des préoccupations premières de la mère, les recherches épidémiologiques récentes montrent en clinique pédiatrique ordinaire qu’un quart à un tiers des bébés sont sujets à des difficultés d’alimentation restrictive qui peuvent se transformer en trouble du comportement alimentaire (2 %). Une réflexion sur étiologie et facteurs de chronicisation des TCA précoces contribuant à l’amélioration des modalités de prise en charge pédiatrique, psychologique et rééducative conduira à la présentation d’une consultation conjointe pédiatre/psychologue depuis 4 ans au CHU Toulouse. Les troubles interactionnels : Chez les mères borderlines ou à pathologie des liens, les réponses orales incohérentes lors des pleurs, les réveils intempestifs à motifs alimentaires etc. font de l’alimentation un enjeu crucial de la négligence et de l’interaction pathologique.

Introduction Des études épidémiologiques canadiennes ont permis d’établir des liens entre certaines professions et le risque de cancer de la prostate, mais avec des données probantes limitées. Il n’y a pas de facteurs de risque évitables bien établis pour le cancer de la prostate, ce qui rend nécessaire l’examen approfondi des facteurs professionnels pour consolider les données existantes. Cette étude utilise des données sur les professions et sur le cancer de la prostate provenant d’une importante cohorte de surveillance en Ontario pour laquelle les données des demandes d’indemnisation des accidentés du tra¬vail sont jumelées aux bases de données administratives sur la santé. Méthodologie Nous avons examiné les professions des 1 231 177 travailleurs de sexe masculin du Système de surveillance des maladies professionnelles entre 1983 et 2015 et nous avons jumelé ces travailleurs au Registre des cas de cancer de l’Ontario afin de détecter et suivre les cas de diagnostics de cancer de la prostate. Nous avons utilisé des modèles de risques proportionnels de Cox pour calculer les rapports de risques (RR) ajus¬tés selon l’âge et des intervalles de confiance (IC) à 95 % pour estimer le risque de cancer de la prostate par groupe professionnel. Résultats Au total, 34 997 cas de cancer de la prostate ont été diagnostiqués parmi les travailleurs inscrits dans le Système de surveillance des maladies professionnelles. Dans l’ensemble, on a observé un risque élevé de cancer de la prostate chez les hommes tra¬vaillant dans les domaines de la gestion et de l’administration (RR = 2,17; IC à 95 % = 1,98 à 2,38), de l’enseignement (RR = 1,99; IC à 95 % = 1,79 à 2,21), du transport (RR = 1,20; IC à 95 % = 1,16 à 1,24), de la construction (RR = 1,09; IC à 95 % = 1,06 à 1,12), de la lutte contre les incendies (RR = 1,62; IC à 95 % = 1,47 à 1,78) et du travail policier (RR = 1,20; IC à 95 % = 1,10 à 1,32). Des résultats incohérents ont été observés en ce qui a trait aux emplois de bureau et à ceux du secteur agricole. Conclusion Les associations observées dans les professions de cols blancs, de la construction, du transport et des services de protection concordent avec les résultats d’études canadiennes antérieures. Nos résultats mettent l’accent sur la nécessité d’éva¬luer les expositions spécifiques aux divers emplois, le comportement sédentaire, le stress psychologique et le travail par quarts. La compréhension de certains facteurs de risque professionnels permettrait de mieux comprendre l’étiologie du cancer de la prostate et d’améliorer les stratégies de prévention.

Le droit et les arts de la scène sont ensemble depuis des siècles. Les tragédies grecques dépeignaient les affaires présentées devant les tribunaux démontrant un lien étroit entre les deux. Au fil des ans, les pièces reflètent souvent les incohérences des décisions judiciaires ou des lois appliquées injustement ou inefficacement. Les arts de la scène sont utilisés pour aider le droit de premier cycle à vivre l’expérience de la profession grâce à la simulation de tribunaux, de moniteurs où il y a un besoin de mise en scène. Cependant, il est souligné que l’intention est de préparer l’élève aux diverses situations que l’élève peut traverser l’exercice de ses activités. Dans ce contexte, les institutions publiques et leurs particularités sont observées. Celles-ci présentent une image usée face aux problèmes auxquels sont actuellement confrontés, tels que la corruption et l’inefficacité managériale qui sont abordées plus en profondeur dans la recherche de solutions possibles à la lenteur de la prestation des services. Enfin, il est à noter qu’il est possible de corréler le théâtre et les institutions publiques pour élucider le rôle de ses acteurs dans la gestion des services fournis. Mots-clés: théâtre, institution publique, lenteur.

La modélisation formelle des politiques de sécurité, contrôlant l'accès aux informations sensibles, est un problème important dans de nombreux domaines. Nous avons proposé un système de contrôle d'accès appelé OrBAC (Organization based access control). Ce système apporte de nombreuses solutions aux systèmes de contrôle d'accès existants, comme la prise en compte du contexte ou encore la possibilité de représenter les différentes formes de privilèges : permission, interdiction et obligation. Cependant, ce système ne permet pas de résoudre les conflits dus aux traitements simultanés des permissions ou obligations et des interdictions. Nous avons traité ce problème dans le système OrBAC, modélisé formellement par une base de connaissances de la logique du premier ordre. Nous avons montré que les approches de gestion des incohérences proposées pour les bases propositionnelles ne sont pas appropriées dans le cas de bases du premier ordre. Nous avons proposé une solution basée sur l'affaiblissement des formules du premier ordre responsables du conflit
Modelling information security policies is being an important task in many domains. We proposed a new access control system called OrBAC (Organization based access control). This system brings many solutions to the existing access control systems. For instance, OrBAC takes into account the context and is able to represent various kinds of privileges : permission, prohibition and obligation. However, this system does not deal with conflicts due to the joint handling of permission or obligation and prohibition policies. We dealt with the problem of handling conflicts in the OrBAC system, modelled by first order logic knowledge bases. We showed that approaches suggested for handling conflicts in propositionnal knowledge bases are not adapted for inconsistent first order knowledge bases. We proposed an approach in which we weak first order formulas responsible of conflicts

Interroger des bases de connaissances avec des requêtes conjonctives a été une préoccupation majeure de la recherche récente en logique de description. Une question importante qui se pose dans ce contexte est la gestion de données incohérentes avec l'ontologie. En effet, une théorie logique incohérente impliquant toute formule sous la sémantique classique, l'utilisation de sémantiques tolérantes aux incohérences est nécessaire pour obtenir des réponses pertinentes. Le but de cette thèse est de développer des méthodes pour gérer des bases de connaissances incohérentes en utilisant trois sémantiques naturelles (AR, IAR et brave) proposées dans la littérature et qui reposent sur la notion de réparation, définie comme un sous-ensemble maximal des données cohérent avec l'ontologie. Nous utilisons ces trois sémantiques conjointement pour identifier les réponses associées à différents niveaux de confiance. En plus de développer des algorithmes efficaces pour interroger des bases de connaissances DL-Lite incohérentes, nous abordons trois problèmes : (i) l'explication des résultats des requêtes, pour aider l'utilisateur à comprendre pourquoi une réponse est (ou n'est pas) obtenue sous une des trois sémantiques, (ii) la réparation des données guidée par les requêtes, pour améliorer la qualité des données en capitalisant sur les retours des utilisateurs sur les résultats de la requête, et (iii) la définition de variantes des sémantiques à l'aide de réparations préférées pour prendre en compte la fiabilité des données. Pour chacune de ces trois questions, nous développons un cadre formel, analysons la complexité des problèmes de raisonnement associés, et proposons et mettons en œuvre des algorithmes, qui sont étudiés empiriquement sur un jeu de bases de connaissance DL-Lite incohérentes que nous avons construit. Nos résultats indiquent que même si les problèmes à traiter sont théoriquement durs, ils peuvent souvent être résolus efficacement dans la pratique en utilisant des approximations et des fonctionnalités des SAT solveurs modernes
The problem of querying description logic knowledge bases using database-style queries (in particular, conjunctive queries) has been a major focus of recent description logic research. An important issue that arises in this context is how to handle the case in which the data is inconsistent with the ontology. Indeed, since in classical logic an inconsistent logical theory implies every formula, inconsistency-tolerant semantics are needed to obtain meaningful answers. This thesis aims to develop methods for dealing with inconsistent description logic knowledge bases using three natural semantics (AR, IAR, and brave) previously proposed in the literature and that rely on the notion of a repair, which is an inclusion-maximal subset of the data consistent with the ontology. In our framework, these three semantics are used conjointly to identify answers with different levels of confidence. In addition to developing efficient algorithms for query answering over inconsistent DL-Lite knowledge bases, we address three problems that should support the adoption of this framework: (i) query result explanation, to help the user to understand why a given answer was (not) obtained under one of the three semantics, (ii) query-driven repairing, to exploit user feedback about errors or omissions in the query results to improve the data quality, and (iii) preferred repair semantics, to take into account the reliability of the data. For each of these three topics, we developed a formal framework, analyzed the complexity of the relevant reasoning problems, and proposed and implemented algorithms, which we empirically studied over an inconsistent DL-Lite benchmark we built. Our results indicate that even if the problems related to dealing with inconsistent DL-Lite knowledge bases are theoretically hard, they can often be solved efficiently in practice by using tractable approximations and features of modern SAT solvers

Definition de la structure coherente d'un systeme de gestion de production et elaboration d'un modele de reference. Developpement de la theorie des situations et proposition d'un modele situationnel des centres de decision. Ces deux modeles theoriques ont ainsi permis de realiser un systeme d'aide au diagnostic des incoherences des systemes de gestion de la production

Un enjeu majeur des systèmes d'aide à la décision est d'automatiser le prétraitement de ces informations afin d'en faciliter l'accès. L'objectif de notre travail est la reconnaissance d'occurrences de situations particulières, à partir d'observations issues de plusieurs sources. Dans le processus global de fusion d'informations pour la reconnaissance de situations, nous nous intéressons en particulier à trois étapes. D’abord, les situations que l'on souhaite reconnaître sont modélisées à l’aide du formalisme des graphes conceptuels. Nous bénéficions ainsi des travaux théoriques réalisés sur ce formalisme. Ensuite, l’identification des observations compatibles permet de vérifier que deux observations correspondent à la même situation, avant de tenter de les combiner. Cette identification repose sur l'utilisation de mesures de similarité de graphes adaptables à un domaine d'application spécifique. Enfin, la fusion d'informations repose sur l'utilisation de l'opération de jointure maximale sur les graphes conceptuels. Afin de permettre de fusionner des informations qui ne sont pas complètement identiques, nous relaxons les contraintes d'égalité des valeurs de deux nœuds concepts. La validation de notre travail se divise en deux phases. D’abord, nous mettons en évidence la validité de notre approche ainsi que l'importance d'injecter de la connaissance métier à l'intérieur du processus de fusion. Pour ce faire, nous utilisons notre plate-forme de fusion dans le cadre d'un système de recommandation de programmes télévisés. Ensuite, nous validons la généricité et l'adaptabilité de notre approche en utilisant la plate-forme de fusion sur quatre applications supplémentaires

Cette thèse étudie la faisabilité du raisonnement automatique sur des bases de connaissances DL-Lite temporelles TDL-Lite. Dans la première partie, nous avons traduit les bases de connaissances exprimées en TDL-Lite en logique temporelle de première ordre et en logique temporelle linéaire LTL qui sont munies de raisonneurs temporels permettant de vérifier leur satisfiabilité. Nous avons réalisé diverses expériences pour analyser les performances et la robustesse des différents raisonneurs sur des scénarios jouets et sur des bases de connaissances TDL-Lite synthétiques de tailles variables. Par ailleurs, lors du traitement des bases de connaissances avec une composante Assertionnel ABox de grande taille, nous avons également proposé une approche d’abstraction des assertions temporelles afin d’améliorer la scalabilité du raisonnement. Nous avons mené plusieurs tests pour évaluer l’efficacité de l’abstraction en mesurant le gain en termes de nombre d’assertions et d’individus dans la ABox. En outre, nous avons mesuré le nouveau temps d’exécution de quelques raisonneurs sur de telles bases de connaissances résumées. Enfin, dans l’objectif de faire de l’utilisation des bases de connaissances en TDL-Lite une réalité, nous avons présenté un outil complet avec une interface graphique qui permet de les concevoir. Notre interface est basée sur des principes de modélisation conceptuelle et elle est intégrée à notre outil de traduction et aux différents raisonneurs temporels. En considérant la ABox comme source d’incohérence, nous avons, dans la deuxième partie de la thèse, traité le problème de gestion des données incohérentes dans les bases de connaissances en TDL-Lite. En effet, nous avons proposé une approche de réparation de la ABox. Il s’agit du premier travail sur la réparation appliquée aux bases de connaissances en logiques de description temporelles. Pour ce faire, nous avons d’abord détecté et localisé les assertions temporelles sources d’incohérence et nous avons ensuite proposé une réparationtemporelle de ces données. Pour la détection, nous avons proposé une traduction des bases de connaissances de TDL-Lite vers DL-Lite; ce qui a permis d’utiliser des raisonneurs de la logique de description hautement optimisés et capables d’apporter une explication précise de l’incohérence. A partir de l’explication obtenue, nous avons ensuite proposé une méthode pour calculer automatiquement la meilleure réparation temporelle en fonction: a) des prédicats rigides, invariants dans le temps, autorisés dans la définition de la base de connaissances et b) de l’ordre temporel des assertions
We investigate the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We translate TDL-Lite KBs into a fragment of FO-logic and into LTL and apply off-the-shelf LTL and FO-based reasoners for checking the satisfiability. We conduct various experiments to analyse the runtime performance of different reasoners on toy scenarios and on randomly generated TDL-Lite KBs as well as the size of the LTL translation. To improve the reasoning performance when dealing with large ABoxes, our work also proposes an approach for abstracting temporal assertions in KBs. We run several experiments with this approach to assess the effectiveness of the technique by measuring the gain in terms of the size of the translation, the number of ABox assertions and individuals. We also measure the new runtime of some solvers on such abstracted KBs. Lastly, in an effort to make the usage of TDL-Lite KBs a reality, we present a fully-fledged tool with a graphical interface to design them. Our interface is based on conceptual modeling principles, and it is integrated with our translation tool and a temporal reasoner. In this thesis, we also address the problem of handling inconsistent data in Temporal Description Logic (TDL) knowledge bases. Considering the data part of the knowledge base as the source of inconsistency over time, we propose an ABox repair approach. This is the first work handling the repair in TDL Knowledge bases. To do so, our goal is two folds: 1) detect temporal inconsistencies and 2) propose a data temporal repair. For the inconsistency detection, we propose a reduction approach from TDL to DL which allows to provide a tight NP-complete upper bound for TDL concept satisfiability and to use highly optimized DL reasoners that can bring precise explanation (the set of inconsistent data assertions). Thereafter, from the obtained explanation, we propose a method for automatically computing the best repair in the temporal setting based on the allowed rigid predicates and the time order of assertions

Dans cette thèse, nous avons étudié des modèles logiques et graphiques pour la gestion d'informations incohérentes et incertaines. Dans la première partie, nous avons étudié une extension des ontologies légères, exprimée ici dans les langages DL-Lite, dans le cadre de la théorie des possibilités basée sur le produit. Nous introduisons d'abord le langage et la sémantique utilisés pour représenter l'incertitude dans les ontologies légères. Nous montrons ensuite que, contrairement à la logique DL-Lite possibiliste basée sur l'opérateur min, le traitement des requêtes dans une théorie de possibilité basée sur le produit est une tâche difficile. Lorsque l'incertitude est considérée seulement au niveau des assertions de la ABox, nous fournissons des transformations équivalentes entre le problème du calcul du degré d'inconsistance (la notion clé dans le raisonnement à partir d'une base de connaissances DL-Lite possibiliste) et le problème Max-2-Horn-SAT pondéré. Dans le cadre général où la TBox peut également être incertaine, nous modélisons le calcul du degré d'inconsistance par un problème de programmation linéaire en nombres entiers. De plus, nous proposons dans les deux cas, un encodage du problème de calcul du degré d'inconsistance en terme d'un problème de couverture d'ensembles pondérés et nous utilisons un algorithme glouton pour calculer une valeur approximative du degré d'inconsistance. Enfin, nous présentons une étude expérimentale où les différentes solutions proposées sont comparées. Nous montrons en particulier l'efficacité de l'approche basée sur la programmation linéaire en nombres entiers par rapport aux deux autres approches basées sur le W-Max-2-Horn-SAT et l'algorithme glouton approximatif. Dans la deuxième partie de la thèse, nous avons étudié le problème de la prise de décision. Nous avons implémenté une version améliorée du procédé de décomposition d'un diagramme d'influence possibiliste en deux réseaux possibilistes sans réduction, permettant de réduire la complexité des réseaux résultants et offrant ainsi une amélioration du processus de calcul des décisions optimales optimistes. De plus, nous avons proposé une approche approximative pour le calcul de la décision possibiliste qualitative en incorporant les techniques de fusion des réseaux possibilistes. Cette approche est efficace et elle est en particulier utile lorsque la génération des distributions de possibilités locales par l'algorithme standard est impossible ou prend un temps de réponse trop long
In this thesis, we have studied logical and graphical models for the management of incoherent and uncertain information. In the first part, we have studied an extension of lightweight ontologies, encoded here in DL-Lite languages, for the product-based possibility theory framework. We first have introduced the language and the semantics used for representing uncertainty in lightweight ontologies. Then, we have shown that contrarily to a min-based possibilistic DL-Lite, query answering in a product-based possibility theory is a hard task. When the uncertainty is only considered at the ABox level, we have provided equivalent transformations between the inconsistency degree computation problem (the key notion in reasoning from a possibilistic DL-Lite knowledge base) and the weighted maximum 2-Horn SAT problem. In the general case, where the TBox may also be uncertain, we have modeled the inconsistency degree computation as an integer linear programming problem. Moreover, we have provided in both cases, an encoding of the problem of computing inconsistency degree in product-based possibility DL-Lite as a weighted set cover problem and we have used a greedy algorithm to compute an approximate value of the inconsistency degree. This encoding allows us to provide an approximate algorithm for answering instance checking queries in product-based possibilistic DL-Lite. Lastly, we have presented an experimental study where the different proposed solutions are compared. We have shown in particular the efficiency of the integer linear programming approach compared with the two other solutions based on the weighted Max-2-Horn-SAT and the approximate greedy algorithm. In the second part of the thesis, we have implemented the problem of decision-making. We have implemented and, improved a new version of the possibilistic influence diagram decomposition process into two possibilistic networks without reduction, reducing the complexity of the resulting networks and thus improving the computation of the optimistic decision-making process. In addition, we have proposed an approximate approach for the computation of decision under uncertainty within possibilistic networks. The computing of the optimal optimistic decision no longer goes through the junction tree construction step. Instead, it is performed by calculating the degree of normalization in the moral graph resulting from the merging of the possibilistic network codifying knowledge of the agent and that codifying its preferences

Nos travaux s’inscrivent dans le cadre de la définition d’architectures pour la conception des applications informatiques se basant sur l’interactivité avec l’utilisateur. Nous nous plaçons dans un contexte de système médiateur, dans lequel les interactions sont traitées par le système afin de maitriser au mieux l’exécution de l’application interactive. Un point-clé de notre approche est l’hypothèse que le concepteur conçoit son application interactive en fonction d’un présupposé qu’il a sur l’utilisateur (compétence, comportement...). Afin de maintenir la cohérence de l’exécution vis-à-vis du comportement de l’utilisateur pour l’activité en cours, le mécanisme d’adaptation doit alors prendre en compte la logique perçue et interprétée de l’utilisateur. Le principe d’exécution adaptative permet donc à un système interactif d’ajuster sa logique d’exécution en fonction de l’état, des comportements, des réactions et des capacités de l’utilisateur. Ainsi, le point de départ de l’exécution adaptative est la définition des propriétés caractérisant l’état de l’utilisateur et/ou de son environnement, et l’observation ou la capture de cet état, qui permettra par la suite de prendre une décision sur la poursuite du déroulement du scénario. Cependant, cette décision d’adaptation peut être influencée ou entravée par la distance entre l’état observé et l’état réel de l’utilisateur, ainsi que par la distance entre l’état observé et l’état prédit (espéré) par le système. Les principaux obstacles à l’exécution adaptative dans un système interactif sont de 3 types : les ambiguïtés, les incohérences et les quiproquos. Ils peuvent survenir à chaque fois qu’un ensemble d’acteurs du système considéré interagissent, partagent des connaissances globales et gèrent leurs connaissances locales. Un quiproquo se produit lorsque deux acteurs ont des connaissances incohérentes dans leurs visions locales et les utilisent pendant leurs interactions ; cela peut entraîner une déviation de ces interactions. L’ambiguïté causant possiblement des mauvaises perceptions est une des origines de quiproquo. Les ambiguïtés et les quiproquos sont des entraves pouvant entrainer des conséquences graves pour le système, tel que la déviance du scénario, la propagation des quiproquos, l’interruption des interactions, la perte de motivation des utilisateurs... Ils diminuent à la fois la qualité de l’adaptation et la pertinence de l’interaction. La question principale à laquelle veulent répondre nos travaux est : comment peut-on gérer les quiproquos entre les acteurs du système lors de l’exécution, afin d’améliorer l’adaptativité dans les applications interactives ? Le principe de notre solution est de proposer un gabarit de conception et d’organisation des interactions ainsi qu’un gabarit de mécanisme de gestion de cohérence, que les concepteurs d’une application interactive pourront reprendre comme support pour développer leurs propres algorithmes de détection ou de correction. Ce modèle d’architecture doit être générique et réutilisable, les mécanismes doivent être transparents et préserver les propriétés importantes des systèmes interactifs. Pour atteindre cet objectif, notre recherche s’est divisée en trois points : proposer un cadre méthodologique à base de la notion de « situation » pour la conception des applications interactives, pour confiner les interactions et suivre les parcours d’actions de chaque acteur, afin de contrôler l’utilisation des ressources et assurer la cohérence des visions locales ; proposer une architecture robuste à base d’agents avec la surcharge des composants spécifiques en tant qu’infrastructure des systèmes interactifs adaptatifs ; enfin, transférer des techniques du domaine de la sûreté de fonctionnement et de la tolérance aux fautes, vers le domaine de l’interactivité et l’adaptativité pour traiter les quiproquos
Our works focus on defining an architectural model for interactivity-based computer applications. The research context is placed in the mediator systems where the interactions are treated by the system itself, and in the scenarized applications where its execution is considered as a scenario. This aims to manage at best the interactive application execution. The observation and adaptation are key points of our approach where the designer develops his interactive application according to the presuppositions about users (behaviour, skills...). To maintain an execution consistence towards user’s behaviour in current activities, the adaptation mechanism has to take into account the perceived and interpreted user’s logic. That allows the system to adjust its execution logic to user’s state, behaviour, reactions and capacities. Hence, the starting point of adaptive execution is to define a set of proprieties characterising user’s state and his environment of which the observation permits thereafter to make decisions about the future scenario continuity. However, this decision can be influenced or hampered by the difference distance between the observed state and the real state of user, also the distance between the observed state and the expected one by the system. The principal obstacles against the adaptation and interactions are : the ambiguity, the inconsistency, and the misunderstanding. They can occur when the participant actors interact, share global data, and manage the local knowledge contained in their local visions at the same time. A misunderstanding in interaction arises during actors’ interactions using the inconsistent data in their local visions that can impact badly on interaction. The ambiguity causing possibly the wrong perceptions is one of the principal misunderstanding origines. Theses obstacles lead to serious consequences for the system and application such as scenario deviation, misunderstanding propagation, interaction interruption, user’s motivation lost...They decrease the adaptation quality and interaction pertinence. Hence, the principal question of this thesis is : how can we handle the misunderstanding in interactions between the actors during system execution in order to improve adaptability in the interactive applications ? Our solution principle is to propose a model for interaction designing and organizing, together with a model for consistency handling mechanisms that application designers can employ as a necessary support to install his own detection or correction algorithms. These models have to be generic, reusable to be applied in different types of application. The consistency managements have to be transparent to users, and preserve important properties of interactive systems. To attain this objective, our works follow three major points : propose a situation-based methodological model for interactive application designing to confine a sequence of interactions into a situation with the constraints of context and resource utilisation. This structuration into situations propose a robust system architecture with additional specific components that ensure misunderstanding in interaction detection and management. Integrate the adaptive treatment mechanisms to the dynamic system’s execution through the proposed situation-based architectural model. They are inspired and adapted from fault-tolerance techniques in dependability domain