Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Nous présentons une recherche en ingénierie des connaissances appliquée aux prédicats linguistiques et aux définitions lexicographiques de la théorie Sens-Texte (TST). Notre méthodologie comporte trois étapes. 1. Nous montrons en quoi la conceptualisation de la TST devrait être étendue pour faciliter sa formalisation. Nous justifions la nécessité de définir un niveau sémantique profond (SemP) à base de graphes. Nous y définissons la notion de type d'unité sémantique profonde et sa structure actancielle, de sorte que leur organisation hiérarchique puisse correspondre à une hiérarchie de sens au sein de laquelle ces structures actancielles sont héritées et spécialisées. Nous reconceptualisons les définitions lexicographiques au niveau SemP, et au niveau du dictionnaire. Finalement, nous présentons un prototype d'éditeur de définitions basé sur la manipulation directe de graphes. 2. Nous proposons un formalisme de représentation des connaissances adapté à cette conceptualisation. Nous démontrons que les logiques de description et le formalisme des Graphes Conceptuels ne sont pas adaptés, et nous construisons alors un nouveau formalisme, dit des Graphes d'Unités. 3. Nous étudions l'opérationnalisation du formalisme des Graphes d'Unités. Nous lui associons une sémantique formelle basée sur la théorie des modèles et l'algèbre relationnelle, et montrons que les conditions de décidabilité du raisonnement logique correspondent aux intuitions des lexicographes. Nous proposons également une implémentation du formalisme avec les standards du web sémantique, ce qui permet de profiter des architectures existantes pour l'interopérationnalisation sur le web des données lexicales liées.

Dans le contexte actuel d'évolution et de transformation du travail, notre recherche s'attache à comprendre et à expliquer de quelle manière des acteurs professionnels (individuels et collectifs), engagés dans la définition des politiques et des pratiques de formations professionnelles aéronautiques, parviennent, collectivement, à se mettre d'accord sur des normes et des contenus de programmes de formation. Cette recherche compare des activités de délibérations collectives de deux groupes professionnels (l'un à dimension nationale et l'autre à dimension locale) qui ont en charge la définition de nouveaux programmes et normes de formations techniques qualifiantes. Les membres de ces groupes (27 et 20 sujets) représentent des entreprises, des formateurs, responsables de lycées techniques, des Ministères compétents, des figures individuelles reconnues du secteur aéronautique au plan national. Au niveau méthodologique, dans une approche exploratoire compréhensive, nous avons observé et enregistré systématiquement les réunions de ces deux groupes durant une année. Nous avons aussi analysé les discours qui en découlent ainsi qu'effectué et examiné des entretiens semi-directifs et des questionnaires que nous avons construits. Dans une perspective systémique, active et plurielle de la socialisation, le modèle de l'interstructuration du sujet et des institutions (Baubion-Broye & Hajjar, 1998) auquel nous nous référons considère que les activités du sujet sont construites et signifiées par lui, tout au long de sa vie, et en interaction avec autrui. Nos résultats montrent, notamment, que les décideurs prennent majoritairement des décisions collectives par " consensus apparent " et qu'il y a un lien entre l'expression manifeste d'alliances et le degré de consensus. Les relations interpersonnelles évoluent au cours du temps.

