Dans cette thèse, nous étudions plusieurs approches destinées à aider les utilisateurs à trouver des informations utiles et fiables dans le Web de données, en utilisant les technologies du Web sémantique. Nous abordons pour cela deux thèmes de recherche: le liage de données dans le Linked-Data et la confiance dans les réseaux P2P sémantiques. Nous modélisons le problème de liage dans le Web de données comme un problème de raisonnement sur des données incomplètes, qu'il s'agit d'enrichir en interrogeant de façon précise et pertinente le cloud du Linked Data. Nous avons conçu et implémenté un nouvel algorithme qui, à partir d'une requête de liage (du type et d'une base de règles modélisant de manière uniforme diverses connaissances du domaine (contraintes du schéma, axiomes d'inclusion ou d'exclusion d'une ontologie, règles expertes, mappings), construit itérativement des requêtes SPARQL pour importer des sources externes pertinentes du Linked Data les données utiles pour répondre à la requête de liage. Les expérimentations que nous avons menées sur des données réelles ont démontré la faisabilité de cette approche et son utilité dans la pratique pour le liage de données et la résolution d'homonymie. En outre, nous proposons une adaptation de cette approche pour prendre en compte des données et des connaissances éventuellement incertaines, avec en résultat l'inférence de liens ‘sameAs' et ‘differentFrom' associés à des poids de probabilité. Dans cette adaptation nous modélisons l'incertitude comme des valeurs de probabilité. Nos expérimentations ont montré que notre approche passe à l'échelle pour des bases de connaissances constituées de plusieurs millions de faits RDF et produit des poids probabilistes fiables. Concernant la confiance, nous introduisons un mécanisme de confiance permettant de guider le processus de réponse aux requêtes dans des Réseaux P2P sémantiques. Les différents pairs dans les réseaux P2P sémantiques organisent leur information en utilisant des ontologies distinctes et d épendent d'alignements entre ontologies pour traduire leurs requêtes. La notion de confiance dans un tel contexte est subjective ; elle estime la probabilité qu'un pair apportera des réponses satisfaisantes pour les requêtes spécifiques dans les interactions futures. Le mécanisme proposé de calcul de valeurs de confiance combine les informations fournies par les alignements avec celles provenant des interactions passées entre pairs. Les valeurs de confiances calculées sont affinées progressivement à chaque cycle de requête/réponse en utilisant l'inférence bayésienne. Pour l'évaluation de notre mécanisme, nous avons construit un système P2P de partage de signets sémantiques (TrustMe) dans lequel il est possible de faire varier différents paramètres quantitatifs et qualitatifs. Les résultats expérimentaux montrent la convergence des valeurs de confiance ;.ils mettent également en évidence le gain en terme de qualité des réponses des pairs - mesurées selon la précision et le rappel- lorsque le processus de réponse aux requêtes est guidé par notre mécanisme de confiance. / In this thesis we investigate several approaches that help users to find useful and trustful informationin the Web of Data using the Semantic Web technologies. In this purpose, we tackle tworesearch issues: Data Linkage in Linked Data and Trust in Semantic P2P Networks. We model the problem of data linkage in Linked Data as a reasoning problem on possibly decentralized data. We describe a novel Import-by-Query algorithm that alternates steps of subquery rewriting and of tailored querying the Linked Data cloud in order to import data as specific as possible for inferring or contradicting given target same-as facts. Experiments conducted on real-world datasets have demonstrated the feasibility of this approach and its usefulness in practice for data linkage and disambiguation. Furthermore, we propose an adaptation of this approach to take into account possibly uncertain data and knowledge, with a result the inference of same-as and different-from links associated with probabilistic weights. In this adaptation we model uncertainty as probability values. Our experiments have shown that our adapted approach scales to large data sets and produces meaningful probabilistic weights. Concerning trust, we introduce a trust mechanism for guiding the query-answering process in Semantic P2P Networks. Peers in Semantic P2P Networks organize their information using separate ontologies and rely on alignments between their ontologies for translating queries. Trust is such a setting is subjective and estimates the probability that a peer will provide satisfactory answers for specific queries in future interactions. In order to compute trust, the mechanism exploits the information provided by alignments, along with the one that comes from peer's experiences. The calculated trust values are refined over time using Bayesian inference as more queries are sent and answers received. For the evaluation of our mechanism, we have built a semantic P2P bookmarking system (TrustMe) in which we can vary different quantitative and qualitative parameters. The experimental results show the convergence of trust, and highlight the gain in the quality of peers' answers —measured with precision and recall— when the process of query answering is guided by our trust mechanism.

