Ce mémoire a pour objectif de clarifier la position de Timothy Williamson dans la problématique de la norme de l’assertion. Le premier chapitre permet de circonscrire la perspective strictement épistémologique adoptée par Williamson. Le second chapitre met en relief trois thèses de Williamson qui portent sur la connaissance et permet de dégager les grandes lignes de l’explication épistémique qu’il propose pour l’assertion. La première de ces thèses fait de la connaissance la norme de l’assertion dans le sens où la connaissance est la seule règle constitutive de l’assertion. La seconde thèse examinée fait de la connaissance un état mental factif. Il s’agit d’un état mental particulier qui met en relation causale le monde et l’esprit. La dernière thèse mise en relief défend l’idée selon laquelle la connaissance est équivalente aux éléments probants de l’agent. Le mémoire a pour objectif de démontrer que ces thèses comprises ensembles impliquent que la position de Williamson est radicalement réaliste, invariantiste et externaliste. Le troisième et dernier chapitre cherche à contraster la position de Williamson avec celle de Keith DeRose dans le but de clarifier les conséquences conceptuelles de l’analyse de Williamson. Les principales conclusions à tirer du mémoire sont les suivantes : l’explication épistémique de l’assertion apportée par Williamson est à la fois robuste, informative et ne peut être importée que dans un cadre radicalement réaliste.

The present study aims at analyzing the so-called Tarski proposal, a proposal about which objects should be considered as logical. My analysis has two parts: the first part, more historically oriented, compares Tarskis evolving methodology to Carnaps and Quines, in particular with the dierent conceptions of these latter two regarding that which they called explication. The second, more argumentative part, attempts to show that the most natural environment for this proposal is a platonic metaphysics of a neo-Fregean variety. / O presente estudo tem por objetivo analisar a assim chamada proposta de Tarski, a qual visa fornecer uma resposta à pergunta: quais objetos são lógicos? Nossa análise consiste em duas partes: uma primeira, mais histórica, compara a metodologia de Tarski àquela de Carnap e de Quine, se atentando principalmente às diferentes acepções que cada um deles atribui à noção de explicação (explication). A segunda parte, mais argumentativa, procura mostrar que um ambiente natural para essa proposta é uma metafísica platônica de franca inspiração neo-fregeana.

Cette thèse, fruit d'une collaboration LORIA / INRA, porte sur l'étude du raisonnement à partir de cas pour aider à l'interprétation d'organisations spatiales agricoles. Les agronomes effectuent des enquêtes auprès d'exploitants agricoles, afin d'appréhender les relations entre structure spatiale et fonctionnement des exploitations. Des modèles graphiques, appelés chorèmes d'exploitations, permettent de synthétiser ces données d'enquêtes. Sur la base de ces chorèmes, nous avons modélisé l'organisation spatiale des exploitations par des graphes bipartites aux sommets et aux arc étiquetés par des concepts. A certains sous-graphes, décrivant des structures spatiales intéressantes, sont adjoints des explications, décrivant l'organisation fonctionnelle, pour constituer des cas. La modélisation conjointe a abouti à la reconception des chorèmes et à la constitution d'une base de cas et de hiérarchies de concepts du domaine. Le système de RàPC ROSA permet de proposer des explications de fonctionnement à un graphe d'organisation spatiale en utilisant les cas enregistrés. La comparaison des graphes s'appuie sur le mécanisme des logiques de description : étant donné un graphe d'exploitation cible, on lui associe des graphes sources de la base de cas au moyen d'opérations de généralisation et de spécialisation.

Cette thèse vise à étudier l’interaction pédagogique par visioconférence entre sept futurs professeurs de français langue étrangère en formation professionnelle à l’Université de Lyon et douze apprenants de français langue étrangère inscrits dans une école de commerce à Dublin City University. A partir de données écologiques, nous avons construit un corpus audiovisuel de vingt-huit séances et de quinze heures et demie d’interactions. Par une démarche inductive, en nous appuyant sur des méthodes développées dans le cadre de l’analyse conversationnelle, nous avons identifié 295 séquences d’explication lexicale. Nous avons analysé celles-ci par une approche multimodale qui adopte une vue holistique de la communication et prend en compte l’utilisation de l’ensemble des ressources sémiotiques sans privilégier par défaut le langage oral. Nos analyses multimodales montrent de quelles façons les enseignants utilisent les ressources à leur disposition pour se focaliser sur la forme des items lexicaux, pour se focaliser sur leur sens et pour impliquer les apprenants dans les séquences d’explication. Nos données permettent également de mener des comparaisons interindividuelles grâce au fait que plusieurs enseignants, ayant reçu les mêmes consignes et se trouvant dans des situations similaires, expliquent les mêmes items lexicaux. / This thesis aims to study videoconferenced pedagogical interaction between seven future teachers of French who are undergoing professional development at the University of Lyon and twelve learners of French who are enrolled in a business school at Dublin City University. From naturally occurring interaction, we have constructed an audiovisual corpus comprised of twenty-eight sessions and fifteen and a half hours of interaction. Through an inductive approach, and relying on methods developed in the field of conversation analysis, we have identified 295 lexical explanation sequences. We have analyzed them using a multimodal approach which adopts a holistic view of communication and takes into consideration the entire palette of semiotic resources used without automatically prioritizing spoken language. Our multimodal analyses show the ways in which the teacher trainees use the resources at their disposal to focus on the form and meaning of lexical items as well as how they involve their learners in the explanation sequences. Our corpus also allows us to conduct an interindividual comparison due to the fact that several teacher trainees, having received the same instructions and being put in similar situations, explain the same lexical items.

