Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2010-2011 / L'analyse de notre rapport à la normativité nécessite que nous répondions non seulement à la question de ce que nous nous devons les uns les autres, question centrale de la morale, mais également à celle de savoir comment nous arrivons à saisir, en commun et dans une multiplicité de contextes, ce que nous nous devons effectivement les uns aux autres. Dans ce mémoire, je chercherai à démontrer que c'est grâce aux affects que les individus arrivent à saisir en commun les enjeux et les obligations qui pèsent sur eux dans une grande variété de contextes. Je poursuivrai un objectif double. D'abord, je souhaite développer une version originale de la thèse épistémique émotiviste, largement inspirée de celle de Jesse Prinz, selon laquelle la disposition à ressentir des émotions est nécessaire pour formuler des jugements moraux. Ensuite, je souhaite offrir une présentation des principales émotions morales discutées dans la littérature philosophique.

Le contextualisme est l'une des approches de la connaissance et des attributions de connaissance les plus discutées à l'heure actuelle. La motivation majeure communément invoquée en sa faveur est sa supposée capacité à fournir une solution satisfaisante au paradoxe sceptique, en proposant de concevoir les conditions de vérité des phrases de connaissance comme variables en fonction du contexte. Si sa visée prioritaire est d'ordre épistémologique, cette conception n'en a donc pas moins d'importantes implications pour la philosophie du langage. <br />Dans ce travail, nous examinons un certain nombre des principales objections, tant d'ordre linguistique qu'épistémologique, adressées à l'encontre de la forme dominante de contextualisme. Nous nous proposons de défendre une approche alternative du paradoxe sceptique, qui diffère de l'orthodoxie contextualiste sur plusieurs questions, dont celles de l'indexicalité du terme de connaissance, de l'analyse de la connaissance ordinaire, de la connaissance anti-sceptique, de l'importance du contexte du sujet, de l'accomplissement épistémique, et de la clôture et l'extensibilité déductive de la connaissance.

Dans les logiques épistémiques, la connaissance est généralement modélisée par un graphe de mondes possibles, qui correspondent aux alternatives à l'état actuel du monde. Ainsi, les arêtes entre les mondes représentent l'indistinguabilité. Connaître une proposition signifie que cette proposition est vraie dans toutes les alternatives possibles. Les informaticiens théoriques ont cependant remarqué que cela a conduit à plusieurs problèmes, à la fois intuitifs et techniques : plus un agent est ignorant, plus elle a d'alternatives à examiner ; les modèles peuvent alors devenir trop grands pour la vérification de système. Ils ont récemment étudié comment la connaissance pourrait être réduite à la notion de visibilité. Intuitivement, l'idée de base est que quand un agent voit quelque chose, alors elle sait sa valeur de vérité. A l'inverse, toute combinaison de valeurs de vérité des variables non observables est possible pour l'agent. Ces informations d'observabilité permettent de reconstituer la sémantique standard de la connaissance : deux mondes sont indistinguables pour un agent si et seulement si chaque variable observée par cet agent a la même valeur dans les deux mondes. Notre objectif est de démontrer que les logiques épistémiques fondées sur la visibilité constituent un outil approprié pour plusieurs applications importantes dans le domaine de l'intelligence artificielle. Dans le cadre actuel de ces logiques de visibilité, chaque agent a un ensemble de variables propositionnelles qu'elle peut observer ; ces visibilités sont constantes à travers le modèle. Cela accompagne une hypothèse forte : les visibilités sont connues de tous, et sont même connaissance commune. De plus, la construction de la connaissance à partir de la visibilité entraîne des validités contre-intuitives, la plus importante étant que l'opérateur de la connaissance distribue sur les disjonctions de littéraux : si un agent sait que p ou q est vrai, alors elle sait que p est vrai ou que q est vrai, parce qu'elle peut les voir. Dans cette thèse, nous proposons des solutions à ces deux problèmes et les illustrons sur diverses applications telles que la planification épistémique ou les jeux booléens épistémiques, et sur des exemples plus spécifiques tels que le problème des enfants sales ou le problème du bavardage. Nous étudions en outre des propriétés formelles des logiques que nous concevons, fournissant axiomatisations et résultats de complexité. / In epistemic logic, knowledge is usually modelled by a graph of possible worlds, representing the alternatives to the current state of the world. So edges between worlds stand for indistinguishability. To know a proposition means that that proposition is true in all possible alternatives. Theoretical computer scientists however noticed that this led to several issues, both intuitively and technically: the more an agent is ignorant, the more alternatives she must consider; models may then become too big for system verification. They recently investigated how knowledge could be reduced to the notion of visibility. Intuitively, the basic idea is that when an agent sees something, then she knows its truth value. The other way round, any combination of truth values of the non-observable variables is possible for the agent. Such observability information allows us to reconstruct the standard semantics of knowledge: two worlds are indistinguishable for an agent if and only if every variable observed by her has the same value in both worlds. We aim to demonstrate that visibility-based epistemic logics provide a suitable tool for several important applications in the field of artificial intelligence. In the current settings of these logics of visibility, every agent has a set of propositional variables that she can observe; these visibilities are constant across the model. This comes with a strong assumption: visibilities are known to everyone, and are even common knowledge. Moreover, constructing knowledge from visibility brings about counter-intuitive validities, the most important being that the knowledge operator distributes over disjunction of literals: if an agent knows that p or q is true, then she knows that p is true or that q is true because she can see them. In this thesis, we propose solutions to these two problems and illustrate them on various applications such as epistemic planning or epistemic boolean games, and on more specific examples such as the muddy children problem or the gossip problem. We moreover study formal properties of the logics we design, providing axiomatizations and complexity results.

