No description available.

Ce mémoire propose une approche pour la reconnaissance de plan qui a été conçue pour les environnements avec des adversaires, c'est-à-dire des agents qui veulent empêcher que leurs plans soient reconnus. Bien qu'il existe d'autres algorithmes de reconnaissance de plan dans la littérature, peu sont adaptés pour de tels environnements. L'algorithme que nous avons conçu et implémenté (PROBE, Provocation for the Recognition of Opponent BEhaviours ) est aussi capable de choisir comment provoquer l'adversaire, en espérant que la réaction de ce dernier à la provocation permette de donner des indices quant à sa véritable intention. De plus, PROBE utilise des machines à états finis comme représentation des plans, un formalisme différent de celui utilisé par les autres approches et qui est selon nous mieux adapté pour nos domaines d'intérêt. Les résultats obtenus suite à différentes expérimentations indiquent que notre algorithme réussit généralement à obtenir une bonne estimation des intentions de l'adversaire dès le départ et que cette estimation s'améliore lorsque de nouvelles actions sont observées. Une comparaison avec un autre algorithme de reconnaissance de plan démontre aussi que PROBE est plus efficace en temps de calcul et en utilisation de la mémoire, sans pourtant sacrifier la qualité de la reconnaissance. Enfin, les résultats montrent que notre algorithme de provocation permet de réduire l'ambiguïté sur les intentions de l'adversaire et ainsi améliorer la justesse du processus de reconnaissance de plan en sélectionnant une provocation qui force l'adversaire, d'une certaine façon, à révéler son intention.

Contexte : malgré les particularités de l’environnement de pratique de la médecine d’urgence, il n’existe pas de recherches spécifiquement menées sur la thématique du raisonnement clinique dans cette spécialité. Nous avons souhaité mieux comprendre comment les médecins urgentologues raisonnent dans le cadre de la prise en charge initiale des patients. Méthode : une posture épistémologique interprétative a été adoptée à travers un devis de recherche qualitatif de type ethnographique. Des entretiens ont été réalisés auprès de médecins urgentologues experts, à l’issue de la prise en charge d’un patient réel. Ces entretiens reposaient notamment sur la visualisation de l’enregistrement vidéo en perspective subjective située, obtenu grâce à l'usage d'une microcaméra fixée sur la tempe ou la branche de lunettes des praticiens. Résultats : les hypothèses diagnostiques sont générées très précocement par les médecins, parfois même avant la rencontre avec le patient, sur la base de la prise en compte d’un nombre très limité d’informations, pour certaines contextuelles. Cinq hypothèses étaient en moyenne générées lors de la rencontre initiale et au moins une était une hypothèse de gravité. Aucune n’était formellement éliminée ou validée sans résultats d’examens complémentaires. Un jugement précoce quant à la gravité de la situation permettait également aux médecins d’orienter leurs intentions initiales vers des buts diagnostiques ou thérapeutiques. Les experts raisonnaient le plus souvent de manière intuitive. Ils prenaient en compte les spécificités de leur environnement professionnel en étant, par exemple, vigilants au temps, au caractère potentiellement évolutif de l’état clinique du malade et au devenir d’aval de celui-ci. Conclusion : l’identification du raisonnement clinique des médecins urgentologues offre des perspectives importantes en matière de pratique de la médecine d’urgence, et de formation des résidents dans cette discipline. La méthode originale de recueil des données pourrait en outre être réexploitée dans le cadre de travaux ultérieurs.