De quels critères disposons-nous pour évaluer la validité d’une opinion ?La<p>première partie de la thèse revient sur les tentatives des approches contemporaines<p>de l’argumentation de répondre à cette question. Les approches normatives<p>(pragma-dialectique et logique informelle) évaluent la construction des preuves à<p>l’aune d’un idéal de rationalité, lui-même garanti par un ensemble de règles quant à<p>la construction et la formulation publique des arguments. Les approches descriptives<p>(travaux de Plantin et Doury en particulier) se fondent sur une critique de cette<p>méthode :en prétendant fournir des évaluations objectives des arguments, les<p>théoriciens normatifs s’engagent dans le processus argumentatif et, en définitive,<p>produisent des contre-argumentations et non des évaluations. C’est à l’aune du<p>problème du statut épistémologique de la preuve en histoire que j’ai choisi d’illustrer<p>les limites de l’approche descriptive. En particulier, l’oeuvre du critique littéraire<p>Hayden White se caractérise par une même relation entre (1) un scepticisme sur la<p>possibilité d’établir des critères de rationalité et (2) un parti-pris descriptif :les<p>explications historiques pourraient être décrites comme autant de figures rhétoriques,<p>mais on ne saurait définir un critère permettant d’en évaluer la validité. Comme l’a<p>bien montré Carlo Ginzburg, le scepticisme de White ouvre la porte à toutes les<p>dérives négationnistes.<p>Partant, dans une seconde partie, je propose un modèle d’analyse alternatif. Ce<p>modèle s’appuie sur la définition de la rhétorique comme une dunamis par Aristote :<p>une capacité perfectible à porter un regard technique sur les preuves. Il s’agit,<p>concrètement, de prendre en compte trois points de vues sur la preuve :(1) le point<p>de vue de l’orateur qui invente ses preuves face à un problème concret ;(2) le point<p>de vue de l’artisan qui façonne la matière persuasive; (3) le point de vue de<p>l’auditoire qui reçoit les preuves. L’exercice de ces trois points de vues permet à<p>l’analyste de juger les choix rhétoriques d’un orateur à l’aune de sa propre<p>conscience, perfectible par l’exercice, des alternatives possibles et de leur pertinence<p>en fonction des auditoires concernés. Le critère de rationalité n’est alors pas idéaliste<p>ou transcendant, il est humaniste (Chaïm Perelman, Emmanuelle Danblon) :il est de<p>l’ordre de l’expérience acquise.<p>Dans une troisième partie, j’applique mon modèle à trois ouvrages d’histoire :<p>(1) Les traites négrières d’Olivier Pétré-Grenouilleau ;(2) La vie fragile d’Arlette<p>Farge ;(3) The Ascent of Money de Niall Ferguson. Dans chaque cas, j’évalue les<p>choix rhétoriques des historiens (quant aux usages des preuves extra-techniques et<p>à la construction des trois preuves techniques) au regard des problèmes<p>épistémologiques qu’ils affrontent* et des auditoires potentiels auxquels ils<p>s’adressent. Dans chaque cas, je consacre une partie de l’analyse aux réactions<p>suscitées par leurs ouvrages. Ce faisant, je peux mesurer le caractère anti-rhétorique<p>des pratiques actuelles de la critique :le repérage d’une figure de rhétorique<p>(analogie ou métaphore), d’une forte personnalité ou d’un appel aux émotions<p>suffisent à disqualifier un argument aux yeux des critiques. En d’autres termes, notre<p>tradition critique est pétrie d’illusions normatives et, en premier lieu, l’illusion selon<p>laquelle une preuve pourrait être administrée sans technique. Je conclus en montrant<p>que ces illusions, entretenues par notre tradition philosophique, nous ont fait perdre<p>beaucoup de temps dans le développement d’une formation à l’argumentation qui<p>soit de nature à exercer la dunamis critique des étudiants.<p><p>*<p>(1) établir la vérité historique sur un sujet à fort potentiel polémique ;(2) exprimer les intuitions de la<p>phase de découverte ;(3) formuler et justifier une prédiction. / Doctorat en Langues et lettres / info:eu-repo/semantics/nonPublished