Cette thèse de doctorat est une investigation des logiques de la connaissance, de la croyance et de la dynamique d'information, en utilisant des outils de topologie et logique épistémique (dynamique). La partie I concerne les interprétations fondées sur des preuves de croyances justifiées et connaissance. Commencer par une interprétation topologique des connaissances désormais standard en tant qu'opérateur intérieur, nous développons, de manière progressive, un cadre qui (1) peut parler de preuves non seulement sémantiquement, mais aussi le niveau syntaxique, rendant ainsi la notion de preuve plus explicite; (2) prend la preuve comme la notion la plus primitive, et définit la croyance et la connaissance purement basé sur elle. Dans la partie II de cette dissertation, nous nous concentrons sur notions de connaissances ainsi que divers types de dynamique de l'information comprenant apprendre de nouvelles preuves. Plus précisément, cette partie est centrée autour des notions de certaines connaissances et savoir-faire en tant que «connaissances potentielles», ainsi que les liens entre la notion abstraite d'effort épistémique englobant toute méthode l'acquisition de preuves et les attitudes dynamiques bien étudiées telles que les annonces publiques arbitraires. Pour résumer, cette thèse réinterprète d'une part certaines logiques épistémiques et doxastiques existantes et leurs extensions dynamiques d'un point de vue topologique, fournissant une interprétation fondée sur des preuves. D'un autre côté, elle utilise des outils topologiques pour affiner et étendre les analyses antérieures, conduisant à de nouvelles logiques de la dynamique des preuves et de l'information / This dissertation brings together epistemic logic and topology. It studies formal representations of the notion of evidence and its link to justification, justified belief, knowledge, and evidence-based information dynamics, by using tools from topology and (dynamic) epistemic logic. Part I is concerned with evidence-based interpretations of justified belief and knowledge. Starting with a by-now-standard topological interpretation of knowledge as the interior operator, we develop, in a gradual manner, a topological framework that (1) can talk about evidence not only semantically, but also at the syntactic level, thereby making the notion of evidence more explicit; (2) takes evidence as the most primitive notion, and defines belief and knowledge purely based on it, thereby linking these two crucial notions of epistemology at a deeper, more basic level. In Part II of this dissertation, we focus on notions of knowledge as well as various types of information dynamics comprising learning new evidence. More precisely, this part is centered around the notions of absolutely certain knowledge and know ability as "potential knowledge", as well as the connections between the abstract notion of epistemic effort encompassing any method of evidence acquisition and the well-studied dynamic attitudes such as public and arbitrary public announcements. To sum up, this dissertation on one hand re-interprets some existing epistemic and doxastic logics and their dynamic extensions from a topological perspective, providing an evidence-based interpretation. On the other hand, it uses topological tools to refine and extend earlier analysis, leading to novel logics of evidence and information dynamics

