Cette thèse propose un cadre général pour développer des modèles orientés précision en recherche d'information (RI). Ce cadre s'appuie sur la notion de supports de vocabulaires pour modéliser l'expressivité des représentations utilisées en RI. Peu de cadres de modélisation sont disponibles dans ce domaine. Nous proposons un tel cadre axé sur la modélisation de l'expressivité et qui permet de choisir ou de comparer des modèles sur ce critère.<br />Dans ce cadre nous nous orientons vers l'utilisation de représentations expressives du texte. Nous proposons deux modèles utilisant des représentations d'expressivité forte à base de graphes. Si ces deux modèles se ressemblent au niveau de l'expressivité, ils s'opposent sur leur modèle sous-jacent. Nous implémentons l'un des modèles par un modèle dérivé des graphes conceptuels et l'autre par un modèle original dérivé des modèles de langue de RI.<br />Pour l'application de ces modèles sur du texte, nous proposons un processus en deux étapes basé sur des traitements de la langue qui favorise la couverture du document. La première étape, dépendante du domaine d'application, produit une représentation intermédiaire des documents où chaque phrase est représentée par un graphe. La deuxième étape crée les représentations finales des documents à partir de la représentation intermédiaire. Nous appliquons finalement nos modèles sur le domaine médical à l'aide du méta-thésaurus UMLS et en proposant plusieurs méthodes pour construire la représentation intermédiaire.<br />L'efficacité de nos modèles est prouvée par des expérimentations sur la campagne d'évaluation CLEF médicale qui permet de tester nos modèles dans un cadre réel.

Un grand nombre de périphériques actuels sont dotés de connexions réseaux qui permettent d’accéder à leurs fonctionnalités au travers d’un réseau informatique. Les applications ubiquitaires visent à structurer ces fonctionnalités pour les mettre au service des utilisateurs. Les environnements ubiquitaires sont caractérisés par une disponibilité dynamique des fonctionnalités et une hétérogénéité matérielle et logicielle des périphériques. De plus, les applications ubiquitaires doivent s’adapter en fonction du contexte des utilisateurs. Cette thèse propose une approche pour la programmation d’applications ubiquitaires. Notre approche est basée sur une infrastructure logicielle, appelée PERSEWS, qui permet la programmation d’applications sensibles au contexte à un haut niveau d’abstraction, exploitant des fonctionnalités offertes par des périphériques hétérogènes et mobiles. Les contributions de cette thèse sont les suivantes : – Nous proposons une approche langage pour la programmation d’applications ubiquitaires. Cette approche est basée sur un couplage entre un modèle de contexte et un langage de règles logiques. – Nous avons développé une infrastructure logicielle qui constitue un environnement de développement et un environnement d’exécution pour les applications ubiquitaires. L’architecture orientée service de l’infrastructure PERSEWS permet d’intégrer des fonctionnalités offertes par des périphériques hétérogènes. / Increasingly current devices are network enabled allowing their functionalities to be accessed through a computer network. Ubiquitous applications aim at structuring these functionalities to make them available to the users. Ubiquitous environments are characterized by the dynamic nature of functionalities and heterogeneity of hardware and software devices. In addition, ubiquitous applications must adapt depending on the user’s context. This thesis proposes an approach to ubiquitous application programming. Our approach is based on a software infrastructure called PERSEWS, which enables programming context-sensitive applications at a high level of abstraction, using functionalities provided by heterogeneous and mobile devices . The contributions of this thesis are as follows : – We propose a language approach to programming ubiquitous applications. This approach is based on a coupling between a model of context and a logic rule language. – We have developed a software infrastructure that provides a development environment and a runtime environment for ubiquitous applications. The service oriented architecture of the PERSEWS infrastructure allows to integrate functionalities provided by heterogeneous devices. VII