Le raisonnement par analogie est un aspect fondamental de la cognition humaine souvent considéré comme propre à notre espèce. Des travaux récents utilisant des tâches d'appariement relationnel suggèrent que des chimpanzés, des babouins et des capucins sont également capables de comparer des relations exprimées par des paires d'objets. Cependant, des doutes persistent quant aux stratégies cognitives qu'ils emploient pour résoudre ces tâches, et notamment l'implication du raisonnement par analogie. Cette thèse a pour objectif (1) de déterminer ces stratégies chez le babouin, (2) d'appréhender les facteurs permettant leur émergence et (3) plus généralement de caractériser les continuités et discontinuités entre l'homme et les primates non humains dans leur capacité à raisonner par analogie. Nous avons conduit trois études chez le babouin de Guinée pour aborder ces questions. La première montre que le traitement relationnel chez le babouin implique, comme chez l'homme, à la fois une prise en compte des propriétés des objets et de leurs relations. La seconde étude montre que les babouins utilisent le raisonnement par analogie pour résoudre une tâche d'appariement relationnel puisqu'ils traitent trois niveaux d'informations ; à savoir (1) les objets, (2) les relations entre objets et (3) des relations entre ces relations. La troisième étude montre leur capacité à traiter des relations multidimensionnelles dans une version plus complexe de la tâche d'appariement relationnel. Dans une perspective évolutive, nous discutons des implications de ces travaux du point de vue des continuités et discontinuités entre l'homme et les primates non humains dans leurs capacités d'analogie. / Analogical reasoning is a cornerstone aspect of human cognition, often considered to be human specific. Recent experiments using relational matching-to-sample (RMTS) tasks suggest that chimpanzees, baboons and capuchin monkeys can understand and compare the relations expressed between and within pairs of objects. However, the exact strategies used by these species to solve analogy problem remain unclear at this point. We conducted three studies exploring different aspects of analogical reasoning in the Guinea baboons (Papio papio). The first study showed that (1), as in human, relational processing in baboons involves the processing of both perceptive and relational information, and that (2) the relative contribution of these two types of processing depends on the number of items illustrating each relation during training. The second study showed that the cognitive strategy developed by baboons in a RMTS task involves analogical reasoning. The third study emphasized the ability of baboons to process multidimensional relations in a more complex version of the RMTS task. Altogether, these findings from suggest that (1) baboons are able to use analogical reasoning, to solve at least tasks involving perceptive relations; (2) relational processing and further analogical reasoning skills depend on their previous experience with the different relations. We shall discuss the potential implications of those findings, and the continuity and discontinuity of analogical reasoning skills found in human and nonhuman primates.

Le but de cette étude exploratoire est de déterminer si le test de concordance de script est un instrument capable de mesurer le raisonnement clinique d’étudiantes en formation et s’il peut déceler des différences entre le raisonnement clinique des novices et des expertes de la profession. Un TCS adapté au domaine des sciences infirmières et portant sur des champs particuliers de la pédiatrie a été administré à des candidates revendiquant différents niveaux d’expérience : des expertes du domaine (n=15), des infirmières (n=40) et des étudiantes de troisième année de formation (n=30). D’une durée de 20 minutes, le test a été pratiqué en ligne; il comptait 15 scénarios et 45 items au total. Les scores des étudiantes étaient significativement inférieurs aux scores des infirmières et des expertes. Le TCS est un instrument fiable et utile lorsqu’il s’agit de déterminer, en termes de raisonnement clinique, une différence de niveau entre la novice et l’experte.

