Ces dernières années ont vu le déferlement d'une vague d'information sous forme électronique liée à l'usage croissant du World Wide Web (WWW). Pour beaucoup, le World Wide Web est devenu un moyen essentiel pour mettre à disposition ou rechercher de l'information, conduisant à une forte accumulation de données. La recherche sur Internet dans sa forme présente devient vite exaspérante car les données disponibles peuvent être superficielles et de formes très diverses. Les utilisateurs du Web en ont assez d'obtenir des ensembles gigantesques de réponses à leurs requêtes simples, ce qui les oblige à investir de plus en plus de temps pour analyser les résultats. De nombreux résultats s'avèrent non pertinents et les liens les plus intéressants restent souvent en dehors de l'ensemble des résultats. Le chapitre1 introduit la motivation de notre travail de recherche. L'une des principales explications concernant la difficulté à effectuer une recherche d'information efficace est que les ressources existantes sur le web sont exprimées sous une forme destinée à la compréhension humaine. En d'autres termes, ces données sont difficilement utilisables par la machine et l'intervention humaine s'avère indispensable. Ainsi, l'un des principaux challenges est d'imaginer des outils intelligents fondés sur les concepts et méthodes autour de la représentation et du traitement des connaissances pour créer des données exploitables par la machine et obtenir de meilleurs résultats. Le chapitre 2 évalue et étudie les méthodes existantes et leurs limitations. De nombreux chercheurs ont travaillé sur la problématique de la compréhension des données par la machine et certaines des solutions les plus intéressantes sont les ontologies basées sur le « web sémantique ». Les ontologies permettent une meilleure « compréhension » des documents et facilitent à l'aide d'outils appropriés la qualité des recherches dans l'information existante. L'accent est mis sur la réflexion nécessaire à la construction de la signification du concept relié aux réseaux pour la représentation des connaissances. L'idée est de tendre vers la production semi-automatique voire complètement automatique de résultats de grande qualité. Autrement dit, l'objectif est de minimiser l'intervention humaine est de maximiser la qualité des résultats obtenus. Le chapitre 3 présente la plate-forme ToxNuc-E et le positionnement de notre recherche autour de cette plate-forme. Etant donné l'importance pratique et théorique du développement d'ontologies, il n'est pas surprenant de retrouver un grand nombre de chercheurs, fervents et engagés dans ce domaine de recherche. Dans le cadre de notre travail de recherche nous proposons une approche nouvelle, dite ESN (« Extended Semantic Network »), qui contrairement aux approches classiques, basées sur les mots clés, fonde la construction d'ontologie sur la convergence d'associations entre concepts ou nœuds sémantiques sur un ensemble de thèmes et la proximité des termes dans un ensemble de documents. Notre terrain d'application est le programme de toxicologie nucléaire environnementale français : ToxNuc-E. Le chapitre 4 précise le concept de « réseau de proximité », généré par des modèles mathématiques. L'idée de base de notre approche ESN est de construire efficacement une ontologie adaptée à la recherche d'information dans de larges corpus. La première phase consiste à traiter une grande quantité d'information textuelle en utilisant des modèles mathématiques pour automatiser la construction d'un embryon d'ontologie. L'objectif est d'obtenir un réseau de mots qui peut être assez volumineux. Celui-ci est calculé en utilisant des outils mathématiques venant de l'analyse de données et la classification automatique. Ainsi, la création d'un réseau de proximité repose alors sur la proximité des mots dans un document. Le chapitre 5 présente la construction des « réseaux sémantiques » et introduit notre modèle de conception pour gagner en efficacité. Le réseau sémantique est essentiellement un graphe orienté étiqueté permettant l'utilisation de règles génériques, de l'héritage, et de la représentation orientée objet. Il est souvent utilisé comme une forme de représentation des connaissances, où les concepts représentés par les nœuds sont connectés l'un à l'autre en utilisant les liens relationnels représentés par des arcs. Le réseau sémantique est construit de façon manuelle avec l'aide d'experts de la connaissance possédants la compréhension d'un domaine. Il est donc principalement construit par les hommes, dans notre approche de taille assez réduite, et d'une très bonne précision. Le chapitre 6 détaille le « réseau sémantique étendu ». La deuxième phase de traitement consiste à examiner attentivement et de manière efficace les différentes possibilités d'intégrer les informations issues du modèle mathématique (réseau de proximité) et du modèle cognitif développé manuellement (réseau sémantique). Cette phase se base sur une méthode heuristique développée dans l'extension des réseaux et utilisant les résultats de la méthode mathématique. Cette phase se termine en considérant le modèle humain (développé manuellement) comme le point d'entrée de notre réseau de concepts. L'idée principale est de développer une approche novatrice combinant les caractéristiques humaines et la théorie des concepts utilisée par la machine. Les résultats peuvent présenter un grand intérêt dans différents champs de recherche tels que la représentation des connaissances, la classification, l'extraction, ainsi que le filtrage des données. Le chapitre 7 illustre quelques expérimentations réalisées à l'aide de notre réseau sémantique étendu et ouvre des orientations pour les perspectives d'avenir. Les questions concernant la représentation des connaissances, la gestion, le partage et l'extraction d'information sont passionnantes et complexes. Cet attrait est en toute évidence essentiellement du aux rapports entre l'homme et la machine. Le fait que nous essayons de combiner les résultats de deux aspects différents constitue l'une des caractéristiques les plus intéressantes de notre recherche actuelle. Notre proposition peut faciliter la construction d'ontologies de manière plus rapide et plus simple. Le réseau sémantique étendu peut être utilisé, à la place d'une ontologie plus classique, par des outils comme par exemple : un classificateur de documents. Nous considérons notre résultat comme étant structuré par l'esprit et calculé par la machine. L'une des principales perspectives pour le travail à suivre est de trouver un bon compromis entre concepts du réseau sémantique et graphes de mot issus du réseau de proximité. D'autres perspectives à ce travail consistent à mettre en place des benchmarks dans différents contextes pour mesurer l'efficacité de notre prototype.

