Dans des réseaux opportunistes --- dont la topologie est dynamique --- de dispositifs intelligents, nous traitons le problème de la recherche et de la composition dynamique de fonctionnalités à l'aide d'une description logique des dispositifs. Nous définissons un langage logique du premier ordre dans lequel les dispositifs, leurs fonctionnalités et leur propriétés sont exprimés, en utilisant une taxonomie de classes pour contraindre le type des ressources. Nous définissons conjointement un langage de requêtes basé sur celui de la description nous permettant d'utiliser des raisonneurs du type Prolog pour répondre aux requêtes. Ces réponses sont des instanciations des variables d'intérêt présentes dans la requête et représentent des constructions de fonctionnalités composées. Dans un second temps, pour faire face aux spécificités d'un réseau dynamique, nous utilisons la plateforme SomeWhere --- qui permet de faire du raisonnement en logique propositionnel lorsque la base de connaissances est totalement distribuée --- comme un service de lookup récupérant un sous-ensembles des ressources dont les descriptions sont nécessaires à l'obtention de toutes les réponses à la requête donnée via le raisonneur. Dans cette optique, nous utilisons un encodage des descriptions et de la requête écrites en logique du premier ordre vers la logique propositionnelle qui conserve les bonnes propriétés de la description.

Cette thèse étudie la construction automatique de représentations sémantiques comme lambda-termes simplement typés. Nous introduisons la sémantique formelle et computationnelle et présentons une tentative de construction sémantique à l'aide d'outils d'inférence. <br />Nous expliquons les limites de cette approche et en proposons une autre, basée sur un outil appelé Nessie. Cet outil construit des représentations sémantiques grâce à un lexique spécifiant le sens des mots et à un arbre guidant la construction. L'implantation de l'outil est présentée et ses résultats sont comparés à ceux du système évoqué plus haut. Nous appliquons ensuite Nessie à deux tâches différentes.<br />D'abord, nous montrons comment il peut être utilisé (avec des outils d'inférence) pour étudier la sémantique du temps et de l'aspect des verbes polonais. Ensuite, nous présentons deux approches de la construction compositionnelle du sens de discours basées sur la théorie des types. Nous montrons que Nessie peut être utilisé pour calculer des représentations de discours dans ces deux formalismes; cette double implantation permet de souligner les points forts et les points faibles de chacune et de les comparer. Enfin, nous prouvons que notre approche de la construction sémantique est compatible avec une large gamme de formalismes syntaxiques: ceux reconnus par une grammaire catégorielle abstraite d'ordre 2. Une conséquence de cette caractérisation est que Nessie peut gérer une large gamme de grammaires inversibles et peut donc, théoriquement, être utilisé aussi bien en génération qu'en analyse. <br />Nous concluons en discutant de la pertinence du lambda calcul simplement<br />typé pour la sémantique des langues naturelles.

Ce travail propose une analyse des verbes qui peuvent décrire un déplacement lorsqu'ils entrent dans la construction transitive directe [SN1 V SN2] où le sujet (SN1) dénote l'entité à localiser et où l'objet (SN2) dénote l'entité localisatrice (ex. Léon quitte la ville). de déplacement transitifs directs du français. Parler de classe de 'verbes de mouvement' laisse supposer qu'il s'agit d'une classe homogène rassemblant des verbes qui d'une part présenteraient un ensemble de propriétés communes, et qui d'autres part se distingueraient clairement d'autres verbes, non spatiaux. Or, l'étude du comportement des verbes dits de déplacement comme monter, traverser, heurter, atteindre etc., entrant dans la construction transitive directe [SN1 V SN2], a mis en évidence que ces verbes ne sont pas tous intrinsèquement spatiaux. Je présenterai les critères qui m'ont permis d'établir une typologie de ces verbes, en insistant tout particulièrement sur les rapport étroits existant entre le mode d'ancrage référentiel d'une relation de localisation par rapport à une entité, la nature ontologique de cette entité, l'aspect du verbe et son degré de transitivité sémantique. Cette description linguistique montre qu'un ensemble de facteurs de nature sémantico-référentielle et syntaxique convergent pour former des 'modèles' (patterns) aptes à saisir des modes de représentations des événements de déplacement d'un point de vue dynamique, relationnel et global, ou d'un point de vue statique, référentiel et partiel. Ces deux modes de représentations définissent les pôles d'un continuum qui sont aussi orientés entre un faible et un haut degré de transitivité. Sur la base de cette analyse, plusieurs hypothèses sur les restrictions de sélection, la polysémie des verbes, les phénomènes d'alternance pourront être abordées.

Le but de cette thèse est de mettre en évidence une nouvelle notion de jeux qu'on appellera jeux d'équipe, en extrayant l'essence de la notion de jeux conçue par Hyland et Ong. Un jeu d'équipe génèralise les notions usuelles de positions, coups, parties et stratégies en leur donnant une interprétation géométrique. Parmi les positions on distinguera les positions perdantes des positions gagnantes alors que parmi les stratégies on distinguera les stratégies gagnantes et les stratégies déterministes. La composition, qui permet à deux joueurs de combiner leurs stratégies respectives pour se partager un but en deux objectifs complémentaires, constitue l'attrait principal d'un jeu d'équipe. Notre composition de stratégies a un élément neutre et vérifie la condition habituelle d'associativité. De plus les propriétés du type gagnant ou déterministe sont préservées à travers cette composition. Pour rendre ce travail cohérent je me devais de donner un jeu d'équipe pour les jeux HO totaux, dans lequel les objets sont les parties dans une arène donnée.

Ce document est intitulé Aspect(s), Contrastivité(s), Modélisation(s). Ces trois termes résument mon parcours, multiple à bien des égards. D'abord, le thème général en est l'aspect, ou plutôt les aspects : aspect grammatical avec l'étude du present perfect (have V-en) dans mes travaux de thèse, aspect lexical exprimé par les verbes d'aspect (aspectualizers) begin et start et leur double complémentation (to V / V-ing), et enfin aspect sémantique du verbe en tant qu'unité lexicale dans mon parcours récent. Au fur et à mesure que j'abordais ces domaines, je ne cessais de pratiquer la contrastivité, conçue ici encore comme plurielle : plurielle par les langues comparées (anglais/russe, anglais/breton), mais également par les variétés d'anglais prises en compte au cours de l'histoire (moyen-anglais, anglais moderne, Samana English), enfin plurielle car elle s'est accompagnée d'une ouverture constante à d'autres modèles. D'où modélisation(s), depuis mon cadre théorique initial de la métaopération d'H. Adamczewski à la grammaire générative, aux modèles de sémantique lexicale et formelle, enfin jusqu'à la théorie des Formes Schématiques pour l'élucidation du sens des unités lexicales. Cette pluralité des approches et des modèles, qui a été la réponse que j'ai apportée à la diversité des phénomènes et des langues rencontrés, m'ont permis d'aboutir à un modèle que notre équipe autour de C. Delmas a proposé de baptiser MAPS (Métaopération et Approche Plurielle du Sens).

Notre travail se positionne dans la thématique du traitement automatique du langage et plus précisément des systèmes de question-réponse. Il se fonde sur la notion de justification, qu'il formalise dans un modèle faisant intervenir trois types de phénomène linguistiques : les variations paradigmatiques locales d'un terme (sémantiques, morphologiques, inférences), les liens syntagmatiques entre les constituants d'une phrase, et une composante de sémantique énonciative reliant des éléments distants (anaphores, coréférences, thématisation), dans un contexte multiphrase, aussi bien mono- que multi-documents. Nous fondons notre formalisation de la structure des justifications sur un corpus de couples question-réponse extrait de façon semi-automatique. Ensuite, nous décrivons et évaluons un programme extrayant d'articles de journaux justifications structurées. Notre programme vise à conserver au système la capacité de produire une justification structurée, tout en rendant possible l'intégration modulaire d'une grande hétérogénéité de traitements linguistiques, de nature, de niveau de granularité et de fiabilité variés.

Pouvoir chercher des informations sur un niveau sémantique plutôt que purement lexical devrait améliorer la recherche d'informations. Cette thèse a pour objectif de développer des modules d'analyse sémantique lexicale a n d'améliorer le système de recherche de documents textuels de la société Exalead. Les travaux présentés concernent plus spécifi quement l'analyse sémantique de texte en français. La problématique liée au traitement du français réside dans le fait qu'il n'existe que peu de ressources sémantiques et de corpus annotés pour cette langue. Rendre possible une telle analyse implique donc d'une part de pourvoir aux besoins en ressources linguistiques françaises, et d'autre part, de trouver des méthodes alternatives ne nécessitant pas de corpus français manuellement annoté. Notre manuscrit est structuré en trois parties suivies d'une conclusion. Les deux chapitres de la première partie délimitent les objectifs et le contexte de notre travail. Le premier introduit notre thèse en évoquant la problématique de la sémantique en recherche d'information, en présentant la notion de sens et en identifiant deux tâches d'analyse sémantique : la désambiguïsation lexicale et l'analyse en rôles sémantiques. Ces deux tâches font l'objet de l'ensemble de notre étude et constituent respectivement les parties 2 et 3. Le second chapitre dresse un état de l'art de toutes les thématiques abordées dans notre travail. La deuxième partie aborde le problème de la désambiguïsation lexicale. Le chapitre 3 est consacré à la constitution de nouvelles ressources françaises pour cette tâche. Nous décrivons dans un premier temps une méthode de traduction automatique des synsets nominaux de WordNet vers le français à partir de dictionnaires bilingues et d'espaces distributionnels. Puis, nous constituons une ressource automatiquement en proposant une adaptation de deux méthodes d'induction de sens existantes. L'originalité des clusters de sens ainsi constitués est de contenir des mots dont la syntaxe est proche de celle des mots source. Ces clusters sont alors exploités dans l'algorithme que nous proposons au chapitre 4 pour la désambiguïsation elle-même. Le chapitre 4 fournit également des recommandations concernant l'intégration d'un tel module dans un système de recherche de documents. L'annotation en rôles sémantiques est traitée dans la troisième partie. Suivant une structure similaire, un premier chapitre traite de la constitution de ressources pour le français, tandis que le chapitre suivant présente l'algorithme développé pour l'annotation elle-même. Ainsi, le chapitre 5 décrit nos méthodes de traduction et d'enrichissement des prédicats de FrameNet, ainsi que l'évaluation associée. Nous proposons au chapitre 6 une méthode semi-supervisée exploitant les espaces distributionnels pour l'annotation en rôles sémantiques. Nous concluons ce chapitre par une ré flexion sur l'usage des rôles sémantiques en recherche d'information et plus particulièrement dans le cadre des systèmes de réponses à des questions posées en langage naturel. La conclusion de notre mémoire résume nos contributions en soulignant le fait que chaque partie de notre travail exploite les espaces distributionnels syntaxiques et que ceci permet d'obtenir des résultats intéressants. Cette conclusion mentionne également les perspectives principales que nous inspirent ces travaux. La perspective principale et la plus immédiate est l'intégration de ces modules d'analyse sémantique dans des prototypes de recherche documentaire.

Les services informatiques, et particulièrement les services sur le Web, permettent le traitement ou l'échange d'informations. Leur composition ainsi que la construction de workflows à partir de services permettent la réalisation de tâches complexes. Toutefois, seules des informations utiles à leur gestion informatique (stockage, exécution, etc.) sont spécifiées dans les langages de description de services ou de compositions de services tels que WSDL, BPEL ou XPDL. Ces descriptions, essentiellement syntaxiques, ne sont pas suffisamment riches pour permettre une gestion complexe supportant la découverte, l'interopérabilité ou l'adaptativité de services au niveau sémantique. En effet, ces descriptions ne permettent pas de lier explicitement les services informatiques et les compositions qu'elles définissent aux fonctions et aux processus implémentés ainsi qu'aux concepts manipulés. Dans les domaines de l'ingénierie par exemple, l'activité de composition de services informatiques reste traditionnellement à la charge des ingénieurs. L'absence de sémantique explicite rend les services et workflows informatiques difficilement compréhensibles, réutilisables et composables pour les ingénieurs du domaine d'intérêt qui n'ont pas contribué à leur conception et ayant des connaissances techniques et informatiques en général limitées. Ces ingénieurs restent ainsi dépendants des développeurs de logiciels pour l'utilisation ou la composition de services informatiques. Pour apporter une solution aux problèmes évoqués, de récentes approches ont été proposées. Cependant, leurs mécanismes d'enrichissement sémantique ne séparent pas la partie syntaxique, utile au stockage ou à l'exécution, de la partie sémantique, utile à la découverte ou à la composition. En outre, ces mécanismes ne fournissent aucune classification hiérarchique ou relationnelle selon la sémantique des services informatiques. Pour remédier à ces limitations, nous proposons une approche basée sur la définition d'ontologies de services (conceptualisations partagées) et d'indexations sémantiques. Notre proposition s'appuie sur une architecture de persistance centrée autour des bases de données à base ontologique pour stocker et indexer les différents services ainsi que leurs compositions. La mise en oeuvre de notre approche consiste en un prototype logiciel implantant les concepts de service et de workflow sémantiques permettant de stocker, de rechercher, de remplacer, de réutiliser les services et les workflows informatiques existants et d'en construire de nouveaux de manière incrémentale. Ces travaux sont validés en étant appliqués au domaine de la modélisation géologique et de l'ingénierie pétrolière et plus particulièrement à l'interprétation sismique.

Ce travail est devoué à la Réalisabilité de Krivine, se focalisant sur les aspects calculatoires des réalisateurs des formules. Chaque formule a un jeu associé. Chaque preuve fournit un therme capable d'implémenter une stratégie gagnante pour le jeux associé à la formule qu'elle démontre. Une preuve est, par adéquation, un combinateur capable de prendre des stratégies gagnantes pour les hypothèses et les combiner pour rendre une stratégie gagnante pour la conclusion. Y-sont abordés: A. Le problème de l'espécification, consistant a décrire en termes calculatoires les réalisateurs d'une formule donée. Des nombreaux examples y-sont traités. B. On étudie une preuve en tant que combinateur de stratégies gagnantes: On pose une implication $A\to B$ où $A$ et $B$ sont des formules $\Sigma^0_2$. Soit $C$ la forma normale prenexe de $A\to B$. On étudie une preuve de $A, C\to B$ en tant que combinateur de stratégies gagnantes. En faisant ce travail, certaines techniques sont développées pour tracer l'éxécution d'un processus, dont notamment la "méthode des fils".

Les réseaux à base de politiques (PBN) définissent un paradigme des plus prometteurs pour la gestion et le contrôle des ressources réseaux. COPS tend à être le protocole de facto pour l'utilisation de ce type d'applications. La question se pose de savoir comment déployer ce type de services pour permettre les échanges entre les différentes entités protocolaires du réseau (PEP et PDP). C'est à ce niveau que nous proposons de faire intervenir la notion de réseaux actifs, vu que ce paradigme permet d'intégrer du code exécutable aux paquets transférés et/ou nœuds en vue de distribuer et de configurer dynamiquement les services du réseau. D'autre part, une grande effervescence existe actuellement autour du déploiement des Web services sur Internet à l'aide du protocole SOAP. Toujours dans le cadre de l'Internet mais selon une perspective différente, la représentation sémantique des données, et grâce à la définition d'ontologies, permet aux logiciels d'interpréter intelligemment les données qu'elles gèrent et de ne plus jouer le rôle de simple équipement de stockage passif. La synergie entre les 4 paradigmes: PBN, Réseaux actifs, Web services, et représentation sémantique des données, présente une solution intégrée et portable des plus intéressantes pour la représentation des nœuds de l'architecture active, la conception, l'implémentation et le déploiement de services, et plus spécifiquement un service de gestion dynamique contrôlable et intelligent, dont les données (politiques et règles) sont représentés par une même ontologie.