L’objectif de ce travail est d’étudier les résonances de la pensée scientifique dans les récits fantastiques du XIX et XX siècle et de revivifier, du même coup, l'approche théorique du genre fantastique. L'axe dorsal de ma thèse consiste à étudier le rapport du genre à la raison (la plasticité de ce concept permet de dépasser les découpages habituels entre science et non-science). Si l'on résume la position de la critique sur la question, on aboutit au constat suivant : le Fantastique met en exergue les carences de la raison. Il en souligne les défaillances, les limitations, les insuffisances, au nom de l’inexhaustible complexité du réel. L'image que le Fantastique véhicule de la raison est donc passablement négative, mais elle est liée à une conception classique de la rationalité, aujourd'hui périmée. L'image de la raison que proposent les sciences a considérablement évolué. Quelques unes des révolutions conceptuelles les plus marquantes du XX siècle dans le domaine des sciences physiques et des mathématiques sont à l'origine de cette évolution, elles marquent le passage de la raison classique (absolutiste) à la raison contemporaine (relativiste et complexifiée). On ne peut s'attendre à ce que le miroir de sorcière reflète une image irréprochable et normative de la raison, mais on ne saurait se satisfaire d'une image strictement négative. Le Fantastique ne se tient pas, contrairement à ce qu'on pourrait croire, à l'écart des vertiges de la science moderne. Il évolue en symbiose avec elle. Je m'attache à montrer, tout au long de ce travail, que la littérature fantastique restitue une image positive mais impure de la raison. Cette dernière dérive des « monstres » que la raison engendre au XX siècle : relativité einsteinienne, mécanique quantique, théorème de Gödel, relativité einsteinienne, logiques non-classiques (entre autres). Dans un récit fantastique, la raison strictement déductive, rigide et totalisante est systématiquement battue en brèche. Mais ce n'est pas là la preuve que la raison a atteint ses limites. La pensée scientifique nous enseigne que ce peut être, au contraire, le signe d'une extension de la raison. Cette réhabilitation de la raison – de son versant « impur » – qui tient compte du contexte scientifique actuel a le mérite de réactualiser le genre fantastique et lui confère une nouvelle unité. Cette réactualisation passe par une modification substantielle du statut du surnaturel : il n’est plus tenu pour un principe désorganisateur mais considéré comme agent de la rationalité. / The purpose of this doctoral dissertation is to analyze the reflection of scientific thinking in the Fantastic literature of the nineteenth and twentieth centuries, and, by the same token, to re-invigorate the theoretical approach to the Fantastic genre. The backbone of my thesis is to study the connection between reason and the Fantastic genre. In summarizing the specialists on this subject, one comes to the following conclusion: the Fantastic genre highlights the insufficiency of reason. It underlines the shortcomings, restrictions and failures of reason in the name of the inexhaustible complexity of reality. The image of reason that the Fantastic genre conveys is quite negative, although connected to a classical concept of rationality, nowadays obsolete. Some key revolutionary concepts of the twentieth century in the fields of physics and mathematics have significantly changed the way we regard reason. This progress marks the passage from classical reason (absolutist) to contemporary reason (relativist and a high degree of complexity). It could not be expected that Fantastic literature reflect a faultless and canonical image of reason, but a strictly negative image is unsatisfactory. The Fantastic genre is not insensitive, contrary to usual belief, to the amazing discoveries of modern science. It evolves in symbiosis with modern science. My goal is to show throughout this work that Fantastic literature gives a positive but troubled image of reason. The latter comes from the “monsters” that were invented by science during the twentieth century: Einstein’s relativity, quantum mechanics, Gödel’s theorem, non- classical logics (among others).In a Fantastic tale, strictly deductive reasoning, unbending and all-knowing is systematically defeated. But this is not proof that reason has reached its limits. Scientific thinking teaches us that it can be, on the contrary, a sign of an extension of reason. This rehabilitation of reason –of its "troubled" side– that takes into account the current scientific context updates the Fantastic genre and gives it a new unity. This updating means a substantial modification of the status of the supernatural: one does not consider it as a disorganizing agent but as an agent of rationality