Apprendre comme Inventer, essai pour introduire le concept didactique d'insension. Apprendre est une activité, aussi bien au sens de " to teach ", du point de vue de l'enseignant, apprendre comme enseigner, qu'au sens de " to learn ", du point de vue de l'apprenant, c'est-à-dire apprendre comme connaître. L'analyse de l'activité par la Didactique professionnelle en tant qu'analyse de ce qui est productif et constructif dans l'action, peut s'appliquer à l'action d'apprendre. Or il existe, à côté de la conceptualisation dans l'action, des moments où le Sujet apprend en s'incorporant à lui-même la connaissance. Ce moment est un acte du Sujet par induction, c'est-à-dire par colligation d'éléments épars, perçus et/ou imaginés. Le Sujet accède ainsi au sens qu'il donne en acte à l'apprendre. Cette saisie du sens, ou " insension " est une invention du Sujet qui participe doublement à son développement : d'une part, les connaissances appropriées au Sujet par le Sujet engagent le développement de sa compétence, d'autre part, l'activité d'apprendre comme inventer est conjointe au développement identitaire du Sujet. Pour l'ingénierie didactique de formation, apprendre à enseigner demande l'écoute de la singularité du cadre de référence du Sujet. Pour faciliter à l'ignorant le passage à la connaissance, c'est-à-dire à l'incorporation des savoirs référencés, il faut que les dispositifs de formation aient pour point de départ la perspective de l'apprenant. Le Sujet ignorant est reconnu capable d'apprendre à partir de son cadre de référence, tel qu'il est, c'est-à-dire capable d'un acte d'incorporation pour soi des savoirs que l'insension (colligation) transforme en connaissances. Le Sujet peut alors accéder socialement à la reconnaissance de sa compétence.

La complexité inhérente à la coordination des mouvements d'un groupe de robots mobiles est traitée en investiguant plus avant les potentialités des architectures de contrôle comportementales dont le but est de briser la complexité des tâches à exécuter. En effet, les robots mobiles peuvent évoluer dans des environnements très complexes et nécessite de surcroît une coopération précise et sécurisée des véhicules pouvant rapidement devenir inextricable. Ainsi, pour maîtriser cette complexité, le contrôleur dédié à la réalisation de la tâche est décomposé en un ensemble de comportements/contrôleurs élémentaires (évitement d'obstacles et de collision entre les robots, attraction vers une cible, etc.) qui lient les informations capteurs (provenant de caméras, des capteurs locaux du robot, etc.) aux actionneurs des différentes entités robotiques. La tâche considérée est la navigation en formation en présence d'obstacles (statiques et dynamiques). La spécificité de l'approche théorique consiste à allier les avantages des architectures de contrôle comportementales à la méthode de la structure virtuelle où le groupe de robots mobiles suit un corps virtuel avec une dynamique (vitesse, direction) donnée. Ainsi, l'activation d'un comportement élémentaire en faveur d'un autre se fait en respectant les contraintes structurelles des robots (e.g. vitesses et accélérations maximales, etc.) en vue d'assurer le maximum de précision et de sécurité des mouvements coordonnés entre les différentes entités mobiles. La coopération consiste à se partager les places dans la structure virtuelle de manière distribuée et de façon à atteindre plus rapidement la formation désirée. Pour garantir les critères de performances visés par l'architecture de contrôle, les systèmes hybrides qui permettent de commander des systèmes continus en présence d'évènements discrets sont exploités. En effet, ces contrôleurs (partie discrète) permettent de coordonner l'activité des différents comportements (partie continue) disponibles au niveau de l'architecture, tout en offrant une analyse automaticienne rigoureuse de la stabilité de celle-ci au sens de Lyapunov. Chaque contribution est illustrée par des résultats de simulation. Le dernier chapitre est dédié à l'implémentation de l'architecture de contrôle proposée sur un groupe de robots mobiles Khepera III.

Dans cette thèse, nous nous intéressons à deux thèmes d'analyse géométrique. Le premier concerne le comportement asymptotique des fonctions harmoniques en relation avec la géométrie, sur des graphes et des variétés. Nous étudions des critères de convergence au bord des fonctions harmoniques, comme celui de la bornitude non-tangentielle, de la finitude de l'énergie ou encore de la densité de l'énergie. Nous nous plaçons pour cela dans différents cadres comme les graphes hyperboliques au sens de Gromov, les variétés hyperboliques au sens de Gromov, les graphes de Diestel-Leader ou encore dans un cadre abstrait pour obtenir des résultats pour les points du bord minimal de Martin. Les méthodes probabilistes utilisées exploitent le lien entre les fonctions harmoniques et les martingales. Le deuxième thème abordé dans cette thèse concerne l'étude des propriétés des ensembles rectifiables de dimension 1 dans le groupe de Heisenberg, en relation avec des opérateurs d'intégrales singulières. Nous étendons à ce contexte sous-riemannien une partie des résultats de la théorie des ensembles uniformément rectifiables de David et Semmes. Nous obtenons notamment un théorème géométrique du voyageur de commerce qui fournit une condition pour qu'un ensemble Ahlfors-régulier du premier groupe de Heisenberg soit contenu dans une courbe Ahlfors-régulière.