Cette thèse qui se veut une contribution à l’étude des textes des grammairiens arabes portera sur l’orientation explicative qui caractérisait les grammairiens du 4ème/ 10ème siècle. Étant donné que notre intervention se limitera à la morpho-phonologie, nous avons choisi comme auteur Ibn Ğinnî ; considéré comme le grammairien le plus versé dans cette discipline. Nous tenterons d’explorer les principes qui régissent selon Ibn Ğinnî la morpho-phonologie. Une étude détaillée sera consacrée à la notion de lourdeur comme principe fondamental chez Ibn Ğinnî qui explique, d’une forme ou d’une autre, tout phénomène morpho-phonologique. Un recours à d’autres disciplines voisines où la méthodologie adoptée est plus explicite permettra de décoder le langage d’Ibn Ğinnî dans al-H et d’exploiter les implicites de son texte. Ce travail sur l’histoire de la langue mettra en exergue l’aspect interdisciplinaire comme perspective de recherche sur la grammaire arabe. / This thesis whose aim is to contribute to the study of the texts of the Arabic grammarian will deal with the explanatory orientation which characterised the grammarians of the 4th/10th century. Given that our intervention focuses on morph phonology, we chose as author Ibn Ğinnî, who is considered to be the most well-learned grammarian in this field. We will try to explore the principles, which according to him, governs morph phonology. A more detailed chapter will deal with the notion of heaviness which is a fundamental principle in Ibn Ğinnî and which explains somehow or other any phonological phenomenon. A study of other related subjects where the methodology adopted is more explicit will enable to understand the language of Ibn Ğinnî in Hasâ’is, and to make use of the implicits of314his texts. This work on the language history will highlight the interdisciplinary aspects as a research perspective in the Arabic grammar.

Les bases de connaissances sont des bases de données déductives où la logique est utilisée pour représenter des connaissances de domaine sur des données existantes. Dans le cadre des règles existentielles, une base de connaissances est composée de deux couches : la couche de données qui représentent les connaissances factuelle et la couche ontologique qui incorpore des règles de déduction et des contraintes négatives. L’interrogation de données à l’aide des ontologies est la fonction de raisonnement principale dans ce contexte. Comme dans la logique classique, les contradictions posent un problème à l’interrogation car « d'une contradiction, on peut déduire ce qu'on veut (ex falso quodlibet) ».Récemment, des approches d’interrogation tolérantes aux incohérences ont été proposées pour faire face à ce problème dans le cadre des règles existentielles. Elles déploient des stratégies dites de réparation pour restaurer la cohérence. Cependant, ces approches sont parfois inintelligibles et peu intuitives pour l'utilisateur car elles mettent souvent en œuvre des stratégies de réparation complexes. Ce manque de compréhension peut réduire l’utilisabilité de ces approches car elles réduisent la confiance entre l'utilisateur et les systèmes qui les utilisent. Par conséquent, la problématique de recherche que nous considérons est comment rendre intelligible à l’utilisateur l’interrogation tolérantes aux incohérences. Pour répondre à cette question de recherche, nous proposons d’utiliser deux formes d’explication pour faciliter la compréhension des réponses retournées par une interrogation tolérante aux incohérences. La première est dite de niveau méta et la seconde de niveau objet. Ces deux types d’explication prennent la forme d'un dialogue entre l'utilisateur et le raisonneur au sujet des déductions retournées comme réponses à une requête donnée. Nous étudions ces explications dans le double cadre de l'argumentation fondée sur la logique et de la dialectique formelle, comme nous étudions leurs propriétés et leurs impacts sur les utilisateurs en termes de compréhension des résultats. / Knowledge bases are deductive databases where the machinery of logic is used to represent domain-specific and general-purpose knowledge over existing data. In the existential rules framework a knowledge base is composed of two layers: the data layer which represents the factual knowledge, and the ontological layer that incorporates rules of deduction and negative constraints. The main reasoning service in such framework is answering queries over the data layer by means of the ontological layer. As in classical logic, contradictions trivialize query answering since everything follows from a contradiction (ex falso quodlibet). Recently, inconsistency-tolerant approaches have been proposed to cope with such problem in the existential rules framework. They deploy repairing strategies on the knowledge base to restore consistency and overcome the problem of trivialization. However, these approaches are sometimes unintelligible and not straightforward for the end-user as they implement complex repairing strategies. This would jeopardize the trust relation between the user and the knowledge-based system. In this thesis we answer the research question: ``How do we make query answering intelligible to the end-user in presence of inconsistency?''. The answer that the thesis is built around is ``We use explanations to facilitate the understanding of query answering''. We propose meta-level and object-level dialectical explanations that take the form of a dialogue between the user and the reasoner about the entailment of a given query. We study these explanations in the framework of logic-based argumentation and dialectics and we study their properties and their impact on users.