La modélisation et la résolution de problèmes sous contraintes constituent un domaine majeur enIA. Par la nature diverse des contraintes, différents formalismes de représentation ont été proposés pour les exprimer de manière simple et compacte tout en garantissant une efficacité des outils de résolutions associés. Les formules propositionnelles, les réseaux de contraintes discrets (RCD) et qualitatives (RCQ) sont des cadres de modélisation répondant à ces critères. Pour les informations temporelles ou spatiales, les RCQ constituent un modèle de choix avec de nombreuses applications comme l’ordonnancement de tâches, la planification temporelle ou spatiale, les systèmes d’informations géographiques. Nos contributions visent à étudier les liens des RCQ vers les RCD et les formules propositionnelles, afin d’adapter les outils issus des divers domaines et de proposer de nouvelles approches. Tout d’abord, nous nous concentrons sur l’aspect structurel des RCQ, en adaptant la méthode de la composition faible dans les différents cadres. Nous exploitons ensuite les propriétés des classes traitables de certains formalismes qualitatifs, afin de définir une transformation vers la logique propositionnelle. En exploitant la transformation vers les RCD, nous proposons une méthode incomplète facilitant la preuve de l’incohérence des RCQ par la relaxation de la propriété de composition faible, puis nous complétons l’approche en exploitant les classes traitables. Enfin, ces études nous conduisent à proposer une nouvelle forme de substituabilité locale, dont les détections statique et dynamique permettent d’obtenir une amélioration algorithmique dans le cadre des RCD. / Modelling and solving constraints problems is a major domain in Artificial Intelligence. By the various natures of the constraints, different formalisms were proposed to express them in a simple andcompact way while guaranteeing the effectiveness of the associated solution tools. Propositional formulae, discrete constraint networks (DCNs), and qualitative constraint networks (QCNs) are the well known frameworks that guaranty these requirements. For temporal or space information, QCNs constitute a model of choice with many real world applications such as scheduling, temporal or spatial planning and geographic information systems. Our contributions aim at studying the links between QCNs, DCNs and propositional formulas, in order to adapt the tools developed in these fields and to propose new approaches. First of all, we focus on the structural aspects of QCNs, by transforming weak composition within the various frameworks. In order to define a transformation towards propositional logic we then exploit the properties of tractable classes of some qualitative formalism. Exploiting the transformation towards DCNs, we propose an incomplete method simplifying the proof of the inconsistency for QCNs by relaxing the weak composition property. Then, we propose a complete approach thanks to tractable classes. Finally, these studies lead us to propose a new form of local substitutability, whose static and dynamic detections significantly improve search algorithms for DCNs.

La thèse s'intéresse à l'application et l'extension des méthodes SAT et SMT pour la biologie des systèmes. Plus particulièrement sont visées les problématiques issues de l'étude des réseaux métaboliques. L'état de l'art dans l'étude des réseaux métaboliques utilise de la programmation linéaire qui est extrêmement efficace pour lister toutes les solutions. Afin de pouvoir concurrencer la programmation linéaire nous nous orientons non pas vers l'énumération de toutes les voies mais vers l'énumération de voies satisfaisant des contraintes spécifiées par l'utilisateur. L'utilisation de SMT et les contraintes supplémentaires nous permettent d'utiliser des optimisations inaccessibles à la programmation linéaire. / The thesis focuses on the application and extension SAT and SMT methods for systems biology. In particular, will be targeted issues from the study of metabolic networks . The state of the art in the study of metabolic networks use linear programming that is extremely effective to list all the solutions. In order to compete with linear programming we do not try to list all pathway but enumerate pathway satisfying constraints specified by the user. The use of SMT and the additional constraints allow us to use inaccessible optimization for linear programming.

