La gestion des connaissances, fortement facilitée par l'introduction des TIC, est perçue au niveau de l'organisation comme un moyen de gérer au mieux son capital intellectuel. La connaissance étant devenue à la fois un support et un facteur important du changement organisationnel, l'intérêt des TIC se situe dans la possibilité de générer une importante base de connaissances interactive et facilement accessible et exploitable par les utilisateurs. Dans cette thèse, nous proposons d'étudier l'adoption de la gestion des connaissances comme une nouvelle approche pour la gestion des organisations en Algérie. Nous orientons notre problématique vers la création de valeur organisationnelle, qui a pour conséquence l'amélioration de la performance. La spécificité de notre objet de recherche est abordée à travers une méthodologie qualitative. L'originalité de ce travail se trouve dans la prise en compte de deux niveaux d'analyse : le niveau global et le niveau des organisations. Pour étudier le niveau global, nous nous inscrivons dans une démarche de compréhension de l'application d'une stratégie de gestion des connaissances à un projet de gouvernance électronique en Algérie. Le niveau des organisations est étudié à travers une étude de cas multiple destinée à rechercher des régularités, des divergences et des convergences entre les éléments des différents cas étudiés. L'objectif de cette recherche, qui s'inscrit dans un cadre d'analyse multidimensionnel et reste essentiellement exploratoire, est de comprendre etd'expliquer les relations qualitatives qui régissent le phénomène que nous étudions.

L'idée de l'argumentation est de rechercher dans une base de connaissances, pour chaque proposition dont on souhaite évaluer la validité, les raisons qui étayent cette proposition et celles qui l'infirment. Un argument est alors entendu comme une paire comprenant une proposition et les raisons qui la justifient. Notre propos est d'offrir des outils formels pour la génération automatique d'arguments par deux agents en situation de dialogue. Ces outils reposent sur les X-logiques, formalisme non-monotone proposé en 1996 par Siegel et Forget et déterminant un cadre fondateur autour de la notion de preuve pour le raisonnement non-monotone. En particulier l'ensemble X servant à paramétrer la relation d'inférence confère une souplesse inégalée à la gestion dynamique des arguments. Après un tour d'horizon des travaux passés en matière de représentations logiques pour l'argumentation, nous introduisons les X-logiques, à partir desquelles est composée la notion d'attitude d'un agent par rapport à une formule. Nous définissons ensuite des opérateurs de confrontation qui permettent d'associer des ensembles de formules aux attitudes d'un agent. Le concept de réponse d'un agent à un ensemble de formules est alors élaboré en tant que motivation de l'attitude de cet agent vis-à-vis de l'ensemble en question. Plusieurs formes de réponses sont distinguées parmi lesquelles les notions de réponse pertinente ou encore de mensonge. Une réponse représente les raisons qui justifient la conclusion d'un argument : c'est à partir du calcul de ces réponses que nous exhibons une procédure de génération automatique d'arguments. Enfin nous montrons que notre cadre argumentatif permet de générer les contre-arguments conservatifs maximaux de Besnard et Hunter (2001), arguments retenus pour leur pertinence.

Depuis une quinzaine d'années, des démarches de knowledge management sont mises en place dans les organisations pour optimiser l'utilisation et le partage des connaissances entre les individus. D'une logique essentiellement " outil " dans un premier temps, ces démarches ont progressivement évolué vers une logique davantage centrée sur les interactions entre ces individus et leurs connaissances : c'est l'Organisation 2.0, dite " centrée connaissance ". Cette recherche propose d'identifier des leviers de transformation des organisations centrées processus - qui associent la notion de facteur humain à celle de risque - en organisations centrées connaissance, en considérant cette dernière comme une opportunité de développement. Elle s'appuie pour cela sur le transfert de connaissances, au coeur du knowledge centricity, en introduisant des cartographies de connaissances individuelles pourfaire émerger des réseaux d'acteurs. Réalisée sous forme d'une recherche-intervention chez Total, elle s'appuie sur le projet de " Transfert de Savoir-Faire " du Groupe. Cette recherche met en avant les forces des cartographies comme outils d'accompagnement au transfert de connaissances de par : leur capacité à identifier et à valoriser un patrimoine de connaissances à travers une approche centrée sur l'individu, leur capacité d'ouverture sur un réseau d'acteurs (et de connaissances), à créer une dynamique collective de partage. Enfin, elles constituent un outil de management intervenant notamment dans l'aide à la décision et la gestion des risques (associés à un management des connaissances), et sont une opportunité de dialogue entre les différents acteurs de l'organisation. La combinaison de ces résultats permet à cette recherche de contribuer aux travaux menés surle knowledge centricity, via l'introduction des cartographies de connaissances comme levier de transformation par la voie du transfert de connaissances. Cette recherche montre également les limites de l'introduction de ces cartographies de connaissances dans des organisations centrées processus : une structure matricielle forte associée à des stratégies d'acteurs en environnement changeant sont autant de freins au développement d'une démarche collective et globale pouvant aboutir à une organisation centrée connaissance.