Objectif : Le but de l'étude est de développer une typologie de la protection féminine afin de poser un diagnostic de protection, diagnostic aujourd'hui absent du système de santé. Conception : Le concept de la protection se réfère au cadre théorique plus général du paradigme de la salutogenèse. Il rassemble un ensemble de facteurs salutogènes et existentiels qui concourent, dans la phase critique du cancer du sein, à expliciter la façon de penser des femmes et le maintien de la santé en situation extrême. Méthodologie : La recherche est basée sur une approche exploratoire intensive avec mesures répétées, une méthode mixte de recherche (Creswell, 2008), le recours à la triangulation lors du recueil de données (enquête - questionnaire - entretiens) et une approche analytique et systémique pour saisir la structure et la dynamique interne des différents types de femmes. Résultats principaux : La série d'analyse réalisée a mis en évidence trois types de protection. : (1) une protection dite opérante, c'est-à-dire propre à être faiblement stressée, à faire preuve de discernement, à s'engager résolument, à croire en elle et en un contrôle de l'évolution du cancer. Une protection qui agit face aux événements, a une perspective de santé positive et devient plus philanthrope; (2) une protection dite mixte (qui produit deux effets différents) qui a comme propriétés essentielle d'être impressionnée, dans la vie quotidienne, face aux figures d'autorité, et de ce fait, est confuse et se désengage. Une protection qui a comme attributs de nier le diagnostic de cancer, de s'attribuer une part de responsabilité dans la survenue de la maladie, de s'affirmer progressivement et de se réaliser face à l'autorité morale du cancer et, de ce fait, a une perspective de santé plus positive ; et (3) une protection dite inopérante (G1), c'est-à-dire qui a comme particularités d'être faiblement stressée, confuse et désengagée face à l'autorité. Une protection qui a comme propriétés essentielles une attribution causale interne, une croyance moyenne en elle et une dénégation de l'état de malade. Une protection qui cesse de se battre, a une perspective de santé négative, recherche une tranquillité d'esprit après avoir perçu la gravité de la maladie et s'être souvenue qu'il vaut mieux, face à toute autorité morale et à celle du cancer en particulier, faire preuve de prudence et se soumettre. En somme, dans la population à l'étude une femme sur deux atteinte d'un cancer du sein rencontre des difficultés pour s'en protéger et une sur quatre n'y parvient pas. Conclusion: Une approche salutogène intégrée et systémique peut permettre aux professionnels de santé de repérer, d'une manière systématique et standardisée, les femmes qui se protègent et ainsi être apte à bien répondre à leurs attentes et à leurs difficultés. Une telle approche promeut la santé en situation de cancer du sein.

Cette étude s'inscrit dans le contexte du mouvement professionnalisant de la formation initiale à l'enseignement. Dans ce contexte, la personne enseignante associée y joue un rôle important. Toutefois, il est possible d'observer l'absence de consensus sur les façons de remplir ce rôle. À la lumière de la recension des écrits, cette étude stipule que le fait de stimuler le raisonnement pédagogique des stagiaires constitue une visée d'accompagnement cohérente avec les travaux s'insérant dans ce mouvement. De plus, cette étude soutient que l'accompagnement réflexif apparaît comme un accompagnement susceptible de stimuler le raisonnement pédagogique. Cette recherche analyse les conceptions et les pratiques de personnes enseignantes associées au regard du raisonnement pédagogique et de l'accompagnement réflexif. De plus, elle analyse les manifestations du raisonnement pédagogique et des autres activités réflexives des stagiaires. Pour ce faire, la perspective de l'interactionnisme symbolique a été privilégiée tout en s'insérant dans le paradigme interprétatif. Les résultats permettent de constater que les conceptions des personnes enseignantes associées, au regard du raisonnement pédagogique, s'approchent davantage d'une définition de la réflexion. Les résultats soulèvent aussi que les rencontres sont caractérisées par une utilisation prépondérante de questions ainsi que par une tendance générale plutôt non réflexive. De plus, les résultats permettent de constater que les activités réflexives des stagiaires sont caractérisées par un déploiement prépondérant de la confirmation ainsi que par des manifestations de raisonnement pédagogique. Certaines hypothèses sont émises pour interpréter ces résultats dont, entre autres, l'influence probable des caractéristiques de la recherche, de certaines stagiaires à l'étude, de certaines personnes enseignantes associées, etc. Les résultats permettent de mieux cerner la contribution d'un accompagnement réflexif à l'émergence et au développement du raisonnement pédagogique des stagiaires. Toutefois, des recherches supplémentaires doivent être mises sur pied pour tenter de pousser plus loin les hypothèses émises.

