Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP.

This thesis deals with Artificial Intelligence planning. After introducing the domain and the main algorithms in the classical framework of planning, we present a state of the art of SAT planning. We analyse in detail this approach which allows us to benefit directly from improvements brought regularly to SAT solvers. We propose new encodings integrating a least-commitment strategy postponing as much as possible the scheduling of actions. We then introduce the TSP system which we have implemented to equitably compare the different encodings and we detail the results of numerous experimental tests which show the superiority of our encodings in comparison with the existing ones. We introduce then a state of the art of temporal planning by analysing algorithms and expressiveness of their representation languages. The great majority of these planners do not allow us to solve real problems for which the concurrency of actions is required. We then detail the two original approaches of our TLP-GP system which allow us to solve this type of problem. As with SAT planning, a large part of search work is delegated to a SMT solver. We then propose extensions of the PDDL planning language which allows us to a certain extent to take into account uncertainty, choice, or continuous transitions. We show finally, thanks to an experimental study, that our algorithms allow us to solve real problems requiring numerous concurrent actions.Cette thèse s'inscrit dans le cadre de la planification de tâches en intelligence artificielle. Après avoir introduit le domaine et les principaux algorithmes de planification dans le cadre classique, nous présentons un état de l'art de la planification SAT. Nous analysons en détail cette approche qui permet de bénéficier directement des améliorations apportées régulièrement aux solveurs SAT. Nous proposons de nouveaux codages qui intègrent une stratégie de moindre engagement en retardant le plus possible l'ordonnancement des actions. Nous présentons ensuite le système TSP que nous avons implémenté pour comparer équitablement les différents codages puis nous détaillons les résultats de nombreux tests expérimentaux qui démontrent la supériorité de nos codages par rapport aux codages existants. Nous présentons ensuite un état de l'art de la planification temporelle en analysant les algorithmes et l'expressivité de leurs langages de représentation. La très grande majorité de ces planificateurs ne permet pas de résoudre des problèmes réels pour lesquels la concurrence des actions est nécessaire. Nous détaillons alors les deux approches originales de notre système TLP-GP permettant de résoudre ce type de problèmes. Ces approches sont comparables à la planification SAT, une grande partie du travail de recherche étant déléguée à un solveur SMT. Nous proposons ensuite des extensions du langage de planification PDDL qui permettent une certaine prise en compte de l'incertitude, du choix, ou des transitions continues. Nous montrons enfin, grâce à une étude expérimentale, que nos algorithmes permettent de résoudre des problèmes réels nécessitant de nombreuses actions concurrentes

La participation des travailleurs à une recherche en santé mentale au travail : une histoire de confiance

Cette thèse vise à obtenir des connaissances théoriques sur les éléments qui composent une démarche de participation des travailleurs implantée dans une recherche en santé mentale au travail (SMT), à cerner l'enjeu fondamental qu'un tel processus soulève et à donner un cadre de référence pratique pour les chercheurs ou intervenants en ressources humaines désireux d'y recourir pour transformer l'environnement psychosocial de travail. La problématique repose sur les changements qui ponctuent le travail et le marché de l'emploi depuis plusieurs années. Ces transformations touchent particulièrement les aspects psychosociaux du travail, comme la demande psychologique, la latitude décisionnelle, le soutien social des collègues et des superviseurs et la reconnaissance. Les recherches portant sur ces variables indiquent qu'elles entraînent d'énormes coûts financiers pour la société et les entreprises et des effets délétères sur la santé mentale des travailleurs. Plusieurs scientifiques ont tenté (et tentent toujours) d'améliorer la santé des salariés par l'intermédiaire d'enquêtes portant sur la réduction de ces contraintes à la source. Dans leurs recherches, est fréquemment évoquée l'utilisation de modalités participatives incluant des employés. Toutefois, ils n'offrent pas ou peu d'enseignements tirés de l'application de ces stratégies. La présente recherche exploratoire et qualitative prend comme objet d'analyse une démarche de participation des travailleurs, nommée Groupe de soutien à l'intervention (GSI), instaurée dans une étude en SMT. Grâce à l'approche de la Grounded Theory, il a été possible de révéler ses dimensions: 1) anonymat et confidentialité, 2) choix et recrutement des participants, 3) clarté du but et variables ciblées, 4) forme et fonctionnement et rôle des acteurs. L'établissement de la confiance de types pratique et relationnel est apparu comme un enjeu constitutif de l'expérience étudiée. Pour conduire la participation des travailleurs, six leçons ont été identifiées dont: une démarche optimale de participation des travailleurs à une recherche en SMT nécessite 1) l'établissement de la confiance de type pratique, 2) l'établissement de la confiance. de type relationnel, 3) un contrat de participation négocié entre les différents acteurs, 4) des acteurs conscients des facteurs qui l'influencent. De plus, un tel processus de participation 5) cible des interventions organisationnelles possibles et locales sous la responsabilité des partenaires et 6) exige du temps. Enfin, cette thèse soutient que cette forme de participation procure aux salariés une plate-forme pour être entendus et (re)connus. IV Mots-clés: Participation des travailleurs à une recherche en santé mentale au travail, prévention de la santé mentale au travail, aspects psychosociaux du travail, confiance, grounded theory