Ce rapport de synthèse retrace mon parcours d'enseignement et de recherche, et expose ma position théorique et mes perspectives de recherche

De façon générale, cette thèse porte sur l'estimation de l'état et des entrées inconnues pour une classe de systèmes non linéaires. De façon plus particulière, le problème est abordé sous l'angle de la conception d'un système de transmission sécurisée d'informations exploitant les propriétés des systèmes chaotiques et leur capacité de synchronisation. Les travaux présentés traitent trois points principaux, à savoir le choix de l'émetteur, le développement du récepteur, et la mise au point du processus de transmission de l'information ou du message. <br />L'émetteur retenu est un système non linéaire chaotique dont la dynamique comporte un retard, ce qui lui confère un comportement particulièrement complexe. La conception du récepteur repose sur la synthèse d'un observateur non linéaire, dont la stabilité et la convergence garantissent la synchronisation avec l'émetteur. L'insertion du message est réalisée par modulation de la phase d'un signal porteur chaotique. Le décryptage de l'information s'apparente à une restauration d'entrée inconnue au niveau du récepteur.<br />Une étude de la sécurité du processus de cryptage/décryptage a été menée, reposant sur des techniques standard de cryptanalyse. Des multimodèles chaotiques ont été proposés pour renforcer la sécurité du processus de synchronisation.

Notre étude s'inscrit dans le cadre de l'analyse stylistique des textes ainsi que dans celui de la critique des traductions, Le corpus de notre recherche est constitué de la sourate AI- Baqara. Formée de 286 versets, la sourate AI-Baqara est la plus longue de tout Le Coran: cette longueur nous permet d'examiner les différents traits stylistiques distinguant le texte coranique. La confrontation du texte arabe (texte source) avec ses deux traductions françaises nous permet d'examiner les différents problèmes de traduction dus à la différence des deux systèmes linguistiques français et arabe, à la différence des cultures. Notre objectif est d'établir une étude analytique --critique basée sur une approche stylistique du texte arabe ainsi que de ses deux versions françaises dans une tentative de répondre aux questions suivantes: dans quelle mesure les traducteurs pourront-ils rendre la diversité des stratégies rhétoriques qui sont mises en œuvre dans la sourate en question tout en respectant le génie et les contraintes de la langue réceptrice? Quels sont les procédés de traduction auxquels ils recourent afin de surmonter les divers obstacles qui entravent le processus de traduction? Enfin, à quel degré la transmission ou la perte de la valeur rhétorique aura-t-elle un impact sur la réception des énoncés? Par là, notre étude se veut doublement comparative puisqu'il s'agit, d'une part, de réfléchir sur les traits stylistiques caractérisant le texte source ainsi que sur les différents procédés linguistiques employés pour les rendre. Notre thèse sera composée de deux parties comportant chacune trois chapitres. Nous étudions dans la première partie certains éléments conférant au texte sa "rythmique" : le premier chapitre traitera des divers faits prosodiques; le deuxième des différentes formes de répétition; le troisième des divers aspects que revêt la dérivation. La deuxième partie étudie les figures de comparaison et d'analogie: dans le premier chapitre, nous abordons la "comparaison", dans le deuxième, certaines formes particulières de comparaison comme la "parabole" par exemple, et dans le troisième, les tropes comme "la métaphore". Notre objectif est de mettre en relief la fonction "poétique" du langage.