Les travaux décrits dans ce document ont pour objectif le développement de procédures de décision (et de résolution) pour la vérification. La logique considérée est la logique du premier ordre avec égalité. Cette logique est évidemment indécidable en général, mais l'étude de fragments intéressants pour la vérification peut conduire à des outils automatiques de type "presse-bouton". La notion d'égalité est particulièrement intéressante pour programmer, par orientation des égalités, c'est-à-dire par réécriture, ou pour prouver, grâce au principe de remplacement d'égal par égal. Dans une modélisation en logique du premier ordre avec égalité, on est très facilement amené à utiliser simultanément plusieurs théories différentes pour représenter par exemple les fonctions et la mémoire d'un programme ainsi que les opérations arithmétiques effectuées par le programme. On se retrouve ainsi naturellement face à un problème exprimé dans un mélange de théories, qu'il est souhaitable de résoudre de façon modulaire en réutilisant les procédures de décision connus pour les théories composant le mélange. Cette problématique est au coeur de mes travaux. L'originalité de mon approche consiste à développer des méthodes de combinaison pour les procédures de décision utilisées dans le domaine de la vérification. Toutes les procédures de décision obtenues ont été évidemment élaborées en suivant une démarche de conception sûre, qui s'appuie sur une description à base de systèmes d'inférence pour faciliter leurs preuves.

Perceiving or understanding the environment surrounding of a vehicle is a very important step in building driving assistant systems or autonomous vehicles. In this thesis, we focus on using laser scanner as a main perception sensor in context of dynamic outdoor environments. To solve this problem, we have to deal with 3 main tasks: (1) identify static part and dynamic entities moving in the environment, (2) use static part of the environment to build a map of the environment and localize the vehicle inside this map: this task is know as "Simultaneous Localization And Mapping" (SLAM) and finally (3) Detect And Track Moving Objects (DATMO). Regarding SLAM, the first contribution of this research is made by a grid-based approach\footnote{An occupancy grid is a decomposition of the environment in rectangular cells where each cell contains the probability that it is occupied by an obstacle.} to solve both problems of SLAM and detection of moving objects. To correct vehicle location from odometry we introduce a new fast incremental scan matching method that works reliably in dynamic outdoor environments. After good vehicle location is estimated, the surrounding map is updated incrementally and moving objects are detected without a priori knowledge of the targets. Our second contribution is an efficient, precise and multiscale representation of 2D/3D environment. This representation is actually an extension of occupancy grid where (1) only cells corresponding to occupied part of the environment are stored and updated (2) where cells are represented by a cluster of gaussian to have a fine representation of the environment and (3) where several occupancy grids are used to store and update a multiscale representation of the environment. Regarding DATMO, we firstly present a method of simultaneous detection, classification and tracking moving objects. A model-based approach is introduced to interpret the laser measurement sequence over a sliding window of time by hypotheses of moving object trajectories. The data-driven Markov chain Monte Carlo (DDMCMC) technique is used to explore the hypothesis space and effectively find the most likely solution. An other important problem to solve regarding DATMO is the definition of an appropriate dynamic model. In practice, objects can change their dynamic behaviors over time (e.g. : stopped, moving, accelerating, etc...). To adapt to these changing behaviors, a multiple dynamic model is generally required. But, this set of dynamic models and interactions between these models are always given a priori. Our second contribution on DATMO is a method to guide in the choice of motion models and in the estimation of interactions between these motion models. The last part of this thesis reports integration of these contributions on different experimental platforms in the framework of some national and european projects. Evaluations are presented which confirm the robustness and reliability of our contributions.

Nos travaux portent sur l'interprétation d'une scène dont nous possédons un modèle, représentant l'agencement spatial des objets contenus dans cette scène. Dans le cadre d'une segmentation séquentielle permettant de reconnaître les objets les uns après les autres en fonction des étapes antérieures, nous utilisons la connaissance spatiale du modèle pour optimiser la séquence de segmentation à effectuer à partir d'un objet de référence vers un objectif à segmenter. Nous proposons pour cela d'optimiser un chemin dans un graphe représentant les objets de la scène (noeuds) et leurs relations spatiales (arcs). Deux approches sont proposées. La première approche effectue une optimisation à partir de l'information spatiale du modèle uniquement, en évaluant un critère de pertinence de chaque chemin. L'évaluation est effectuée de manière indépendante sur chaque arc dans un premier temps, puis nous proposons une manière de représenter un chemin entier, permettant d'évaluer la pertinence du chemin à partir de cette représentation. La deuxième approche s'intègre dans un processus de segmentation séquentielle, vu comme l'exploration progressive d'une image à partir d'un objet de référence. Nous utilisons une modélisation d'une technique pré-attentionnelle, une carte de saillance, afin de guider le processus de segmentation séquentielle, en intégrant à l'approche structurelle des informations de saillance extraites de l'image à interpréter. Le domaine d'application de ces approches est la segmentation des structures sous-corticales du cerveau dans des images IRM 3D dont certaines présentent des pathologies.

