Les interactions sociales occupent une place de plus en plus importante dans les organisations qui doivent s'adapter à un environnement médiatisé et évolutif qui implique une agilité croissante. La plupart des modèles et des outils dont disposent aujourd'hui les organisations adressent les interactions sociales fondées sur la coordination des actions et son travail d'articulation, sans introduire la dimension sociale et en particulier la coopération qui repose sur des processus et des mécanismes sociaux insuffisamment abordés. Dans cette thèse, nous proposons un méta-modèle d'interactions sociales élaboré à partir de la formalisation d'une sociologie des interactions sociales de P. Livet et F. Nef, et la construction d'une extension aux processus et objets sociaux d'une Ontologie Appliquée des Processus et Evénements de G. Kassel / Social interactions are becoming increasingly important in organizations that have to adapt to a mediated and evolving environment that involves increasing agility. Most of the models and tools available to organizations today address social interactions based on the coordination of actions and its articulation work, without introducing the social dimension and cooperation based on social processes and mechanisms insufficiently addressed. In this thesis, we propose a meta-model of social interactions based on the formalization of a sociology of social interactions of P. Livet and F. Nef and the construction of an extension to social processes and objects an Applied Ontology of the Processes and Events of G. Kassel

Le premier objectif de cette thèse consistait à tester l’existence de stratégies de raisonnements dans l’estimation de la probabilité diagnostique : P(cause|effet). A travers quatre expériences, nous montrons que l’estimation de cette probabilitépeut se réaliser selon deux voies formellement distinctes. La première consiste à évaluer P(cause|effet) à travers une forme de déduction affaiblie fondée sur un Modus Ponens rétractable (EFFET ; si EFFET alors il est probable que CAUSE ) il est probable que CAUSE). La seconde stratégie consiste à estimer la probabilité diagnostique à travers un raisonnement abductif qui correspond au schéma d’Affirmation du Conséquent probabilisé (EFFET ; si CAUSE alors il est probable que EFFET ) il est probable que CAUSE). Nous montrons que le choix de la stratégie est dépendant de la probabilité prédictive P(effet|cause) empirique présente dans les données. Quand cette probabilité est faible, les participants marquent une préférence pour la stratégie de type déduction rétractable, en revanche cette stratégie est fortement concurrencée par la stratégie abductive quand P(effet|cause) est haute. Le second objectif de cette recherche consistait à vérifier si les estimations des individus sous stratégie abductive d’une part, et sous stratégie d’estimation par Modus Ponens rétractable d’autre part, reflétaient fidèlement la probabilité diagnostique empirique. Les résultats d’une cinquième expérience infirment cette hypothèse. Quelle que soit la stratégie suivie, la probabilité diagnostique est systématiquement sous-estimée par les individus. Nos résultats indiquent toutefois que la stratégie par déduction rétractable permet d’aboutir à des estimations plus proches de la probabilité empirique. / The first goal of this thesis was to test the existence of reasoning strategies in the diagnostic probability estimate : P(cause|effect). Using four experiments, we show that the estimation of this probability can be achieved according to two formally distinct ways. The first consists in assessing P(cause|effect) through a weakened form of deduction based on a retractable Modus Ponens (EFFECT; if EFFECT then it is likely that CAUSE ) it is likely that CAUSE). The second strategy consists in estimating the diagnostic probability through abductive reasoning corresponding to the Affirmation of the Consequent probability scheme (EFFECT ; if CAUSE then it is likely that EFFECT ) it is likely that CAUSE). We show that the choice of strategy is dependent on the empirical predictive probability P(effect|cause) in the data. When this probability is low,participants show a preference for the retractable deduction strategy; On the other hand this strategy is strongly challenged by the abductive strategy when P(effect|cause) is high. The second objective of this research was to verify whether the estimates of people under abductive strategy on the one hand, and under defeasible Modus Ponens strategy on the other hand, accurately reflected the empirical diagnostic probability. The results of a fifth experiment invalidate this hypothesis. Regardless of the strategy followed, the diagnostic probability is systematically underestimated by people. Our results indicate, however, that the retractable deduction strategy provides estimates which come closer to the empirical probability