L'interopérabilité des systèmes informatiques est un besoin important dans une société mondialisée où les entreprises tendent plus à communiquer et à intégrer leurs systèmes qu'à rester isolées. Cette notion implique de faire communiquer et de coordonner efficacement des systèmes qui souvent n'ont pas été conçus pour fonctionner ensemble. Afin d'obtenir l'interopérabilité, il s'avère donc toujours nécessaire de modifier les systèmes existants pour les intégrer dans un nouveau système, mais en réutilisant autant que possible les notions liées aux systèmes préexistants. Les langages de programmation, en tant qu'outils de construction de systèmes informatiques, jouent un rôle non négligeable dans les solutions aux problèmes d'interopérabilité, en particulier lorsque les systèmes ont été construits avec des langages différents. Les langages de programmation peuvent être considérés également comme des systèmes qui interopèrent grâce à des mécanismes spécifiques permettant aux programmes écrits dans les différents langages d'échanger des données et d'invoquer des algorithmes. Ces mécanismes sont appelés emph{interfaces à un langage étranger} (ILE). L'objectif de cette thèse est de définir théoriquement le concept de l'interopérabilité des langages de programmation et de proposer un cadre conceptuel pour étudier et spécifier des mécanismes d'interopérabilité, à partir de la combinaison systématique des sémantiques opérationnelles des langages. Notre cadre peut s'appliquer à la formalisation d'interfaces (ILE) existantes entre deux langages de programmation où l'un est implémenté dans l'autre, et à la conception de nouvelles interfaces entre langages de programmation qui ont des implémentations indépendantes. / Interoperability of computing systems is a real need in a ``global society' where most enterprises want to communicate and integrate their information systems. This concept implies to coordinate systems that were not designed at the start to work together. Hence, to obtain the interoperability, it is always necessary to modify the existing systems and integrate them into a new system, for which the concepts related to those legacy systems have been reused as most as possible. Programming languages are an essential tool for building computing systems, so they play a non negligible role in the solutions for interoperability, specially when systems have been built with different languages. We can also consider programming languages as interoperable systems that can work together by defining mechanisms that allow programs written in the different languages to exchange data and algorithm calls. Those mecanisms are incorportated into a {it foreign-language interface} (FLI). The main goal of this thesis is the definition of a conceptual framework for programming language interoperability. That framework is based on the systematic composition of the execution models of programming languages according to a mechanism for program interoperability. We use the formalism of structural operational semantics as the way to have precise descriptions of execution models of programming languages. Our framework can be used to describe existing interfaces (FLI) between two programming languages where one of the languages is implemented in the other language, and to design new interfaces for programming languages that have independent implementations.

