Le développement des technologies de l'information et de la communication à modifié en profondeur la manière dont nous avons accès aux connaissances. Face à l’afflux de données et à leur diversité, il est nécessaire de meure su point des technologies performantes et robustes pour y rechercher des informations. Notre travail porte sur le reconnaissance des entités nommées et leur annotation su sein de transcriptions d’émissions radiodiffusées ou télévisuelles. En première partie, nous abordons le problématique de la reconnaissance automatique des entités nommées. Après une caractérisation de leur nature linguistique, nous proposons une approche par instructions, fondée sur les marqueurs (balises) d’annotation, qui considère ces éléments isolément (début ou fin d’une annotation). En seconde partie, nous faisons état des travaux en fouille de données et présentons un cadre formel pour explorer les données. Nous y proposons une formulation alternative par segments, qui limite la combinatoire lors de l’exploration. Les motifs corrélés à un ou plusieurs marqueurs d’annotation sont extraits comme règles d’annotation. La dernière partie décrit le cadre expérimental, quelques spécificités de l’implémentation du système (mXS) et les résultats obtenus. Nous montrons l’intérêt d’extraire largement les règles d’annotation et expérimentons les motifs de segments. Nous fournissons des résultats chiffrés relatifs aux performances du système à divers point de vue et dans diverses configurations. Ils montrent que l’approche que nous proposons est compétitive et qu’elle ouvre des perspectives dans le cadre de l’observation des langues naturelles et de l’annotation automatique. / Those latest decades, the development of information end communication technologies has deeply modified die way we access knowledge. Facing the volume end the diversity of date, it is necessary to work out robust end efficient technologies to retrieve information. The present work considers recognition and annotation of Named Entities within radio and TV broadcasts transcripts. For this purpose, we interpret die annotation task es s local structuration. We can therefore leverage data to empirically extract mies that govern annotation markers (or tags) presence. In die first part, we introduce our problematic: processing named entities. We question named entities status (related notions, typologies, evaluation end annotation) and propose properties to define their linguistic nature. We conclude this part by describing state-of-the-art approaches end by presenting our contribution, focused on markers (tags) diet begin or end an annotation. In die second part, we present die formalism used to mine date. The framework we use to enrich date, explore sequences and extract annotation rules is formalized. The lest part describes the implemented system (mXS) and the obtained results. Specific implementation details are given and results about rule extraction from data are reported. Finally, we provide quantitative results of the performance of mXS on Ester2 end Etape datasets, among with various indications about die behaviour of die system from diverse points of view and in diverse configurations. They show diet our approach gives competitive results end that it opens up new perspectives for natural language processing and automatic annotation.

Les ontologies sont utilisées pour la représentation et l’interrogation de connaissances d’un domaine précis et peuvent être représentées en partie à l’aide des logiques de description légères. Ces ontologies peuvent être issues de plusieurs sources dont les données sont plus ou moins complétés, ainsi certaines données peuvent être incomplètes ou incohérentes empêchant la déduction d’autres données. L’Answer Set Programming (ASP) est un langage de programmation logique non-monotone à base de règles permettant de représenter des données incomplètes mais il ne permet pas de représenter les logiques de description légères. Les règles existentielles généralisent les logiques de description légères et forment aussi un langage de programmation logique mais ne permettant pas la définition d’exceptions. A partir d’une étude théorique d’ASP et des règles existentielles nous proposons de regrouper en un seul formalisme ces deux langages, nous définissons le formalisme des programmes non-monotones existentiels permettant de traiter un programme provenant d’une ontologie avec exceptions. Cette extension a pour but de généraliser à la fois ASP et les règles existentielles et d’utiliser la puissance des solveurs ASP pour raisonner sur des ontologies avec exceptions. Cette étude propose d’approfondir les travaux sur la décidabilité d’un programme avec l’extension aux programmes non-monotones existentiels. Nous proposons aussi d’améliorer les résultats lies à l’interrogation d’un programme ASP ainsi qu’une implémentation d’une extension du solveur ASPeRiX pour traiter les programmes non-monotones existentiels. / Ontologies are meant to represent or to queryknowledge from a precise domain and can berepresented, in part, by logic formalisms such thatdescription logics. These ontologies can be providedby several sources where knowledge is more or lesscomplete, hence some data can be incomplete orincoherent preventing the deduction of other data.Answer Set Programming (ASP) formalism is anon-monotonic logic programming language based onrules, often used in knowledge representation, whichhas the feature to represent incomplete data.However, it’s impossible to represent lite descriptionlogics in ASP, because of existential variables in rules.Existential rules generalize lite description logics andalso form a programmation logic language that butdoesn’t offer the possibility to represent exceptions.Based on a theoritical study of ASP and existentialrules, we propose to gather both languages in aunique formalism, we define non-monotonic existentialprogram allowing to deal with ontology withexceptions. This extension aims to generalize bothASP and existential rules program and to use theefficiency of ASP solvers to reason on ontologies withexceptions. This thesis propose to deepen worksabout entailment and decidability of a non-monotonicexistential program. Another result from this study isthe improvement of interrogation in ASP and theimplementation of an extension of the ASPeRiX solverto deal with non-monotonic existential programs.

Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.