Interpréter pour (inter)agir et apprendre : la course d'orientation en Education physique et sportive au Baccalauréat.

This study focuses on the student’s activity as defined and experienced in Physical Education. The target was to reach what makes sense for him/her when confronted with a problem solving task. The method used an inductive, participative and internalist approach. The study’s context was an optional full learning cycle of Orienteering (T= 16 hours duration; 8 sequences; n = 19 students 17 and half years old) taught by an expert teacher on critical thinking approach and on this sport practice. Three studies are expected to characterize the student functioning when confronted with the Baccalaureat examination and preparation. The first study layed on the analyzis of the performance at different moments of the learning. The second study was on the interactions between student motor, verbal and reflective profiles from the written reports of their activity. The third study was based on the pre/post test inspired from Gardner’ theory of the multiple intelligences: it helped describing the evolution of the declared capabilities of the students. Results showed that student profiles evolve according to a variable success all along the learning cycle; these profiles express within the situated context according to the learning tasks, the mobilized resources and the interpretation of the relationship between the map and the effective natural environment. A case study allowed individualizing the observations so as to question at a time the way Orienteering has to be taught and the complex strategies used by studentsCette étude propose une approche centrée sur l’activité de l’élève telle que définie et expériencée en cours d’Education Physique et Sportive. Il s’agit d’accéder à ce qui fait sens pour lui/elle lorsque confronté à une situation de résolution de problème, étant entendu que la démarche menée est inductive, participante et internaliste. Le contexte de l’étude se place dans un cycle complet de Course d’Orientation (T = 16h de pratique effective ; 8 séances) mené par un enseignant expert de l’approche réflexive et de l’APSA, auprès d’une classe optionnaire de 19 élèves (âge moyen 17ans ½). Trois études sont menées afin de caractériser le fonctionnement des élèves confrontés à l’épreuve de Baccalauréat et à sa préparation. La première étude porte sur l’analyse de la performance à différents moments du cycle. La seconde étude porte sur les interactions entre profils moteurs, verbaux et réflexifs des élèves à partir des traces écrites de leur activité. La troisième étude s’intéresse, à partir d’un test ante/post cycle inspiré de la théorie des intelligences multiples de Gardner, à cerner l’évolution des capacités déclarées par les élèves. Les résultats montrent que les élèves voient leurs profils évoluer avec une réussite variable au cours du cycle ; ces profils s’expriment en contexte en fonction des situations d’apprentissage, des ressources mobilisées et de l’interprétation des relations carte/milieu naturel. Un suivi de cas permet d’individualiser les résultats qui viennent à la fois questionner la manière dont est abordée l’APSA Course d’Orientation et les stratégies complexes déployées par les élève

Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu

National audienceL'amélioration considérable des solveurs SAT a permis de les utiliser pour la résolution de divers problèmes d'intelligence artificielle, et en particulier la généra-tion automatique de plans d'actions. Récemment, des solveurs SMT (SAT Modulo Theory) prometteurs ba-sés sur des solveurs SAT efficaces ont été dévelop-pés. Il est donc intéressant d'utiliser le langage SMT qui nous permet de produire directement des codages de problèmes de planification temporelle sans avoir à discrétiser le temps ou à utiliser un gestionnaire de contraintes temporelles externe (Time Map Manager). Cette approche a déjà été explorée, mais la plupart des codages existants considèrent une modélisation dis-crète du temps. Nous introduisons dans cet article une nouvelle traduction de problèmes de planification tem-porelle en temps continu, basée sur un codage dans un espace de plans (liens causaux), en formules proposi-tionnelles modulo QF-RDL (Quantifier Free Rational Difference Logic)