Nous constatons que le genre policier a été une riche source d’inspiration pour des écrivains souvent associés au roman postmoderne. Pour la plupart, les études sur ces réécritures du genre se concentrent sur des auteurs non britanniques, notamment Alain Robbe-Grillet, Paul Auster, Umberto Eco, Jorge Luis Borges et Vladimir Nabokov.Cette étude propose d’analyser des romans et une série britanniques,ainsi qu’un film anglo-américain, réécrivent le whodunit à travers l’intertextualité, la parodie et l’autoréflexivité. Dans ces œuvres métafictionnelles, qui sont toutes apparues depuis le début des années 1980, nous nous demandons si les attentes du roman policier ont complètement basculé ou si elles demeurent, au service d’un autre but.Au lieu de subvertir les conventions du genre classique, nous nous demandons au contraire si les œuvres du corpus les déploient afin de mener une autre enquête : une enquête sur l’histoire et l’identité britannique ? Alors que les œuvres reflètent la crise de confiance envers la représentation de l’histoire qui marque la période dite « postmoderne », reste-il l’espoir de résoudre rationnellement les mystères et les souffrances du passé ? Par conséquent, ces œuvres reflètent-elles une rupture du genre policier ou plutôt la continuité ? / The detective story has been a rich source of inspiration for writers associated with postmodern fiction. For the most part, critical studies of these attempts to rewrite the genre have focused on non-British authors, including Alain Robbe-Grillet, Paul Auster, Umberto Eco, Jorge Luis Borges and Vladimir Nabokov. This study proposes to analyze British novels, a film and a television series which, similarly, rewrite the whodunit through intertextuality, parody and the self-reflexiveness.In these metafictional works, which have all appeared since the beginning of the 1980s, we ask if the expectations invoked by the detective story are completely frustrated or rather if they are employed in the service of another goal. Rather than subvert the conventions of the genre, we ask instead if the works in the corpus deploy them in order to conduct an investigation of another sort: an investigation into British history and identity. While the works reflect in part the crisis of confidence in historical representation that characterizes the postmodern period, we ask whether they display any faith in our ability to rationally unravel the mysteries and the sufferings of the past. In answering these questions we will decide if these works reflect a total break from the detective genre or, in fact, continuity with it.

Malgré un antipsychologisme plusieurs fois réasserté, le philosophe américain Charles S. Peirce (1839-1914) maintient une dépendance ambiguë de la connaissance objective envers les états mentaux de la conscience. La thèse rend compte de ce paradoxe apparent en montrant que le projet peircien n'est pas logique mais épistémologique, et consiste en une étude critique de notre pouvoir de connaître. Peirce a cherché différentes manières de naturaliser la connaissance, c'est-à-dire de l'inscrire dans nos facultés réelles sans pour autant renoncer à son ambition fondationnelle et normative. On peut en distinguer plusieurs phases successives : la correction de la psychologie des facultés, la théorie de l'enquête, les recherches en psychologie expérimentale, la création d'un associationnisme logique, une cosmologie de la préformation de la raison, l'invention d'une phénoménologie, et finalement le dialogisme graphique. Ces tentatives plus ou moins heureuses fournissent des outils pour penser aujourd'hui une théorie de la connaissance dans un cadre naturaliste. / In spite of his several times restated antipsychologism, the American philosopher Charles S. Peirce (1839-1914) still ambiguously assumes that objective knowledge depends on the mental states of consciousness. The thesis accounts for this apparent paradox in showing that Peirce's purport is epistemological, not logical, and consists in a critical approach to our power of knowing. Peirce sought various ways of naturalizing knowledge, i.e. making it rely on our real faculties, yet without giving up a normative foundation. One can identify a sequence of such attempts : correcting faculty psychology, the theory of inquiry, experimental psychology, logical associationism, a cosmology of preformed reason, the invention of a phenomenology, and finally graphical dialogism. These more or less successful attempts provide tools to conceive today a theory of knowledge in a naturalistic frame.