La structure verbale de l'innu comprend trois composantes : l'initiale, la médiane et la finale. Le morphème -ipal- apparait en position finale dans plusieurs verbes de mouvement sur place, mais aussi de déplacement, de fonctionnement, de changement d'état et de déroulement. Les sens distincts empruntés par la finale suggèrent qu'il s'agisse d'une finale polysémique. Cette étude comprend deux objectifs, le premier consiste à identifier les relations sémantiques qui unissent les sens distincts de la finale dans une perspective polysémique, le second est d'établir les patrons de lexicalisation de chacune des acceptions observées afin d'établir la correspondance entre la structure conceptuelle du verbe et ses composantes. L'ensemble de l'analyse repose sur la sémantique cognitive, à savoir les modèles de catégorisation et la polysémie (Kleiber 1990 ; Lakoff 1987 ; Evans et Tyler 2003) ainsi que les patrons conceptuels (Jackendoff 1990). Le corpus à l'étude comprend exclusivement des verbes intransitifs formés du morphème -ipal-. Ce mémoire s'inscrit dans le groupe de recherche sur la grammaire innue dirigé par Lynn Drapeau et financé par une subvention du CRSH (Conseil de Recherche en Sciences Humaines du Canada # 856-2004-1068). ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : innu, algonquien, sémantique cognitive, polysémie, mouvement.

Cette étude propose une description de huit verbes de son en français : bourdonner, bruire, carillonner, crépiter, crisser, gargouiller, retentir et tinter. L'étude de ces verbes repose sur une analyse de corpus et comporte trois étapes : une analyse syntaxique, un typage lexical et une analyse en sémantique cognitive. L'analyse syntaxique consiste à identifier les éléments qui apparaissent aux côtés des verbes ciblés et de dégager les patrons syntaxiques dans lesquels les verbes de son peuvent entrer. Les patrons syntaxiques sont précisés par le typage lexical : les éléments qui accompagnent les verbes sont associés à des types sémantiques. Les verbes de son sont ensuite représentés à l'aide du schéma conceptuel de la perception auditive proposé par Piron (2006). Les trois premiers paramètres de ce schéma, soit l'émission sonore, la propagation sonore et la réception acoustique, permettent de rendre compte des verbes de son à l'étude. Il est montré que les différentes acceptions des verbes de son correspondent à différents cas d'exploitation du schéma conceptuel. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : verbes de son, français, sémantique cognitive, patrons syntaxiques, typage lexical

Ce travail de recherche suppose qu'il existe un effet de la forme typographique du mot sur son traitement. C'est pourquoi nous proposons une étude empirique qui défend l'hypothèse holistique de la reconnaissance des mots. Cette hypothèse suppose un accès direct vers le lexique mental lors de la lecture. Aussi avons-nous voulu observer les effets de la police de caractères et ceux de la catégorie sémantique des items puis les interactions entre les propriétés allusives des polices de caractères et les propriétés sémantiques des mots en reprenant l'étude de Lewis et Walker (1989). Dans une étude préliminaire, les participants ont été soumis à une tâche d'évaluation de mots présentés hors contexte et de listes typographiques, afin d'objectiver, d'une part, les propriétés allusives des polices de caractères et d'autre part, les propriétés sémantiques des mots choisis pour l'expérimentation. Les résultats indiquent que les participants s'accordent tant sur les propriétés transmises par les polices, ce qui démontre leur nature allusive, que sur les propriétés sémantiques des items. Les items ont ensuite été employés dans une tâche de catégorisation. Chaque mot a été présenté dans deux polices qui possédaient des propriétés congruentes ou non congruentes avec celles de l'item. Les sujets ont répondu en considérant les items comme étant soit lourds ou légers, et soit lents ou rapides. Les résultats indiquent clairement une influence de la typographie sur les temps de réponse, attestant ainsi de son action sur le traitement des mots. La police de caractères influence donc l'accès vers le lexique mental. Les résultats révèlent également un effet de la catégorie sémantique des mots sur leur traitement. Ainsi, la catégorie sémantique des animaux favorise un traitement plus rapide vers le lexique mental que celle de véhicule. Toutefois, les résultats ne révèlent aucune interaction entre les codes typographique et sémantique. L'absence notable d'interaction entre ces variables nous conduit à réfuter l'existence éventuelle d'un effet d'interférence liée à la congruence typographique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : lexique mental, polices de caractères, congruence typographique, psycholinguistique.

Un certain nombre de recherches récentes indiquent une transformation des relations que les droits de la personne ont traditionnellement entretenues avec le droit criminel: jadis mobilisés pour humaniser le droit criminel, ces droits seraient récemment mobilisés pour justifier l'adoption de peines plus sévères. Ces recherches s'organisent généralement autour de deux phénomènes contemporains: le développement du «populisme punitif» et l'invention d'une «société de victimes». L'un et l'autre seraient responsables d'une mutation de la sémantique des droits de la personne qui serait passée de limite au droit de punir à nouvelle source du pouvoir de punir. Cette recherche entend décrire le rapport paradoxal entre la sémantique des droits de la personne et le droit criminel moderne. La théorie du droit et la sociologie ont produit des travaux qui ont indiqué et développé le sens de ce paradoxe, mais elles n'ont pas encore produit une description qui puisse rendre compte des conditions qui ont favorisé et rendu possible son émergence ou qui, tout simplement, rende compte de la façon par laquelle les droits de la personne ont été reçus et continuent d'être reçus par le système de droit criminel. Nous avons considéré que les phénomènes contemporains ci-dessus mentionnés sont certes venus donner une plus grande visibilité au paradoxe que nous voulions décrire, en en exacerbant son contenu, mais ils ne l'ont pas créé pour autant. La proposition de notre étude est celle d'analyser ce paradoxe à partir du système de droit criminel, en mettant au centre de l'explication ses propres structures (cognitives) internes et, plus spécifiquement, un système d'idées que Pires nomme la «rationalité pénale moderne». D'un point de vue empirique et méthodologique, cette recherche s'appuie sur des entretiens qualitatifs avec des acteurs judiciaires qui oeuvrent au sein des organisations centrales du système juridique, les tribunaux (Luhmann), c'est-à-dire les procureurs et les juges (cours de première instance et cours d'appel, y compris la Cour suprême du Canada). Dans la réalisation de nos entretiens, nous avons en outre saisi l'occasion pour explorer une nouvelle vocation de cette technique, en nous inspirant de l'épistémologie de la théorie des systèmes, laquelle nous invite à nous décentrer du sujet pour nous recentrer sur le système et ses communications. La recherche s'est inscrite dans l'espace théorique de la théorie des systèmes: la «communication» du système a été le point d'ancrage sélectionné pour l'observation sociologique et en même temps le socle à partir duquel le système d'idées a été saisi empiriquement. Cette recherche s'inscrit dans un contexte de réflexion plus large, celui de la «non-inventivité» et de la difficulté de stabiliser des idées et des théories alternatives dans le système de droit criminel. Nous analyserons pourquoi la sémantique des droits de la personne n'a pas généré un renouvellement de notre façon de communiquer sur les peines et n'a pas contribué à construire un autre concept de «sanction», depuis la différenciation du droit criminel moderne. Par cette recherche, nous voulons contribuer à ce débat, celui de l'impossible ou difficile réforme du droit de punir, en développant le créneau des «obstacles épistémologiques» (Bachelard) ou cognitifs qui lui sont opposés. Dans ce contexte, nous analysons les raisons pour lesquelles les droits de la personne ne sont pas mobilisés comme ressource cognitive et normative innovatrice dans le champ des normes de sanction. Chemin faisant, nous verrons pourquoi les droits de la personne peuvent orienter le système de droit criminel dans des directions opposées, fonctionnant parfois comme «normativité critique» (Delmas-Marty) et d'autres fois comme «raison punitive». ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Droits de la personne, Droit criminel, Rationalité pénale moderne, Système d'idées.

La présente recherche a pour objectif de déterminer la sémantique des mots de verticalité en français et la motivation conceptuelle de leurs emplois métaphoriques. Afin d'atteindre à ces objectifs, nous étudions les primitives conceptuelles de la sémantique grammaticale des mots suivants : haut, bas; monter, s'élever, grimper, s'envoler, bondir; descendre, baisser, tomber, chuter et dégringoler. Nous tentons de vérifier les quatre hypothèses suivantes : a) la sémantique grammaticale de ces mots est essentiellement basée sur la verticalité; b) la validité des emplois figurés de ces mots repose sur les correspondances conceptuelles avec leur sémantique grammaticale; c) des moyens de représentation non linguistique sont la source des créations métaphoriques; d) nos objets d'étude ne sont pas des mots polysémiques mais monosémiques, et leurs acceptions ne sont que des interprétations de leurs sémantiques grammaticales selon leurs divers emplois ou contextes. D'après nos analyses sémantiques de leurs emplois propres et figurés les plus exhaustifs possibles, basées sur l'approche monosémique de Ruhl (1989), Bouchard (1993; 1995), Victorri et Fuchs (1996), Cadiot et Lebas (2003), Desclés (1998; 2005) et d'Emirkanian (2008), les primitives conceptuelles de la sémantique grammaticale de ces mots impliquent essentiellement la verticalité. La validité de leurs emplois propres repose sur la satisfaction réelle de ces conditions, alors que celle de leurs emplois figurés est basée sur les correspondances conceptuelles avec ces conditions. Contrairement au point de vue traditionnel, ces mots ne sont pas polysémiques, mais monosémiques. De plus, de nombreux des emplois figurés des mots de verticalité sont des métaphores dont la source de motivation conceptuelle vient d'un moyen de représentation non linguistique, comme un graphe, une notation musicale, un thermomètre, etc. D'après la théorie de la métareprésentation de Sperber (1994; 1996; 2000), ces métaphores sont des métareprésentations, soit des expressions linguistiques de ce qui est représenté par ces moyens de représentation. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : sémantique, métaphore, métareprésentation, verbe de déplacement, verticalité, polysémie, monosémie, français.

Dans cette thèse, nous nous intéressons à la variation sémantique du préverbe PO- en russe et aux propriétés aspectuelles des PO-verbes par rapport à la notion de télicité. Notre analyse a permis de distinguer cinq types de PO-verbes : 1. PO-verbes résultatifs; 2. PO-verbes délimitatifs; 3. PO-verbes inchoatifs; 4. PO-verbes distributifs; 5. PO-verbes atténuatifs. Deux hypothèses ont gouverné notre recherche : 1. La variation sémantique du préverbe PO- dépend des verbes/des prédicats de départ; 2. Les verbes perfectifs russes ne réfèrent pas nécessairement à des évènements téliques. Pour chaque type de PO-verbe, nous avons étudié les caractéristiques sémantico-aspectuelles des verbes de départ, le sens apporté par le préverbe PO-, les propriétés aspectuelles du verbe dérivé, et nous avons proposé des hypothèses d'analyse de l'interprétation des PO-verbes résultants. Nous montrons que a) la nature et la catégorie aspectuelle des prédicats de départ jouent un rôle déterminant à la variation sémantique du préverbe PO-; b) les emplois du préverbe PO- ne permettent pas de lui attribuer une interprétation monosémique; c) les situations à l'aspect perfectif présentées comme étant bornées dans le temps répondent négativement aux tests de télicité. Les résultats de l'analyse du comportement aspectuel des PO-verbes perfectifs nous forcent ainsi à maintenir, contrairement à la tendance actuelle, la distinction entre la télicité et la nature perfective du verbe, la seconde notion ne pouvant pas être réduite à la première. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : aspectualité, télicité, préverbes slaves, dérivation.