L'enjeu de cette thèse est l'acquisition automatique de nouveaux sens lexicaux.Nous définissons un modèle théorique sur l'émergence d'un nouveau sens pour une unité lexicale ayant déjà un sens codé. Le phénomène ciblé est la néologie sémantique, ou néosémie, définie comme une variation sémantique marquée en cours de diffusion. Nous la modélisons à partir d'indices quantitatifs articulés à des principes issus de la sémantique textuelle. Le sens codé est représentécomme un ensemble structuré de traits sémantiques. Il est modulé en discours sous l'effet de récurrences d'autres traits. La dynamique du sens est représentée à l'aide de descripteurs de granularité sémantique variable.Ensuite, nous proposons des ressources et outils adaptés, relevant de la linguistique de corpus. Les ressources sont de deux types, lexicographiques pour le sens codé et textuelles pour le sens en discours. En pratique, le Trésor de la Langue Française informatisé fournit les sens codés. Une plateforme transforme ses définitions en ensembles de traits sémantiques. Trois corpus journalistiques des années 2000 servent de ressources textuelles. Les outils mathématiques, essentiellementstatistiques, permettent de jouer sur la structure des ressources, d'extraire des unités saillantes et d'organiser l'information.Enfin, nous établissons les grandes lignes d'une procédure pour allouer de façon semi-automatique un nouveau sens. Elles sont étayées par des expériences illustratives. Le déroulement de la procédure repose sur des niveaux de description de plus en plus fins (domaines, unités lexicales puis traits sémantiques). Il s'appuie sur des jeux de contrastes multiples, permettant de nuancer l'informationsémantique. / The issue at stake is the automated meaning allocation.In a first time, a theoretical scheme is elaborated to describe meaning change for a lexical unit already defined in a lexical resource. We focus on semantic neology, considered as a significant repeted change. Our model relies on quantitative evidence and it is inspired from text semantics. The preexisting meaning is represented as a structured set of semantic features. The context modifies it dueto salient semantic featuresin texts. These dynamic change is comprehended through description strata ranging from coarse-grained to fine-grained semantic units. In a second time, we dwell on relevant resources and tools from corpus linguistics. The resources are dictionaries and text corpus. Concretely, we use the Trésor de la Langue Française informatisé as a dictionary. Its entries are automatically converted into bags of semantic features. The textual dataconsists in three recent journalistic corpus. The resources are considered are mathematic spaces and statistical tools are used to extract significant units and to structure information.In a last time, we give an outline of a process to allocate automatically a new meaning. Experiments illustrate each step. This process relies on multiple levels of description, getting finer and finer.Through this approach, it is possible to qualify the new meaning in a precise and structured way.