The present study aims at analyzing the so-called Tarski proposal, a proposal about which objects should be considered as logical. My analysis has two parts: the first part, more historically oriented, compares Tarskis evolving methodology to Carnaps and Quines, in particular with the dierent conceptions of these latter two regarding that which they called explication. The second, more argumentative part, attempts to show that the most natural environment for this proposal is a platonic metaphysics of a neo-Fregean variety. / O presente estudo tem por objetivo analisar a assim chamada proposta de Tarski, a qual visa fornecer uma resposta à pergunta: quais objetos são lógicos? Nossa análise consiste em duas partes: uma primeira, mais histórica, compara a metodologia de Tarski àquela de Carnap e de Quine, se atentando principalmente às diferentes acepções que cada um deles atribui à noção de explicação (explication). A segunda parte, mais argumentativa, procura mostrar que um ambiente natural para essa proposta é uma metafísica platônica de franca inspiração neo-fregeana.

Par quoi peut-on expliquer actuellement ce retour considérable de la philosophie des sciences à la conception de la théorie physique chez Pierre Duhem. Une conception qui est née au sein d’un projet scientifique et qui est destinée à préparer théoriquement la théorie physique de Duhem à savoir la théorie énergétique. L’énergétique ou l’expression effective de la théorie physique idéale, n’a pas pu convaincre par le projet qu’elle apporte à la science physique, toutefois, la conception théorique qui le prépare à réussi à conserver son intérêt et son actualité malgré tous les changements conceptuels dans la philosophie des sciences contemporaine. Par quoi donc, pouvons-nous expliquer la réussite de la conception de la théorie physique malgré l’échec de la théorie physique de Duhem ? Notre thèse est la suivante : la conception théorique de la théorie physique survécue et conserve sa pertinence grâce à la méthodologie qu’elle prépare, au travail conceptuel qu’elle comporte et grâce aux thèses qu’elle défend. Elle est neuve par rapport aux conceptions précédentes et elle est distincte en comparaison avec ses contemporaines. La nouvelle méthodologie présentée par Duhem, nous donne l’occasion de réfléchir de nouveau un problème toujours était liée à la science, mais qui semble insistant plus que jamais à l’époque de Duhem ; c’est le problème de la certitude scientifique. Entre une raison qui défont sa capacité de tout connaitre et tout expliquer en dessinant un schéma exact des lois qui guident la nature, et une raison qui connait ses propres limites et accepte toutes les possibilités de connaissance, ou qui recourt à l’imagination pour faire appel à des modèles qui l’aident à connaitre, la raison se trouve chez Duhem dans la quête d’une méthodologie qui conserve à la science son stature et la protège contre tout dogmatisme et tout scepticisme. L’intersection du travail du savant, de l’historien des sciences et du philosophe chez Pierre Duhem résulte, une conception qui, non seulement persévère dans le temps par son originalité, mais aussi elle est devenue par le travail conceptuelle qu’elle contient une source de nouvelles réflexions et discussions dans la philosophie des sciences contemporaine. / How can we currently explain the important return of the philosophy of science to the concept of physical theory by Pierre Duhem? This concept is born into a science project and prepare theoretically the physical theory of Duhem named energetic theory. The energetic or the effective expression of the ideal physical theory could not convince with the project that she brings to physical science, however, the theoretical concept that prepares them to successfully retain his interest and despite news all conceptual changes in the contemporary philosophy of science. For what, then, can we explain the success of the concept of physical theory despite the failure of the physical theory of Duhem? Our thesis is as follows: the theoretical conception of physical theory survived and remains relevant for favor to the methodology it prepares, the conceptual work involved and the ideas it promotes. It is new compared to previous designs and it is distinct in comparison with its contemporaries. The new methodology presented by Duhem, gives us an opportunity to reflect back to a problem which was always related to science, but that seems more insistent than ever at the time of Duhem, that is the problem of scientific certainty. Between one reason that undo its ability to know everything and explain everything by drawing a diagram of exact laws that guide the nature and reason who knows his own limitations and accepts all the possibilities of knowledge, or that uses the imagination to use templates that help to know, according to Duhem, the reason is in the quest for a methodology that retains its stature in science and protects against dogmatism and skepticism. The intersection of the work of the scientist, the science historian and philosopher Pierre Duhem result in a design that not only perseveres in time for its originality, but also became the conceptual work that contains a source of new ideas and discussions in contemporary philosophy of science