This thesis analyses the processes of regulation of natural area uses in France and Mexico. Such processes imply nationally-defined legal rules of allocation and protection of space and natural resources, but also rules established locally. In this perspective the conceptual framework of Institutional Regim of Natural Resources has been mobilised. This framework has the major interest of combining an analysis of property rights and public policies. Two situations have been analised: the Brenne des étangs, wetland in Région Centre (France) and the Cuenca del Río Tepalcatepec in the State of Michoacán (Mexico). This analysis stresses the importance of local processes of production rules. We highlight two main elements. On the one hand the application of legal rules needs elaboration of local rules of adaptation and adjustment. On the other hand, collective arrangements exist and govern the use of spaces and the resources they contain. / Ce travail de recherche analyse et questionne les processus de régulation des usages des espaces naturels en France et au Mexique. Ces processus mettent en jeu des règles juridiques définies nationalement concernant l’allocation et la protection de l’espace et des ressources naturelles, mais aussi les règles produites localement. Dans cette perspective le cadre conceptuel des régimes institutionnels de ressources naturelles (RIRN) a été mobilisé. Ce cadre présente l’intérêt de combiner analyse des droits de propriété et analyse des politiques publiques. L’analyse de deux situations de régulation des usages a été menée : la Brenne des étangs en Région Centre (France) et la Cuenca del Río Tepalcatepec dans l’Etat du Michoacán (Mexique). Cette analyse a permis de mettre en évidence l’importance des processus locaux de production de règles. Nous avons montré qu’une part que l’application des règles juridiques « hétéronomes » nécessite la production de règles locales d’adaptation et d’ajustement, et d’autre part qu’il existe des arrangements collectifs régissant l’utilisation de l’espace et de ses ressources.