La multitude de documents multimédia déjà existants ou créés chaque jour nous confronte au problème de la recherche d' informations au sein de bases de données gigantesques qui rendent toute volonté d'indexation entièrement manuelle impossible. Dans ce contexte il est devenu nécessaire de concevoir et de construire des outils capables sinon d' extraire tout le contenu sémantique d'un document donné du moins d' en élaborer une première structuration de manière automatique. En se restreignant aux documents vidéo, cette thèse se propose donc de bâtir des outils automatiques réalisant une structuration en deux étapes. Tout d'abord linéaire, elle aboutit à un découpage d'un document vidéo en entités allant de la scène à l'image en passant par la prise de vue et le morceau de prise de vue. Puis relationnelle, elle consiste en l'extraction de relations par la mise en évidence de liens syntaxiques ou sémantiques de tout ordre entre deux entités de types quelconques. En plus de leur caractère général et automatique, l'ensemble des outils que nous présentons sont, en outre, conçus dans le respect d'une méthodologie précise. Cette dernière consiste à n'utiliser que des critères simples et de bas niveau de traitements d'images et tout particulièrement de morphologie mathématique qui combinés entre eux et avec des règles logiques de décision permettent déjà d'atteindre une structuration cohérente efficace et représentative d'un contenu informationnel de niveau sémantique élevé. Ce choix induit de plus une grande rapidité de nos outils puisque dans leur ensemble leur temps d'exécution est inférieur au temps réel. Leur validation est obtenue au travers de nombreux exemples et applications appartenant essentiellement à la classe des journaux télévisés.

La ludique, introduite par Jean-Yves Girard, est un modèle de la logique linéaire sans exponentielles. En vue de la modélisation des exponentielles, cette thèse propose deux extensions successives de la ludique. La première extension étend la ludique en un modèle probabiliste original conservant la plupart des théorèmes du modèle initial. La seconde extension reprend ce modèle probabiliste et utilise des pointeurs, introduits dans les jeux de Hyland et Ong, ce qui permet de considérer les répétitions et donc de modéliser les exponentielles.<br /><br />Un résultat de complétude est montré pour la ludique probabiliste vis-à-vis de la ludique et de la logique MALL2. La ludique exponentielle proposée vérifie les théorèmes principaux de la ludique : les théorèmes analytiques. En particulier, ce modèle montre une interprétation de la logique linéaire avec des répétitions gardant une topologie séparée. De plus, les coefficients introduits apporte à la ludique une "plus grande séparation" que dans le modèle d'origine.