Les humains raisonnent souvent en présence d'informations contradictoires. Dans cette thèse, j'ébauche une axiomatisation du sens commun sous-jacent à ce raisonnement dit paraconsistant. L'implémentation de cette axiomatisation dans les ordinateurs autonomes sera essentielle si nous envisageons de leur déléguer des décisions critiques ; il faudra également vérifier formellement que leurs réactions soient sans risque en toute situation, même incertaine. Une situation incertaine est ici modélisée par une base de connaissances probabilistes éventuellement inconsistante ; c'est un multi-ensemble de contraintes éventuellement insatisfiable sur une distribution de probabilité de phrases d'un langage propositionnel, où un niveau de confiance peut être attribué à chaque contrainte. Le principal problème abordé est l'inférence de la distribution de probabilité qui représente au mieux le monde réel, d'après une base de connaissances donnée. Les réactions de l'ordinateur, préalablement programmées puis vérifiées, seront déterminées par cette distribution, modèle probabiliste du monde réel. J.B. Paris et al. ont énoncé un ensemble de sept principes, dit de sens commun, qui caractérise l'inférence dans les bases de connaissances probabilistes consistantes. Poursuivant leurs travaux de définition du sens commun, je suggère l'adhésion à de nouveaux principes régissant le raisonnement dans les bases inconsistantes. Ainsi, je définis les premiers outils théoriques fondés sur des principes pour raisonner de manière probabiliste en tolérant l'inconsistance. Cet ensemble d'outils comprend non seulement des mesures de dissimilarité, d'inconsistance, d'incohérence et de précision, mais aussi un processus d'inférence coïncidant avec celui de J.B. Paris dans le cas consistant. Ce processus d'inférence résout un problème de la théorie du vote, c'est-à-dire l'obtention d'un consensus parmi des opinions contradictoires à propos d'une distribution de probabilité telle que la répartition d'un investissement financier. Finalement, l'inconsistance n'est qu'une forme d'incertitude qui ne doit pas entraver notre raisonnement, ni celui des ordinateurs : peut-être qu'une plus grande confiance leur sera accordée s'ils fondent leurs décisions sur notre sens commun.

Un document multimédia marie les technologies de l'écrit, de l'image et du son. Actuellement, les documents multimédia doivent pouvoir être exécutés sur de nombreuses plates-formes (téléphones portables, PDA, ordinateurs de bureau, lecteurs de salon...). Cette diversification des utilisations et des supports nécessite l'adaptation des documents à leur contexte d'exécution, parfois imprévisible au moment de la conception du document.<br /><br />Pour s'affranchir des langages ou formats de description multimédia, nous abstrayons les documents en une structure exprimant l'ensemble des relations entre objets du document. Les relations entre objets sont d'ordre temporel, spatial, hypermédia voire inter-dimensionnel, et peuvent être de nature qualitative. Cette structure capture la sémantique des documents car elle est capable de couvrir chacune de ses exécutions potentielles. Dans ce contexte, adapter va consister à calculer un ensemble d'exécutions le plus proche possible de ces exécutions potentielles qui satisfont les contraintes d'adaptation imposées par une plate-forme cible. À cet effet, les relations de la structure abstraite sont modifiées de sorte de satisfaire ces contraintes d'adaptation. Nous montrons, pour chaque dimension du document, comment réaliser ceci de manière réaliste.<br /><br />Afin de montrer l'applicabilité d'une telle approche, nous la développons dans un cadre adapté au standard SMIL pour lequel nous déclinons les adaptations spatiales, temporelles, spatio-temporelles et hypermédia. Nous sommes amenés à développer des techniques spécifiques pour les représentations spatiales et temporelles efficaces. Nous explorons aussi des approches impliquant la suppression d'objets.