L'essor des dispositifs mobiles a conduit à un nouveau paradigme d'Environnements Informatiques pour l'Apprentissage Humain (EIAH) : les environnements d'apprentissage ubiquitaires. Tout comme beaucoup d’EIAH classiques, les environnements d'apprentissage ubiquitaires permettent une médiation informatique entre l'apprenant et des connaissances propres au domaine d'apprentissage. Cependant, dans les EIAH ubiquitaires, cette médiation a lieu dans un contexte physique spécifique qui détermine en partie le déroulement des sessions d'apprentissage. Les objets de l’environnement physique, ainsi que les événements ou processus qui s’y déroulent, sont pris en compte pour fournir des informations adaptées ou proposer des interactions pertinentes. Nous nous plaçons dans ce travail dans le cadre de l'apprentissage en musée, pour des visites libres ou en groupes scolaires organisés. Nous analysons en première partie les pratiques d'apprentissage en musée et en particulier l'apprentissage instrumenté par des dispositifs mobiles. Cette analyse nous permet d'introduire, d'une part, les notions de représentation et de manipulation automatique de connaissances utiles à notre travail et, d'autre part, les concepts propres aux systèmes informatiques sensibles au contexte qui nous intéresseront en particulier. Nous proposons par la suite un modèle sémantique du patrimoine culturel permettant une description riche et complète des artefacts muséaux. L'apprentissage ubiquitaire nécessite une représentation adéquate du contexte. En nous inspirant des travaux de Zimmerman, nous proposons de représenter le contexte suivant plusieurs espaces contextuels, chaque espace contextuel étant associé à une ontologie. Ces espaces permettent de faire le lien entre les connaissances purement contextuelles et les connaissances issues de la modélisation du patrimoine culturel ; ils sont peuplés automatiquement en fonction des déplacements de l'utilisateur et de ses interactions avec le dispositif.Nous définissons un processus d'opérationnalisation des modèles du patrimoine culturel et du contexte à l’aide de calculs de proximités sémantiques pour la génération automatique d'activités d'apprentissage. Afin de prendre en compte le contexte, nous définissons également des proximités contextuelles mesurant l'adéquation des activités générées au contexte de l'utilisateur. Pour permettre aux enseignants de spécifier des objectifs pédagogiques, nous proposons un formalisme de règles pédagogiques offrant deux modes de contrôle : un contrôle thématique et un contrôle contextuel. Ces derniers permettent de concilier la liberté d’exploration de l’environnement, indispensable dans le cadre d’un apprentissage ubiquitaire, avec un guidage pédagogique défini par l'enseignant. / The rise of mobile devices has led to a new paradigm of technology enhanced learning (TEL) environment : ubiquitous learning environment. Like many classics TEL environments,ubiquitous learning environments offer a computer based mediation between thelearner and the learning domain. However, in ubiquitous environments, this mediationtakes place in a specific physical context which partly determines the course of learning.The learner acts both in the physical and in the digital spaces. Objects in the physicalenvironment, as well as events or processes that take places are taken into account toprovide appropriate information or propose relevant interactions. The field of application of this work is ubiquitous learning in museum, either in thecase of informal learning (e.g. classic museum visit) or in the case of more formal schoollearning in museum. We first analyse learning practices in museum, especially usingmobile devices. This analysis allows us to introduce, on the one hand, the concepts ofknowledge representation used in our work and, on the other hand, the concepts specificto context sensitive systems.We propose in the following a semantic model of cultural heritage allowing a rich andfull description of museum artifacts. Ubiquitous learning requires an adequate representationof context. Drawing our inspiration from the work of Zimmerman, we proposeto represent context according to several contextual spaces, each space being associatedwith an ontology. These spaces allow to relate the purely contextual knowledgeand knowledge from the model of cultural heritage, they are automatically populatedaccording to movements of the user and his interaction with the device.We define a process for operationalizing the models of cultural heritage and contextusing semantic proximity computations for the automatic generation of learning activities.To take into account the context, we also define contextual proximity, measuringthe adequacy of generated activities to the user context. To enable teachers to specifylearning objectives, we propose a formalism of rules offering two modes of control: athematic control and contextual control.

No description available.

Ce manuscrit présente une réflexion sur la terminaison des systèmes de réécriture d'ordres supérieurs. Nous nous concentrons sur une méthode particulière, la terminaison à base de tailles. La terminaison à base de tailles utilise le typage pourdonner une approximation syntaxique à la taille d'un élément du langage. Notre contribution est double: premièrement, nous permettons d'aborder de manière structurée le problème de la correction des approches à base de taille. Pour ce faire, nous montrons qu'elle peut être traitée par une version de la méthode des annotations sémantiques. Cette dernière utilise des annotations sur les termescalculés à partir de la sémantique des sous-termes dans un certain prémodèle équationnel. Nous montrons la correction de notre approche par annotations sémantiques, ainsi que du critère qui permet de traiter le système annoté, et nous construisons un prémodèle pour le système qui correspond intuitivement à lasémantique du système de réécriture. Nous montrons alors que le système annoté passe le critère de terminaison. D'un autre côté nous modifions l'approche classique de la terminaison à base de tailles et montrons que le système modifiépermet une analyse fine du flot de contrôle dans un langage d'ordre supérieur. Ceci nous permet de construire un graphe, dit graphe de dépendance approxime, et nous pouvons montrer qu'un critère syntaxique sur ce graphe suffit à montrer la terminaison de tout terme bien typé / The present manuscript is a reflection on termination of higher-order rewrite systems. We concentrate our efforts on a particular approach, size-based termination. This method uses typing to give a syntactic approximation to the size of an element of the language. Our contribution is twofold: first we give a structured approach to proving the correctness of size-based termination. To do this, we show that it is possible to apply a certain version of semantic labelling. This technique uses annotations on terms computed using the semantics of subterms in a certain equational premodel. We show correctness of our labelling framework and of the criterion that allows us to prove termination of the labelled system, and we build a premodel of the rewrite system that intuitively corresponds to the rewrite system. We show that the system labelled using these semantics passes the termination criterion. Furthermore we show that a modification of the classical size-types approach allows us to perform a fine control-flow analysis in a higher-order language. This allows us to build an approximated dependency graph, and show that if a certain syntactic criterion issatisfied by the graph, then all well-typed terms are terminating