Cette thèse explore les ressources cognitives que mobilisent des élèves ingénieurs dans un APP (Apprentissage par problème) dans une tâche de conception d'un objet technique. La situation-problème à laquelle ces élèves sont confrontés est constituée par un système technique inédit de réfrigération sans apport extérieur d'énergie. Dans cet apprentissage, les élèves doivent concevoir l'objet technique et apprendre des concepts en thermodynamique. Deux groupes d'élèves sont comparés : le premier dispose d'un modèle analogique d'une situation connue pour aborder la situation nouvelle, le second ne dispose que du texte. Les questions de recherches : Que construisent ces élèves comme connaissances ?Qu'apportent ces deux types d'apprentissage (l'apprentissage par une situation connue et l'apprentissage par le texte) ? Quels sont les obstacles que rencontrent ces élèves ? Les hypothèses : un apprentissage par une situation connue conduit à la construction de connaissances opératives (des concepts outils). Un apprentissage par le texte conduit à la construction de connaissances décontextualisées (des concepts objets). Un apprentissage par les situations dans un dispositif didactique conduit ultérieurement à la construction de concepts catégoriels. Ces deux types d'apprentissage impliquent l'obstacle épistémologique dans la construction des concepts dans leurs deux fonctions : outil et objet.

L'analyse des systèmes de grande taille est confrontée à des difficultés d'ordre syntaxique et sémantique : comment observer un million d'entités distribuées et asynchrones ? Comment interpréter le désordre résultant de l'observation microscopique de ces entités ? Comment produire et manipuler des abstractions pertinentes pour l'analyse macroscopique des systèmes ? Face à l'échec de l'approche analytique, le concept d'émergence épistémique - relatif à la nature de la connaissance - nous permet de définir une stratégie d'analyse alternative, motivée par le constat suivant : l'activité scientifique repose sur des processus d'abstraction fournissant des éléments de description macroscopique pour aborder la complexité des systèmes. Cette thèse s'intéresse plus particulièrement à la production d'abstractions spatiales et temporelles par agrégation de données. Afin d'engendrer des représentations exploitables lors du passage à l'échelle, il apparaît nécessaire de contrôler deux aspects essentiels du processus d'abstraction. Premièrement, la complexité et le contenu informationnel des représentations macroscopiques doivent être conjointement optimisés afin de préserver les détails pertinents pour l'observateur, tout en minimisant le coût de l'analyse. Nous proposons des mesures de qualité (critères internes) permettant d'évaluer, de comparer et de sélectionner les représentations en fonction du contexte et des objectifs de l'analyse. Deuxièmement, afin de conserver leur pouvoir explicatif, les abstractions engendrées doivent être cohérentes avec les connaissances mobilisées par l'observateur lors de l'analyse. Nous proposons d'utiliser les propriétés organisationnelles, structurelles et topologiques du système (critères externes) pour contraindre le processus d'agrégation et pour engendrer des représentations viables sur les plans syntaxique et sémantique. Par conséquent, l'automatisation du processus d'agrégation nécessite de résoudre un problème d'optimisation sous contraintes. Nous proposons dans cette thèse un algorithme de résolution générique, s'adaptant aux critères formulés par l'observateur. De plus, nous montrons que la complexité de ce problème d'optimisation dépend directement de ces critères. L'approche macroscopique défendue dans cette thèse est évaluée sur deux classes de systèmes. Premièrement, le processus d'agrégation est appliqué à la visualisation d'applications parallèles de grande taille pour l'analyse de performance. Il permet de détecter les anomalies présentes à plusieurs niveaux de granularité dans les traces d'exécution et d'expliquer ces anomalies à partir des propriétés syntaxiques du système. Deuxièmement, le processus est appliqué à l'agrégation de données médiatiques pour l'analyse des relations internationales. L'agrégation géographique et temporelle de l'attention médiatique permet de définir des évènements macroscopiques pertinents sur le plan sémantique pour l'analyse du système international. Pour autant, nous pensons que l'approche et les outils présentés dans cette thèse peuvent être généralisés à de nombreux autres domaines d'application.