Prédire les performances des requêtes et expliquer les résultats pour assister la consommation de données liées. Notre objectif est d'aider les utilisateurs à comprendre les performances d'interrogation SPARQL, les résultats de la requête, et dérivations sur les données liées. Pour aider les utilisateurs à comprendre les performances des requêtes, nous fournissons des prévisions de performances des requêtes sur la base de d’historique de requêtes et d'apprentissage symbolique. Nous n'utilisons pas de statistiques sur les données sous-jacentes à nos prévisions. Ce qui rend notre approche appropriée au Linked Data où les statistiques sont souvent absentes. Pour aider les utilisateurs des résultats de la requête dans leur compréhension, nous fournissons des explications de provenance. Nous présentons une approche sans annotation pour expliquer le “pourquoi” des résultats de la requête. Notre approche ne nécessite pas de reconception du processeur de requêtes, du modèle de données, ou du langage de requête. Nous utilisons SPARQL 1.1 pour générer la provenance en interrogeant les données, ce qui rend notre approche appropriée pour les données liées. Nous présentons également une étude sur les utilisateurs montrant l'impact des explications. Enfin, pour aider les utilisateurs à comprendre les dérivations sur les données liées, nous introduisons le concept d’explications liées. Nous publions les métadonnées d’explication comme des données liées. Cela permet d'expliquer les résultats en suivant les liens des données utilisées dans le calcul et les liens des explications. Nous présentons une extension de l'ontologie PROV W3C pour décrire les métadonnées d’explication. Nous présentons également une approche pour résumer ces explications et aider les utilisateurs à filtrer les explications. / Our goal is to assist users in understanding SPARQL query performance, query results, and derivations on Linked Data. To help users in understanding query performance, we provide query performance predictions based on the query execution history. We present a machine learning approach to predict query performances. We do not use statistics about the underlying data for our predictions. This makes our approach suitable for the Linked Data scenario where statistics about the underlying data is often missing such as when the data is controlled by external parties. To help users in understanding query results, we provide provenance-based query result explanations. We present a non-annotation-based approach to generate why-provenance for SPARQL query results. Our approach does not require any re-engineering of the query processor, the data model, or the query language. We use the existing SPARQL 1.1 constructs to generate provenance by querying the data. This makes our approach suitable for Linked Data. We also present a user study to examine the impact of query result explanations. Finally to help users in understanding derivations on Linked Data, we introduce the concept of Linked Explanations. We publish explanation metadata as Linked Data. This allows explaining derived data in Linked Data by following the links of the data used in the derivation and the links of their explanation metadata. We present an extension of the W3C PROV ontology to describe explanation metadata. We also present an approach to summarize these explanations to help users filter information in the explanation, and have an understanding of what important information was used in the derivation.

This small-scale study examines the translation of a text about perfumes, focusing on how hyphenated premodifiers in the English source text were translated into Swedish. A quantitative analysis was carried out, where the various premodifying structures present in the source text were identified and categorized according to their individual constituents and frequencies of the various categories were calculated. A similar analysis was also performed regarding the corresponding structures found in the Swedish target text. The results were then compared to and contrasted with other recent studies. In the qualitative analysis, individual examples from the text were analysed more in depth, and the consequences of the translation choices made were discussed. The results demonstrated that English hyphenated premodifiers showed a great deal of structural variety. The most frequent structures were nouns occurring in the left-hand position and ed-participles occurring the right-hand position. A large majority of the hyphenated premodifiers were short, with only 5.5% consisting of three words or more. The results also showed that the most frequent corresponding structure in the Swedish target text were compound adjectives, which comprised 48.1% of all examples. The results of the qualitative analysis pointed at a tendency towards explication, especially when hyphenated premodifiers were restructured to postmodifying phrases and clauses. Furthermore, a tendency to simplify the hyphenated modifiers during the translation process was noted, especially when translating longer, phrasal modifiers. It was noted that many hyphenated premodifiers in the ST were metaphorical in nature. This was sometimes, but not always, also the case in the corresponding TT phrases.