Les technologies de l'informatique et de la robotique sont en perpétuelle évolution. S'appuyant sur cette évolution technologique, les systèmes d’aide à l’opérateur restent un domaine de recherche d’actualité. Le principal défi des systèmes de la future génération est d'être "intelligents", sensibles au contexte dans un environnement complexe et imprévisible. Cette thèse entre dans ce cadre et traite de la compréhension dynamique du contexte par un robot évoluant dans un tel environnement. En particulier, elle s'intéresse à la question suivante: comment rendre un robot capable de réagir face aux situations de blocage, imprévues dans son plan d’action initial, pour accomplir l’objectif fixé par l’opérateur ? Dans la littérature, ce problème a été soulevé et résolu en partie en programmant dans le système robotique, certaines des fonctions rendant le robot plus autonome. Cependant, l'intégration de ces fonctions dans un même cadre est manquante et plusieurs recherches dans ce sens sont en cours. Dans nos travaux nous proposons un système supportant une approche complète et générique, qui assure à un robot la capacité d’être conscient de la situation de blocage dans laquelle il se trouve et de comprendre et faire face aux situations de blocage rencontrées. Notre approche, nommée Robot Situation AWareness (RSAW) est inspirée de la notion de Situation Awareness (SA) qui a fait ses preuves dans de nombreux domaines notamment dans l’aviation. Nos principales contributions dans RSAW portent sur la conception d’un cadre sémantique intégrant la capacité de compréhension, fondé sur une représentation des connaissances générique, donnant la possibilité d’appliquer des techniques de raisonnement empruntées aux sciences cognitives. L’intégration de RSAW dans un système robotique a également été étudiée, conçue et mise en œuvre dans un système à couches. Ce système d'expérimentation est le robot SAM (Smart Autonomous Majordomo) doté du système AVISO et développé par le CEA-LIST. Les résultats des expérimentations élaborées dans le cadre des travaux menés dans cette thèse sont concluants et prometteurs / Computer technology and robotics are in perpetual evolution. Based on this technological evolution, the operator support systems remain a topical domain of research. The main challenge for the next generation of systems is to be "intelligent", aware of the context in a complex and unpredictable environment. This thesis is into this framework and addresses the dynamic understanding of the context by a robot evolving in such an environment. In particular, the work is interested in the question: How to make a robot able to react to blocked situations unplanned in its initial action plan to achieve the goal set by the operator?In the literature, this issue was raised and resolved in part by programming in robotic system, some of the features making a robot more autonomous. However, the integration of these functions in one framework is missing and more research in this direction is underway. In our work we propose a system supporting a complete and generic approach that ensures a robot the ability to be aware of the blocking situation in which it is found, to understand and deal with deadlock situations encountered. Our approach, called Robot Situation Awareness (RSAW) is inspired by the notion of Situation Awareness (SA), which has been proven in many areas especially in aviation. Our main contributions in RSAW involve the design of a semantic framework integrating the understanding capacity, based on a generic representation of knowledge and giving the possibility to apply reasoning techniques borrowed from cognitive science. Integrating RSAW in a robotic system has also been studied, designed and implemented in a layer system. This experimental system is the robot SAM (Smart Autonomous Majordomo) with the AVISO system developed by CEA-LIST. The conducted experiments allowed testing of the deductive reasoning in resolving a blocked situation and confirmed the need to resort to analogical reasoning. Another wave of experimentation has taken place to prove the effectiveness of our choices. The results of experiments developed as part of the work in this thesis are successful and promising