MARINO NETO, Francisco. A manifestação da modalidade epistêmica em narrativas orais. 2006, 89f. Dissertação (Mestrado em Linguística) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-Graduação em Linguística, Fortaleza-CE, 2006. / Submitted by nazareno mesquita (nazagon36@yahoo.com.br) on 2012-07-05T14:22:49Z No. of bitstreams: 1 2006_diss_FMNETO.pdf: 371597 bytes, checksum: eba4f5dab2d428c5761bf5ac6184d1d7 (MD5) / Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2013-10-10T14:04:56Z (GMT) No. of bitstreams: 1 2006_diss_FMNETO.pdf: 371597 bytes, checksum: eba4f5dab2d428c5761bf5ac6184d1d7 (MD5) / Made available in DSpace on 2013-10-10T14:04:56Z (GMT). No. of bitstreams: 1 2006_diss_FMNETO.pdf: 371597 bytes, checksum: eba4f5dab2d428c5761bf5ac6184d1d7 (MD5) Previous issue date: 2006 / A presente pesquisa tem o objetivo de proceder a uma análise da manifestação da modalidade dita epistêmica (aquela que se circunscreve no eixo do conhecimento, em um continuum entre a certeza e a não-certeza, entre certo e possível) em narrativas orais, especificamente as narrativas de experiência pessoal e as narrativas recontadas, do Corpus Discurso & Gramática. A língua falada e escrita na cidade de Natal (FURTADO DA CUNHA, 1998). A investigação tem suporte na Gramática Funcional, assumindo que os enunciados se constituem em camadas que representam instâncias dos processos de modalização (DIK, 1997; HENGEVELD, 1987, 1988). Os resultados desta análise dizem respeito, primeiramente, à freqüência dos modalizadores epistêmicos nos dois tipos de narrativa; nesse caso, observou-se maior freqüência nas narrativas recontadas. Ainda com relação aos dois tipos de narrativa, ao se avaliar o nível de comprometimento no uso dos modalizadores epistêmicos, os resultados indicaram que os informantes tenderam bem mais para o descomprometimento com a veracidade dos conteúdos relatados. Nas narrativas orais, o escopo da modalização teve maior freqüência no nível da proposição; a segunda maior freqüência é relativa ao nível do termo e, por último, a modalização menos freqüente foi a que incidiu sobre a predicação. Com relação ao nível de descomprometimento relativo ao escopo da modalização epistêmica, a maior incidência deu-se no nível do termo, depois no da proposição e, finalmente, a modalização incidiu, com menor freqüência, no nível da predicação. Quantos aos meios lingüísticos utilizados para a modalização epistêmica nas narrativas orais, constatou-se a predominância do verbo, seguido do advérbio; o adjetivo, o substantivo e o pronome apresentaram freqüência bem reduzida. Conforme hipótese levantada, a narrativa de experiência pessoal apresentou menor índice de modalização. Em termos proporcionais, no entanto, o nível de descomprometimento foi menor nas narrativas recontadas. A qualificação epistêmica da proposição excedeu bastante a modalização epistêmica objetiva. / Cette recherche vise à procéder à une analyse de la catégorie modalité et à l’évaluation de quelques manifestations de la modalité dite épistémique (celle qui se situe dans l’axe de la connaissance, dans le continuum entre la certitude et l’incertitude, entre le certain et le possible) dans des récits oraux, spécifiquement les récits d’expérience personnelle et les récits racontés. Cette recherche se base sur la Grammaire fonctionnaliste. L’investigation fonctionnaliste de la catégorie modalité assure que les énoncés se constituent de couches qui représentent les instances des processus de la modalisation, d’après Dik (1997) et Hengeveld (1987, 1988). Les résultats de cette analyse concernent d’abord la fréquence des modalisateurs épistémiques. Dans ce cas, on a observé une fréquence plus élevée dans les récits racontés.En parlant encore des deux types de récits, lorsqu’on a évalué le niveau d’engagement par rapport à l’usage des modalisateurs épistimiques, les résultats ont indiqué que les informateurs ont bien plus tendu au dégagement de la véracité de ce qu’ils racontent. Dans les récits oraux, la portée de la modalisation a présenté une fréquence plus élevée au niveau de la proposition. La deuxième fréquence plus élevée se rapporte au niveau du terme. En dernier, la modalisation la moins fréquente, c’est celle dont l’incidence est retombée sur la prédication. En ce qui concerne le niveau de dégagement touchant la portée de la modalisation épistémique, on a remarqué la plus haute fréquence au niveau du terme, ensuite au niveau de la proposition et, finalement, la plus basse fréquence a atteint le niveau de la prédication. Quant aux moyens linguistiques utilisés pour la modalisation épistémique dans les récits oraux, on constaté la prédominance du verbe; en deuxième place, on a l’adverbe; l’adjectif, le nom e le pronom ont présenté la fréquence bien réduite. D’après l’hypothèse émise, le récit d’expérience personnelle a présenté le plus bas indice de modalisation; par contre, proportionnellement, le niveau de dégagement a été plus bas dans les récits racontés. La qualification épistémique de la proposition a beaucoup excédé la modalisation épistémique objective.