Dans le domaine des jeux vidéos par exemple, surtout des jeux de rôles, les personnages virtuels perçoivent un environnement, en tirent des connaissances puis effectuent des actions selon leur besoin. De même en robotique, un robot perçoit son environnement à l'aide de capteurs/caméras, établit une base de connaissances et effectuent des mouvements etc. La description des comportements de ces agents virtuels et leurs raisonnements peut s'effectuer à l'aide d'un langage logique. Dans cette thèse, on se propose de modéliser les trois aspects ''voir'', ''savoir'' et ''faire'' et leurs interactions à l'aide de la logique modale. Dans une première partie, on modélise des agents dans un espace géométrique puis on définit une relation épistémique qui tient compte des positions et du regard des agents. Dans une seconde partie, on revisite la logique des actions ''STIT'' (see-to-it-that ou ''faire en sorte que'') qui permet de faire la différence entre les principes ''de re'' et ''de dicto'', contrairement à d'autres logiques modales des actions. Dans une troisième partie, on s'intéresse à modéliser quelques aspects de la théorie des jeux dans une variante de la logique ''STIT'' ainsi que des émotions contre-factuelles comme le regret. Tout au long de cette thèse, on s'efforcera de s'intéresser aux aspects logiques comme les complétudes des axiomatisations et la complexité du problème de satisfiabilité d'une formule logique. L'intégration des trois concepts ''voir'', ''savoir'' et ''faire'' dans une et une seule logique est évoquée en conclusion et reste une question ouverte.

Le sujet principal de cette thèse porte sur la fouille de données numériques et plus particulièrement de données d'expression de gènes. Ces données caractérisent le comportement de gènes dans diverses situations biologiques (temps, cellule, etc.). Un problème important consiste à établir des groupes de gènes partageant un même comportement biologique. Cela permet d'identifier les gènes actifs lors d'un processus biologique, comme par exemple les gènes actifs lors de la défense d'un organisme face à une attaque. Le cadre de la thèse s'inscrit donc dans celui de l'extraction de connaissances à partir de données biologiques. Nous nous proposons d'étudier comment la méthode de classification conceptuelle qu'est l'analyse formelle de concepts (AFC) peut répondre au problème d'extraction de familles de gènes. Pour cela, nous avons développé et expérimenté diverses méthodes originales en nous appuyant sur une extension peu explorée de l'AFC : les structures de patrons. Plus précisément, nous montrons comment construire un treillis de concepts synthétisant des familles de gènes à comportement similaire. L'originalité de ce travail est (i) de construire un treillis de concepts sans discrétisation préalable des données de manière efficace, (ii) d'introduire une relation de similarité entres les gènes et (iii) de proposer des ensembles minimaux de conditions nécessaires et suffisantes expliquant les regroupements formés. Les résultats de ces travaux nous amènent également à montrer comment les structures de patrons peuvent améliorer la prise de d écision quant à la dangerosité de pratiques agricoles dans le vaste domaine de la fusion d'information.

La biographie de Juan Díez de la Calle, commis du secrétariat de la Nouvelle Espagne du Conseil des Indes à Madrid de 1624 à 1662, contribue à expliquer comment une monarchie composite réussit à gouverner et à conserver ses territoires américains pendant trois siècles. Tout d'abord, l'étude d'un modeste officier et infra-letrado rend compte d'une bourgeoisie castillane travaillant pour l'administration royale en essor. L'univers socioprofessionnel de Juan Díez de la Calle montre l'importance de la famille, des réseaux transatlantiques et du clientélisme dans la marche administrative de l'empire ibérique. Son labeur quotidien éclaire les arcanes du pouvoir : le « maniement des papiers » qui constitue la tâche principale du personnel des Secrétariats rend compte de la pratique administrative et des préoccupations des autorités madrilènes. Ensuite, à cause des fortes contraintes de distance-temps, la circulation de l'information est un enjeu majeur pour la Couronne : connaissances et pouvoir sont indissociables dans l'espace impérial étudié. À ce titre, Díez de la Calle réunit un important corpus documentaire et fait appel à ses informateurs pour rédiger une liste des employés civils et ecclésiastiques de la Couronne aux Indes occidentales. Enfin, ses Noticias Sacras y Reales publiées entre 1645 et 1654 reflètent les représentations de l'espace produites par le Conseil des Indes. L'usage de la liste au détriment de la carte et l'emploi de méthodes pré-statistiques témoignent de la mise en place d'un État moderne. L'idéologie impérialiste et providentialiste transcende l'ensemble de l'œuvre du commis pour placer les Indes occidentales au cœur de la Monarchie catholique.