Dans cette thèse, nous étudions les techniques de raisonnement utilisant des graphes d'argumentation générés à partir de bases de connaissances inconsistantes exprimées dans le langage des règles existentielles.Les trois principaux résultats sont les suivants. Tout d'abord, nous étudions les propriétés structurelles des graphes obtenus à partir de bases de connaissances exprimées avec des règles existentielles et nous donnons plusieurs indications sur la manière dont leur génération peut être améliorée. Deuxièmement, nous proposons une technique pour générer un graphe d'argumentation où plusieurs arguments peuvent attaquer collectivement, remplaçant ainsi la relation d'attaque binaire classique et montrons expérimentalement les avantages de cette technique. Troisièmement, nous nous intéressons aux approches fondées sur les classements pour le raisonnement en logique et en argumentation. / In this thesis, we investigate reasoning techniques with argumentation graphs generated from inconsistent knowledge bases expressed in the existential rules language. The existential rules language is a subset of first-order logic in which a knowledge base is composed of two layers: a fact layer and an ontology layer.The fact layer consists of factual knowledge (usually stored in relational databases) whereas the ontology layer consists of reasoning rules of deduction and negative constraints.Since the classical query answering approaches fail in the presence of inconsistencies, we chose to work with an conflict-tolerant reasoning approach that is based on building graphs with structured arguments and attacks from the deductions of the underlying logical knowledge base.The three main results are the following. First, we study how argumentation graphs are obtained from knowledge bases expressed in existential rules, the structural properties of such graphs and show several insights as to how their generation can be improved. Second, we propose a framework that generates an argumentation graph with a special feature called sets of attacking arguments instead of the regular binary attack relation and show how it improves upon the current state-of-the-art using an empirical analysis. Third, we interest ourselves to ranking-based approaches in both the context of query answering and argumentation reasoning. In the former, we introduce a framework that is based on ranking maximal consistent subsets of facts (repairs) in order to have a more productive query answering. In the latter, we set up the foundation theory for semantics that rank arguments in argumentation graphs with sets of attacking arguments.

La modélisation de cartes génomiques, qui sont un outil indispensable aux biologistes moléculaires, pose de nombreux problémes de représentation et de traitement. Les premiers proviennent de l'existence de plusieurs descriptions des entités du génome, les seconds de la complexité algorithmique de la construction des cartes, ajoutée à la nécessité de pouvoir traiter les incohérences issues des expériences. Ce travail s'attache dans un premier temps à préciser la notion de carte grâce à une formalisation qui spécifie comment sont construites les cartes génomiques et quelles sont les relations entre les entités qui y apparaissent. Celle-ci est ensuite implémentée dans un système de représentation de connaissances par objets. Dans un second temps, un algorithme de construction de cartes à partir de la description des relations entre les entités qui les constituent est proposé. Cet algorithme s'appuie sur des techniques de raisonnement temporel et intègre des informations aussi bien qualitatives que quantitatives. Son implémentation a été réalisée à partir d'un logiciel de raisonnement temporel et valide la généricité de la démarche qui peut profiter de tous les progrès dans ce domaine de façon quasi-immédiate. Les spécifications d'un générateur d'interfaces cartographiques sont également présentées ; à la différence des systèmes existants, ce générateur n'est pas restreint à une seule interface cartographique ad hoc mais constitue une boite à outils permettant de construire soi-même son interface cartographique personnalisée.

Le problème du diagnostic de défaillance à base de modèle dans les systèmes complexes a reçu un intérêt croissant durant les dernières décennies. Ce problème doit être pris en compte dès la phase de conception du système, au moyen de l'analyse de la diagnosticabilité. La diagnosticabilité est la capacité d'un système à exhiber des symptômes différents pour un ensemble de situations de défaillances anticipées. Plusieurs approches ont été développées basées sur différents formalismes de modélisation, toutefois les raisonnements menant à la diagnosticabilité sont très semblables dans toutes ces approches. Cette thèse développe une comparaison des approches existantes et établit une définition unifiée de la diagnosticabilité. Une nouvelle approche pour l'analyse de diagnosticabilité, basée sur les modes de faute partiels, est décrite. Elle est implémentée dans le contexte des architectures orientées services, plus précisément sur des web service, et bénéficia du cadre du projet européen WS-DIAMOND. Une nouvelle généralisation de la définition de la diagnosticabilité à n'importe quel ensemble d'état est présentée, qui permet de prendre en compte de nouveaux types de propriétés, comme les préconditions de réparation, ou la qualité de service. Ces travaux ouvrent des perspectives pour le raisonnement de diagnosticabilité indépendant du modèle, pour la diagnosticabilité basée sur d'autres types de modèles, ainsi que pour l'intégration du diagnostic dans un outil de surveillance plus général. Le diagnostic et l'analyse de diagnosticabilité des systèmes logiciels est encore un domaine jeune, et ouvre de nombreuses connections avec le domaine de la sécurité informatique.