La logique Here-and-there (HT) est une logique monotone à trois valeurs, intermédiaire entre les logiques intuitionniste et classique. La logique de l'équilibre est un formalisme non-monotone dont la sémantique est donnée par un critère de minimalisation sur les modèles de la logique HT. Ce formalisme est fortement lié à la programmation orientée ensemble réponse (ASP), un paradigme relativement nouveau de programmation déclarative. La logique de l'équilibre constitue la base logique de l'ASP: elle reproduit la sémantique par ensemble réponse des programmes logiques et étend la syntaxe de l'ASP à des théories propositionnelles plus générales, i.e., des ensembles finis de formules propositionnelles. Cette thèse traite aussi bien des logiques modales sous-jacentes à la logique de l'équilibre que de ses extensions modales. Ceci nous permet de produire un cadre complet pour l'ASP et d'examiner de nouveau la base logique de l'ASP. A cet égard, nous présentons d'abord une logique modale monotone appelée MEM et capable de caractériser aussi bien l'existence d'un modèle de la logique de l'équilibre que la relation de conséquence dans ces modèles. La logique MEM reproduit donc la propriété de minimalisation qui est essentielle dans la définition des modèles de la logique de l'équilibre. Nous définissons ensuite une extension dynamique de la logique de l'équilibre. Pour ce faire, nous étendons le langage de la logique HT par deux ensembles de programmes atomiques qui permettent de mettre à jour, si possible, les valeurs de vérité des variables propositionnelles. Ces programmes atomiques sont ensuite combinés au moyen des connecteurs habituels de la logique dynamique. Le formalisme résultant est appelé logique Here-and-there dynamique (D-HT) et permet la mise-à-jour des modèles de la logique de l'équilibre. Par ailleurs, nous établissons un lien entre la logique D-HT et la logique dynamique des affectations propositionnelles (DL-PA): les affectations propositionnelles mettent à vrai ou à faux les valeurs de vérité des variables propositionnelles et transforment le modèle courant comme en logique dynamique propositionnelle. En conséquence, DL-PA constitue également une logique modale sous-jacente à la logique de l'équilibre. Au début des années 1990, Gelfond avait défini les spécifications épistémiques (E-S) comme une extension de la programmation logique disjonctive par des notions épistémiques. L'idée de base des E-S est de raisonner correctement à propos d'une information incomplète au moyen de la notion de vue-monde dans des situations où la notion précédente d'ensemble réponse n'est pas assez précise pour traiter le raisonnement de sens commun et où il y a une multitude d'ensembles réponses. Nous ajoutons ici des opérateurs épistémiques au langage original de la logique HT et nous définissons une version épistémique de la logique de l'équilibre. Cette version épistémique constitue une nouvelle sémantique non seulement pour les spécifications épistémiques de Gelfond, mais aussi plus généralement pour les programmes logiques épistémiques étendus. Enfin, nous comparons notre approche avec les sémantiques existantes et nous proposons une équivalence forte pour les théories de l'E-HT. Ceci nous conduit naturellement des E-S aux ASP épistémiques et peut être considéré comme point de départ pour les nouvelles extensions du cadre ASP. / Here-and-there (HT) logic is a three-valued monotonic logic which is intermediate between classical logic and intuitionistic logic. Equilibrium logic is a nonmonotonic formalism whose semantics is given through a minimisation criterion over HT models. It is closely aligned with answer set programming (ASP), which is a relatively new paradigm for declarative programming. To spell it out, equilibrium logic provides a logical foundation for ASP: it captures the answer set semantics of logic programs and extends the syntax of answer set programs to more general propositional theories, i.e., finite sets of propositional formulas. This dissertation addresses modal logics underlying equilibrium logic as well as its modal extensions. It allows us to provide a comprehensive framework for ASP and to reexamine its logical foundations. In this respect, we first introduce a monotonic modal logic called MEM that is powerful enough to characterise the existence of an equilibrium model as well as the consequence relation in equilibrium models. The logic MEM thus captures the minimisation attitude that is central in the definition of equilibrium models. Then we introduce a dynamic extension of equilibrium logic. We first extend the language of HT logic by two kinds of atomic programs, allowing to update the truth value of a propositional variable here or there, if possible. These atomic programs are then combined by the usual dynamic logic connectives. The resulting formalism is called dynamic here-and-there logic (D-HT), and it allows for atomic change of equilibrium models. Moreover, we relate D-HT to dynamic logic of propositional assignments (DL-PA): propositional assignments set the truth values of propositional variables to either true or false and update the current model in the style of dynamic epistemic logics. Eventually, DL-PA constitutes an alternative monotonic modal logic underlying equilibrium logic. In the beginning of the 90s, Gelfond has introduced epistemic specifications (E-S) as an extension of disjunctive logic programming by epistemic notions. The underlying idea of E-S is to correctly reason about incomplete information, especially in situations when there are multiple answer sets. Related to this aim, he has proposed the world view semantics because the previous answer set semantics was not powerful enough to deal with commonsense reasoning. We here add epistemic operators to the original language of HT logic and define an epistemic version of equilibrium logic. This provides a new semantics not only for Gelfond's epistemic specifications, but also for more general nested epistemic logic programs. Finally, we compare our approach with the already existing semantics, and also provide a strong equivalence result for EHT theories. This paves the way from E-S to epistemic ASP, and can be regarded as a nice starting point for further frameworks of extensions of ASP.