Cette thèse rentre dans le cadre du projet MEAT (Mémoire d´Expériences pour l´Analyse du Transcriptome) dont le but est d´assister les biologistes travaillant dans le domaine des puces à ADN, pour l´interprétation et la validation de leurs résultats. Nous proposons une aide méthodologique et logicielle pour construire une mémoire d´expériences pour ce domaine. Notre approche, basée sur les technologies du web sémantique, repose sur l´utilisation des ontologies et des annotations sémantiques sur des articles scientifiques et d´autres sources de connaissances du domaine. Dans une première partie, nous proposons une ontologie modulaire pour la description des connaissances du domaine des puces à ADN (base de données d´expériences, articles scientifiques, entités biomédicales...). Cette ontologie intègre entre autres, le réseau sémantique déjà existant d´UMLS, ce qui nous a permis d´approfondir le problème de réutilisation de ressources termino-ontologiques et leur adaptation à une nouvelle application. Ensuite, nous proposons une méthodologie générique pour la génération d´annotations sémantiques basées sur cette ontologie en exploitant les connaissances contenues dans les textes. Cette méthodologie a l´originalité d´utiliser des techniques de traitement automatique de la langue et des grammaires d´extraction de relations pour extraire automatiquement des articles scientifiques les relations reliant des termes d´UMLS reconnus dans le texte. Un système supportant cette méthodologie a été implémenté et validé par nos collègues biologistes. Enfin, pour faciliter la diffusion des connaissances contenues dans la mémoire, nous proposons un prototype qui se base sur un moteur de recherche sémantique (Corese) et qui exploite la base d´annotations que nous avons constituée. Cette partie du travail a permis d´améliorer la tâche de recherche d´informations en la rendant plus efficace et en offrant des mécanismes de raisonnement sur les connaissances du domaine.

Les travaux présentés dans ce mémoire se situent dans le contexte de la recherche d'information. Plus précisément, nous proposons de nouveaux facteurs " centralité, fréquence conceptuelle" permettant à notre sens, de mieux caractériser la dimension sémantique du contenu des textes, allant au-delà des méthodes d'indexation classiques basées exclusivement sur les statistiques. Ces facteurs devraient tirer parti de l'identification de différents types de relations telles que -est-une partie-de, liés à, synonymie, domaine, etc.- qui existent entre les mots d'un texte.

Cette étude est une classification générale des constructions verbales et une description des propriétés syntaxico-sémantiques des verbes à complément essentiel introduit par la postposition e en coréen. Ce travail a pour modèle théorique le lexique-grammaire, qui a été élaboré par M. Gross (1975), sur la base des principes de Z. S. Harris (1968). Dans cette étude, nous avons examiné les propriétés syntaxico-sémantiques des 3000 verbes demandant ce complément et nous les avons regroupés en 8 classes. Ces propriétés constitueront des informations syntaxiques qui servent à l'analyse de structure d'une phrase et au traitement automatique des textes en coréen.

Ce manuscrit présente une réflexion sur la terminaison des systèmes de réécriture d'ordres supérieurs. Nous nous concentrons sur une méthode particulière, la terminaison à base de tailles. La terminaison à base de tailles utilise le typage pour donner une approximation syntaxique à la taille d'un élément du langage. Notre contribution est double: premièrement, nous permettons d'aborder de manière structurée le problème de la correction des approches à base de taille. Pour ce faire, nous montrons qu'elle peut être traitée par une version de la méthode des annotations sémantiques. Cette dernière utilise des annotations sur les termes calculés à partir de la sémantique des sous-termes dans un certain prémodèle équationnel. Nous montrons la correction de notre approche par annotations sémantiques, ainsi que du critère qui permet de traiter le système annoté, et nous construisons un prémodèle pour le système qui correspond intuitivement à la sémantique du système de réécriture. Nous montrons alors que le système annoté passe le critère de terminaison. D'un autre coté nous modifions l'approche classique de la terminaison à base de tailles et montrons que le système modifié permet une analyse fine du flot de contrôle dans un langage d'ordre supérieur. Ceci nous permet de construire un graphe, dit graphe de dépendance approximé, et nous pouvons montrer qu'un critère syntaxique sur ce graphe suffit à montrer la terminaison de tout terme bien typé.