Le cadre général de nos travaux de recherche est la réalité virtuelle. Cette discipline, dialogue entre disciplines scientifiques, a pour objectif la création de mondes virtuels et leur exploitation par l'homme. Elle s'intéresse à leur modélisation, c'est-à-dire aux modèles de simulation permettant de donner de la vie aux objets et êtres virtuels représentés à l'intérieur de ces mondes. De plus, elle étudie les interfaces de réalité virtuelle, c'est-à-dire les interfaces motrices et sensorielles donnant à l'utilisateur une perception de ses actions. Dans nos travaux, l'objectif est de comprendre comment l'expérience humaine peut être à la fois renforcée, capitalisée et ré exploitée en environnement virtuel. Nous considérons plus particulièrement les activités de formation, de conception et de collaboration pour lesquelles d'une part l'ingénierie des connaissances permet de modéliser et de proposer un niveau d'abstraction pertinent, et d'autre part pour lesquelles la réalité virtuelle offre des modes d'interaction avec retour sensoriel qui fait sens pour les acteurs impliqués (formateurs, formés, concepteurs, utilisateurs distants,...). Nous intéressons en particuliers aux environnements virtuels informés (EVI) dotés de modèles à base de connaissance dans lesquels il est possible à la fois d'interagir et de permettre des comportements par interprétation de représentations dynamiques ou statiques. Ces EVI sont des moyens puissants d'autoriser une évolution du système lors de l'activité de l'utilisateur mais aussi une évolution de l'utilisateur au fur et à mesure que le système est utilisé. L'approche énactive de la cognition ou « énaction » inspire nos travaux avec la notion « d'action guidée par la perception ». Cette notion provient à la base des réflexions de Francisco Varela, neurobiologiste qui s'est intéressé à la suite de ses travaux avec Maturana au Chili, à une alternative au computationnalisme et au connexionnisme pour comprendre la cognition. La tentative de F. Varela pour introduire des concepts de biologie en sciences cognitives et ses recherches en neurosciences aboutissent au concept de cognition incarnée (‘embodied cognition' ). Dans ce vaste champ d'investigation, nous avons choisi de nous concentrer sur une seule problématique, le couplage entre interaction et connaissance en environnement virtuel informé. Les expériences corporelles et intellectuelles permises par la réalité virtuelle sont étroitement liée à la phénoménologie et c'est cette grille de lecture qui nous a amenée à structurer notre mémoire : - d'une part, comment le fait d'interagir avec des objets de l'environnement virtuel, d'offrir à l'utilisateur le loisir d'explorer et de comprendre à son rythme et d'avoir à l'instant t une perception singulière d'un système, d'un phénomène ou d'une scène va permettre de construire une connaissance. L'utilisateur est cette fois acteur de cette construction, il est au cœur du processus qui lui est propre. Il peut alors partager cette connaissance construite à travers des systèmes collaboratifs évolués. - d'autre part, les connaissances représentées dans l'environnement, accessibles à l'utilisateur ou exploitées par le système vont l'aider à orienter son interaction, vont le guider, tels des guides virtuels ou des traces de son activité dans le monde virtuel. Nous aborderons ainsi des exemples de modèles d'environnements virtuels dans lesquels l'interaction est de plus en plus complexe, au fur et à mesure que les connaissances représentées sont « comprises » et « exploitées » dans l'environnement. Notre méthode de travail est fondée sur une recherche de généricité et de réutilisabilité, un lien fort entre réalité virtuelle et ingénierie des connaissances, orienté par les sciences cognitives, conduisant à l'émergence de concepts, de modèles et de méthodologies, par une approche mêlant à la fois théorie et technologie. Nous présentons de nombreux résultats au niveau des modèles, et des environnements informatiques pour des applications à la fois en conception, en formation et en communication.