Les ONG font partie intégrante du paysage médiatique, dans le cadre duquel elles cherchent souvent à se présenter comme les artisans d'une meilleure prise en compte des aspirations des populations. Mais qu'en est-il réellement, notamment au niveau international ? Pour répondre à cette question, nous nous sommes intéressés à la façon dont les ONG tentent de faire connaître leurs points de vue aux Organisations Intergouvernementales (OIG), et de les inciter à adopter des résolutions allant dans le sens de leurs convictions, pour les plus puissantes et les mieux introduites d'entre elles. Nous avons confronté les résultats obtenus en matière d'influence aux principes développés par les démocrates délibératifs qui voient en elles les instruments de l'idéal délibératif en raison de leur aptitude à communiquer et à travailler en réseaux. D'un point de vue méthodologique, nous nous sommes appuyés sur l'analyse des réseaux de politique publique afin de préciser les ONG qui s'appuient sur le même socle de principes et de convictions et qui travaillent ensemble de façon suffisamment régulière pour que l'on puisse parler de stratégie commune. Afin de compléter cette analyse, nous avons réalisé une trentaine d'entretiens semi-directifs et dépouillé 300 communiqués de presse. Pour chacune des Organisations que nous avons étudiées (OMC, OMS, OMPI), nous avons tenté de préciser dans quelles circonstances et dans quel contexte les ONG sont parvenues à exercer une influence qui s'est traduite par une institutionnalisation de leurs idées. Nous arrivons à la conclusion que les ONG influentes empruntent bien davantage aux groupes d'intérêt et à la conception pluraliste de la démocratie qu'aux idéaux délibératifs. Ce faisant, elles contribuent à améliorer la transparence des décisions internationales et parviennent dans certains cas à modifier l'agenda politique. A un niveau plus général, cette étude permet de revenir sur l'activité de plaidoyer des ONG internationales et de montrer à quel point les opportunités qui s'offrent à elles diffèrent d'un forum à l'autre. / NGOS are willing to present themselves as key actors whose involvement in the decision making process would ensure consideration of populations' expectations. We wondered if they pushed their ideas in international fora accordingly with the principles developed by deliberative democrats, some of whom present NGOs as the mainspring of deliberation at a large scale. To answer this question, we studied the way NGOs (at least the most powerful among them) push their ideas towards international organizations in order to influence their resolutions. Methodologically speaking, we focused on public policy network analysis to be able to identify a group of principle-based NGOs following a common strategy. To complete this analysis, we realized 30 semi-directive interviews and studied 300 press releases. For each of the three organizations we analysed (WTO, WHO, WIPO), we tried to specify the context and the circumstances in which NGOs' activities leaded to an institutionalization of their ideas. We concluded that influential NGOs behave more as interest group and pluralist democrats than as deliberative ones. They contribute to implement international decision making's transparency. In certain cases, they are also able to shape political agendas. At a more general level, this study points out INGOs' advocacy activities and shows the differences in IGOs'openess towards private actors.