Les écosystèmes tropicaux, en particulier les écosystèmes amazoniens, sont connus pour abriter une importante diversité d'organismes, terrestres ou aquatiques. Cependant, les causes et les processus responsables de cette grande diversité dans les assemblages de poissons d'eau douce restent encore peu connus, et leur identification est un fort enjeu dans l'évaluation future des impacts des perturbations humaines qui sont grandissantes dans ces milieux. Nous avons étudié les processus qui façonnent la diversité et la structure des assemblages de poissons d'eau douce de Guyane dans les petits cours d'eau et les fleuves non impactés par les activités humaines. La diversité au sein des assemblages de petits cours d'eau augmente le long du gradient amont/aval et dans les milieux où l'habitat est plus diversifié. L'identité des espèces change le long de ce gradient, définissant des zones le long du cours d'eau. Les relations spatiales entre les assemblages et leur isolement ont aussi un fort effet sur les assemblages. En incorporant les informations sur les traits des espèces (diversité fonctionnelle) et leur relation de parenté (diversité phylogénétique), nous avons montré que la diversité au sein des assemblages n'était pas influencée par l'environnement ou les interactions entre les espèces. Nous avons aussi confirmé le fort effet de la limite à la dispersion entre les assemblages, en lien avec l'histoire passée des bassins versants, dans les petits cours d'eau et dans les fleuves. De telles études sur les processus structurant les assemblages nécessitent l'acquisition de données biologiques plus complètes, et donc le développement d'une nouvelle méthode d'échantillonnage qui soit exhaustive et non invasive. Pour cela, nous avons testé le metabarcoding environnemental (l'identification moléculaire des espèces présentes à partir d'un échantillon d'eau). Cette méthode donne des résultats complémentaires aux pêches traditionnelles et nécessite encore un travail de développement et des tests supplémentaires pour améliorer son efficacité et permettre son utilisation pour identifier les processus structurant les assemblages. Ces travaux, aussi bien pratiques que théoriques, sont nécessaires au développement d'un meilleur cadre conceptuel sur la structure des assemblages de poissons tropicaux, et dans la construction d'indicateurs d'impacts d'activités humaines sur les écosystèmes. / Tropical ecosystems, especially Amazonian ecosystems, host a great diversity of terrestrial and aquatic organisms. However, the causes and the processes behind this high diversity for freshwater fish assemblages are little known, but their identification will be an asset in the assessment of anthropogenic impacts that are increasing in these regions. We studied the processes that shape the diversity and the structure of freshwater fish assemblages of non-impacted streams and rivers located in French Guiana. Within-assemblage diversity increased along an upstream/downstream gradient and was higher in sites where the habitat was diversified. Species identity changed along this gradient, which created zones along the stream. Spatial relationships between assemblages and their isolation also greatly impacted species assemblages. Using information about species traits (functional diversity) and their phylogenetic relationships (phylogenetic diversity), we showed that within-assemblage diversity was not influenced by the environment or by species interactions. We also confirmed that dispersal limitation, linked with the past history of drainage basins, had a strong effect on assemblage structure in both streams and in rivers. Future investigations on the processes structuring fish assemblages will need to acquire more exhaustive biological data, and therefore to develop an efficient, and non-destructive sampling method. To this aim, we evaluated the efficiency of environmental metabarcoding applied to aquatic assemblages (the molecular identification of species present from a water sample) and compared it to traditional sampling methods. Currently, metabarcoding gives complementary information to traditional sampling. It thus needs developments and further tests to increase its efficiency and allow its use for assembly processes studies. Pursuing the formalization of a conceptual framework to investigate assembly rules together with the development of an efficient fish sampling protocol are now needed to better understand the structure of tropical fish assemblages. Those theoretical and practical developments will contribute to better evaluate anthropogenic disturbances on aquatic ecosystems.

Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.

Cette thèse présente une méthode de pronostic basée sur des règles symboliques extraites par fouille de données. Une application de cette méthode au cas du grippage de pompes à vide est aussi détaillée. Plus précisément, à partir d'un historique de données vibratoires, nous modélisons le comportement des pompes par extraction d'un type particulier de règles d'épisode appelé « First Local Maximum episode rules » (FLM-règles). L'algorithme utilisé pour extraire ces FLM-règles extrait aussi de manière automatique leur fenêtre optimale respective, i.e. la fenêtre dans laquelle la probabilité d'observer la prémisse et la conclusion de la règle est maximale. Un sous-ensemble de ces FLM-règles est ensuite sélectionné pour prédire les grippages à partir d'un flux de données vibratoires. Notre contribution porte sur la sélection des FLM-règles les plus fiables, la recherche de ces FLM-règles dans un flux continu de données vibratoires et la construction d'un intervalle de pronostic de grippage à partir des fenêtres optimales des FLM-règles retrouvées. / This thesis presents a symbolic rule-based method that addresses system prognosis. It also details a successful application to complex vacuum pumping systems. More precisely, using historical vibratory data, we first model the behavior of the pumps by extracting a given type of episode rules, namely the First Local Maximum episode rules (FLM-rules). The algorithm that extracts FLM-rules also determines automatically their respective optimal temporal window, i.e. the temporal window in which the probability of observing the premiss and the conclusion of a rule is maximum. A subset of the extracted FLM-rules is then selected in order to further predict pumping system failures in a vibratory data stream context. Our contribution consists in selecting the most reliable FLM-rules, continuously matching them in a data stream of vibratory data and building a forecast time interval using the optimal temporal windows of the FLM-rules that have been matched.

Cette recherche se propose d'analyser ce que nous appelons un « dispositif d'évaluation stoïcien ». Par « dispositif » nous faisons référence à un ensemble d'éléments qui interagissent entre eux d'une certaine manière, qui répondent à un enjeu et qui entrent en relation et en concurrence avec d'autres formations similaires ou pas. Parler de « dispositif d'évaluation » renvoie aussi bien à des processus psychiques, qu'aux éventuels critères auxquels satisfait ou doit satisfaire ce processus – une certaine distribution de la valeur – à l'enjeu qui lui est assigné et aux éventuels effets collatéraux. Valeur et jugement de valeur ne sont que les éléments d'un ensemble qui les englobe et se caractérise par les modalités de leur articulation. Reconstruire un « dispositif d'évaluation » stoïcien a pour enjeu de rendre compte de la manière dont les stoïciens conçoivent la discrimination « naturelle » de son environnement par le vivant humain et la portée de ce processus. Et par « naturelle », on comprendra « optimale » et « correcte » et non pas factuelle. Le dispositif d'évaluation doit en effet être compris comme l'expression du développement naturel, c'est à dire optimal et non pas effectif, de la pratique d'évaluation telle que les stoïciens la conçoivent, ce qui implique de ne pas confondre naturel et habituel, naturel et effectif. On voit d'emblée que la possibilité d'un dysfonctionnement n'est pas exclue. Réciproquement, le « dispositif d'évaluation » émerge au sens strict dans la reformulation prescriptive d'une pratique d'évaluation naturelle, c'est-à-dire optimale. / This research intends to analyse what we call a " Stoic device of evaluation ". By "device" we make reference to a set of elements which interact between themselves in a certain way, which answer a stake and which have relations and compete with the other similar formations or not. To talk about " device of evaluation " refers to psychic processes, as well as to possible criteria which this process satisfies or has to satisfy – a certain distribution of the value – to the stake which is assigned to him and to the possible collateral effects. Value and value judgment are only the elements of a set it includes them and is characterized by the modalities of their articulation. To reconstruct a " Stoic device of evaluation " has for stake to report the way the Stoics conceive the "natural" discrimination of its environment by human being and the impact of this process. And by "natural", we shall understand "optimal " and " correct" and not actual. The device of evaluation must be indeed included as the expression of the natural, that is optimal development of the practice of evaluation such as the Stoics conceive it, what involves not to confuse natural and usual, natural and actual. We see at once that the possibility of a dysfunction is not excluded. Mutually, the " device of evaluation " emerge in the strict sense in the prescriptive reformulation of a practice of natural, that is optimal evaluation.

Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.

Cette thèse s'intéresse aux rapports entre la règle et l'exception dans le domaine juridique. On assiste ces dernières années à un débat croissant en théorie du droit sur la « défaisabilité » et sur la question de savoir si cette dernière est un trait essentiel du droit. Cet essai se donne pour but d'évaluer les diverses positions de ce débat tant pour elles-mêmes qu'à la lumière de leurs présupposés conceptuels et théoriques. De fait, le terme « défaisabilité » est ambigu, et la plus grande partie de ce travail est dédiée à clarifier ce concept davantage qu'à en proposer une théorie originale. En effet, on trouve typiquement deux sortes de théories de la « défaisabilité du droit ». D'un côté on a des théories qui font de la défaisabilité un attribut du raisonnement juridique. Elle désigne alors le rôle que les exceptions jouent au sein du raisonnement. Ce rôle est de nous permettre d'effectuer des inférences par défaut dans les cas normaux sans avoir à établirt qu'aucune des exceptions n'est présente. De l'autre côté, on a des théories qui discutent de la défaisabilité comme d'un attribut des règles juridiques. Dire d'une règle qu'elle est défaisable, c'est dire qu'elle est sujette à des exceptions non spécifiées (ni spécifiables) à l'avance. Non seulement ces exceptions viennent bloquer l'inférence, comme c'est le cas dans les théories du premier type, mais elles provoquent la défaite de la règle. Les règles juridiques sont-elles ainsi défaisables ? Naturellement, la réponse à cette question n'est pas affaire d'enquête empirique ; elle dépend des présupposée conceptuels et théoriques que l'on a au sujet de la fonction des règles et de la nature du droit. / In this dissertation, I purport to study the relations between rules and exceptions in the legal domain. There has been an ongoing debate in legal theory on whether defeasibility is an intrinsic feature of law. This essay purports to assess the various claims made within this debate, both on their face and in the light of their conceptual or theoretical background. In fact, « defeasibility » is an ambiguous term. Most of this work is devoted to clarifying this concept, rather than proposing an original theory of it. Indeed, there are typically two sorts of claims that « law is defeasible » which are to be found in the literature. On the one hand, defeasibility is discussed as an attribute of legal reasoning. It refers to the way exceptions « behave ». They allow us to draw default inferences in normal cases, without having to ascertain that no exceptions are present. On the other hand, defeasibility is discussed as an attribute of legal rules. The defeasibility of a rule amounts to its being subject to exceptions not specified (nor specifiable) in advance. Not only those exceptions defeat the inference from the rule – as in the first account – but they defeat the rule itself. Are legal rules defeasible ? Obviously, answering this question is not a matter or empirical inquiry ; it depends on one's conceptual and theoretical commitments about the function of rules ans the nature of law.