Plusieurs raisons conduisent aujourd'hui à la nécessité de concevoir une pièce «fabricable» avec le moins de modification et le plus rapidement possible. Nous pouvons citer l'évolution et la mondialisation du marché, la réduction de la taille des séries et des délais de conception comme de réalisation, le fait que le coût d'un produit soit engagé à 80 % au niveau de la conception. C'est dans ce cadre qu'interviennent les outils et les méthodes de l'ingénierie intégrée. Les travaux de cette thèse se positionnent plus précisément au niveau de la formalisation et de l'exploitation des liens qui existent entre le produit et le processus de fabrication. Une démarche a été définie afin d'encadrer la conception progressive de la pièce et de son processus de fabrication. Un outil venant en support à cette démarche a été spécifié. Deux pistes ont été abordées lors du développement de l'outil pour la façon de représenter et d'exploiter les connaissances : un premier formalisme utilisant une ontologie associée à un traitement par classification ou bien un second formalisme basé sur une représentation arborescente des processus de fabrication associée à un traitement par élagage. Cette dernière représentation est nommée « schéma de processus de fabrication ». Un cas d'étude est présenté afin de valider la démarche proposée en utilisant l'outil support. Ces travaux ont été appliqués à la forge en tenant compte des spécificités de ce domaine de fabrication (notamment la nécessité d'une considération plus globale de la pièce par rapport à l'usinage)

L'introduction des restitutions organisées de connaissances (ROC) dans les épreuves du bac-calauréat, à partir de 2005, est une réponse de l'institution à la volonté de rendre plus efficace l'enseignement en cycle terminal, en réintroduisant, par cette innovation, la démonstration dans les pratiques. Dans une approche anthropologique, complétée d'une enquête écologique et de l'analyse d'entretiens avec des enseignants de terminale, nous cherchons à en mesurer les effets au travers des composantes de son environnement, de sa genèse, de son caractère innovant pour interroger sa viabilité et montrons, en particulier, que rendre effectif l'enseignement de la démonstration au moyen des ROC nécessite un questionnement didactique, un « déploiement de l'épaisseur du texte ». Nous l'opérons par la construction de leur site mathématique local. Cette construction se nourrit d'apports épistémologiques, historiques, didactiques pour décrire l'organisation locale de l'écosystème de la ROC concernée, en mettant en relief les interrelations, entre les composantes classiques de la praxéologie (objets, techniques, technologies,...) et le substrat. Ce dernier s'appuie sur les coutumes mathématiques et les préconstruits (protomathématiques et paramathématiques). Cet ensemble de choses nécessaires à l'heuristique intègre l'entité de l'élève, le contexte de la classe dans la situation d'enseignement. Plus largement au travers de différents exemples – balayant l'enseignement primaire, secon-daire et supérieur – nous montrons la robustesse de l'outil site mathématique local pour ana-lyser sur les plans didactiques, épistémologiques, mathématiques et historiques les diverses questions mathématiques ou de leurs transpositions. Cet outil peut ainsi servir de révélateur (à des obstacles épistémologiques ou didactiques) dans une activité de classe, être à la base d'activités de formation initiale ou continue d'enseignants, permettre de réaliser des analyses de cohérence des progressions curriculaires. Nous pensons qu'il peut ainsi figurer dans le bagage de tout enseignant de mathématiques.

L'ensemble des travaux présentés relève de l'Apprentissage Artificiel, et aborde l'apprentissage supervisé, ainsi que l'aide à la découverte par la fouille de données. On se place ici dans le cas où un problème d'apprentissage passe par l'exploration d'un "Espace de Recherche", constitué de représentations formées dans un certain langage d'énoncés. La structure cachée liant "énoncés" et sous-ensembles d'"objets", représentable dans un treillis intension/extension, permet en particulier de réduire l'espace de recherche dans les problèmes d'apprentissage supervisé. Je présente ensuite une forme d'"abstraction" ordonnée faisant varier le niveau de granularité des énoncés, ou des objets considérés, et garantissant que le treillis intension/extension est ainsi lui-même réduit. Certains travaux concernant la recherche de motifs séquentiels réquents, sont également interprétés du point de vue de cette relation intension/extension. Enfin, deux "paradigmes" nouveaux en apprentissage supervisé sont présentés, l'un traitant de la notion d'ambiguïté des exemples, l'autre étendant l'apprentissage supervisé cohérent dans un cadre collectif.