Le domaine des protocoles tolérants aux pannes étudie quelles tâches concurrentes sont résolubles dans différents modèles de calcul avec pannes. Des outils mathématiques basés sur la topologie combinatoire ont été développés depuis les années 1990 pour aborder ces questions. Dans ce cadre, la tâche que l’on veut résoudre, et le protocole auquel on fait appel, sont modélisés par des complexes simpliciaux chromatiques. On définit qu’un protocole résout une tâche lorsqu’il existe une certaine application simpliciale entre ces complexes.Dans cette thèse, on étudie ces méthodes géométriques du point de vue de la sémantique. Le premier objectif est de fonder cette définition abstraite de résolution d’une tâche sur une autre plus concrète, basée sur des entrelacements de traces d’exécution. On examine diverses notions de spécifications pour les objets concurrents, afin de définir un cadre général pour la résolution de tâches par des objets partagés. On montre ensuite comment extraire de ce cadre la définition topologique de résolubilité de tâches.Dans la deuxième partie de la thèse, on prouve que les complexes simpliciaux chromatiques peuvent être utilisés pour évaluer des formules de logique épistémique. Cela permet d’interpréter les preuves topologiques d’impossibilité en fonction de la quantité de connaissances à acquérir pour résoudre une tâche.Enfin, on présente quelques liens préliminaires avec la sémantique dirigée pour les programmes concurrents. On montre comment la subdivision chromatique d’un simplexe peut être retrouvée en considérant des notions combinatoires de chemins dirigés. / The field of fault-tolerant protocols studies which concurrent tasks are solvable in various computational models where processes may crash. To answer these questions, powerful mathematical tools based on combinatorial topology have been developed since the 1990’s. In this approach, the task that we want to solve, and the protocol that we use to solve it, are both modeled using chromatic simplicial complexes. By definition, a protocol solves a task when there exists a particular simplicial map between those complexes.In this thesis we study these geometric methods from the point of view of semantics. Our first goal is to ground this abstract definition of task solvability on a more concrete one, based on interleavings of execution traces. We investigate various notions of specification for concurrent objects, in order to define a general setting for solving concurrent tasks using shared objects. We then show how the topological definition of task solvability can be derived from it.In the second part of the thesis, we show that chromatic simplicial complexes can actually be used to interpret epistemic logic formulas. This allows us to understand the topological proofs of task unsolvability in terms of the amount of knowledge that the processes should acquire in order to solve a task.Finally, we present a few preliminary links with the directed space semantics for concurrent programs. We show how chromatic subdivisions of a simplex can be recovered by considering combinatorial notions of directed paths.