Dans le monde d’aujourd’hui de multiples acteurs de la technologie numérique produisent des quantités infinies de données. Capteurs, réseaux sociaux ou e-commerce, ils génèrent tous de l’information qui s’incrémente en temps-réel selon les 3 V de Gartner : en Volume, en Vitesse et en Variabilité. Afin d’exploiter efficacement et durablement ces données, il est important de respecter la dynamicité de leur évolution chronologique au moyen de deux approches : le polymorphisme d’une part, au moyen d’un modèle dynamique capable de supporter le changement de type à chaque instant sans failles de traitement ; d’autre part le support de la volatilité par un modèle intelligent prenant en compte des données clé seulement interprétables à un instant « t », au lieu de traiter toute la volumétrie des données actuelle et historique.L’objectif premier de cette étude est de pouvoir établir au moyen de ces approches une vision intégratrice du cycle de vie des données qui s’établit selon 3 étapes, (1) la synthèse des données via la sélection des valeurs-clés des micro-données acquises par les différents opérateurs au niveau de la source, (2) la fusion en faisant le tri des valeurs-clés sélectionnées et les dupliquant suivant un aspect de dé-normalisation afin d’obtenir un traitement plus rapide des données et (3) la transformation en un format particulier de carte de cartes de cartes, via Hadoop dans le processus classique de MapReduce afin d’obtenir un graphe défini dans la couche applicative.Cette réflexion est en outre soutenue par un prototype logiciel mettant en oeuvre les opérateurs de modélisation sus-décrits et aboutissant à une boîte à outils de modélisation comparable à un AGL et, permettant une mise en place assistée d'un ou plusieurs traitements sur BigData / Nowadays, multiple actors of Internet technology are producing very large amounts of data. Sensors, social media or e-commerce, all generate real-time extending information based on the 3 Vs of Gartner: Volume, Velocity and Variety. In order to efficiently exploit this data, it is important to keep track of the dynamic aspect of their chronological evolution by means of two main approaches: the polymorphism, a dynamic model able to support type changes every second with a successful processing and second, the support of data volatility by means of an intelligent model taking in consideration key-data, salient and valuable at a specific moment without processing all volumes of history and up to date data.The primary goal of this study is to establish, based on these approaches, an integrative vision of data life cycle set on 3 steps, (1) data synthesis by selecting key-values of micro-data acquired by different data source operators, (2) data fusion by sorting and duplicating the selected key-values based on a de-normalization aspect in order to get a faster processing of data and (3) the data transformation into a specific format of map of maps of maps, via Hadoop in the standard MapReduce process, in order to define the related graph in applicative layer.In addition, this study is supported by a software prototype using the already described modeling tools, as a toolbox compared to an automatic programming software and allowing to create a customized processing chain of BigData

L'association de robots personnels et d’intelligences ambiantes est une nouvelle voie pour l’aide à domicile. Grâce aux appareils intelligents de l'environnement, les robots pourraient fournir un service de haute qualité. Cependant, des verrous existent pour la perception, la cognition et l’action.En effet, une telle association cause des problèmes de variétés, qualités et conflits, engendrant des données hétérogènes et incertaines. Cela complique la perception du contexte et la cognition, i.e. le raisonnement et la prise de décision. La connaissance du contexte est utilisée par le robot pour effectuer des actions. Cependant, il se peut qu’il échoue, à cause de changements de contexte ou par manque de connaissance. Ce qui annule ou retarde son plan. La littérature aborde ces sujets, mais n’offre aucune solution viable et complète. Face à ces verrous, nous avons proposé des contributions, autour à la fois du raisonnement et de l’apprentissage. Nous avons d’abord conçu un outil d'acquisition de contexte qui gère et modélise l’incertitude. Puis, nous avons proposé une technique de détection de situations anormales à partir de données incertaines. Ensuite, un planificateur dynamique, qui considère les changements de contexte, a été proposé. Enfin, nous avons développé une méthode d'apprentissage par renforcement et expérience pour éviter proactivement les échecs.Toutes nos contributions ont été implémentées et validées via simulation ou à l’aide d’un robot dans une plateforme d’espaces intelligents / Personal robots associated with ambient intelligence are an upcoming solution for domestic care. In fact, helped with devices dispatched in the environment, robots could provide a better care to users. However, such robots are encountering challenges of perception, cognition and action.In fact, such an association brings issues of variety, data quality and conflicts, leading to the heterogeneity and uncertainty of data. These are challenges for both perception, i.e. context acquisition, and cognition, i.e. reasoning and decision making. With the knowledge of the context, the robot can intervene through actions. However, it may encounter task failures due to a lack of knowledge or context changes. This causes the robot to cancel or delay its agenda. While the literature addresses those topics, it fails to provide complete solutions. In this thesis, we proposed contributions, exploring both reasoning and learning approaches, to cover the whole spectrum of problems. First, we designed novel context acquisition tool that supports and models uncertainty of data. Secondly, we proposed a cognition technique that detects anomalous situation over uncertain data and takes a decision in accordance. Then, we proposed a dynamic planner that takes into consideration the last context changes. Finally, we designed an experience-based reinforcement learning approach to proactively avoid failures.All our contributions were implemented and validated through simulations and/or with a small robot in a smart home platform

No description available.