Les connaissances spatiales sont définies a partir d'une classification qui met en évidence l'importance de la topologie. L'examen d'applications différentes montre que le raisonnement spatial revêt souvent trois formes particulières non exclusives les unes des autres: la construction de topologies, l'inférence de propriétés spatiales et la localisation d'objets. Les données et les mécanismes d'inférence qui sont utilises peuvent être introduits dans des systèmes a base de connaissances qui servent alors de support au raisonnement spatial. Son graphe de dépendances possède, par ailleurs, des particularités qu'il est intéressant et, parfois, nécessaire d'exploiter pour gérer la dynamique de ces bases de connaissances spatiales. Les résultats d'inférences doivent en particulier être enregistres et le maintien de la vérité qu'exige cet enregistrement peut être facilite en exploitant une forme de localité au sein de ce graphe. Ces considérations prennent appui sur l'expérience du développement du système Elsa, destine a l'analyse de sites avalancheux. D'autres utilisations des bases de connaissances spatiales ont également été étudiées: modélisation symbolique de phénomènes spatiaux, environnements de resolution de problèmes et bases de connaissances géographiques. Elsa utilise une représentation de connaissances par objets, qui se révèle bien adaptée même si des extensions apparaissent utiles; il s'agit notamment de la prise en compte, au sein du modèle de représentation, des relations entre objets, de l'insertion d'un filtrage constructif et d'une ouverture plus grande du langage de requête. Le fait que ces extensions ne soient pas propres a l'espace et qu'elles puissent concerner d'autres types de connaissances suggère que le raisonnement sur l'espace, a défaut d'être spécifique, apparait comme un révélateur des besoins du raisonnement en général

L'objectif des travaux présentés dans cette thèse est de poser les fondements d'une formalisation qui permettrait, d'une part la description d'une représentation numérique de terrain dans un langage intelligible à destination d'observateurs localisés au sol et, d'autre part, de faciliter les échanges entre des communautés scientifiques disposant de corpus sémantiques différents.<br />Nous cherchons à décrire une silhouette - i.e., une coupe de terrain ou la séparation terre/ciel à l'horizon - selon la perception que peut en avoir un observateur. Nous introduisons un modèle, fondé sur une approche qualitative, qui consiste à décrire une silhouette par une séquence de symboles signifiants. L'utilisateur ayant la possibilité de définir ses propres catégories, le modèle possède la capacité de s'adapter à différents contextes.<br />L'originalité de notre modèle repose dans la méthode de détection des formes significatives. Nous nous ecartons volontairement des méthodes numériques généralement utilisées dans les systèmes de détection ou de reconnaissance de forme. Nous considérons que la perception d'une forme particulière de relief est contingente de la perception de saillances, définies ici comme des points qualitativement remarquables. La description d'une silhouette inclut les relations topologiques qui relient les formes de relief détectées. Afin de tenir compte de l'imprécision des frontières des formes de relief, nous proposons une extension de la méthode 9-intersection. Les relations méréologiques, quant à elles, nous sont utiles pour dériver des représentations à différents niveaux d'abstraction.<br />Nous avons implanté le modèle en Java. Le prototype réealisé permet de définir des catégories, d'analyser des silhouettes, de déterminer les relations topologiques qui lient les formes détectées et d'obtenir une description à différents niveaux d'abstraction.<br />Cette thèse a bénéficié du soutien financier de la Région Bretagne.