L'objectif du problème appelé "Ontology-based data access" (OBDA) est d'améliorer la réponse à des requêtes en prenant en compte des connaissances d'ordre général durant l'évaluation des requêtes. Ces connaissances générales sont représentées à l'aide d'une ontologie, qui est exprimée dans cette thèse grâce à des formules logiques du premier ordre, appelées règles existentielles, et aussi connues sous le nom de "tuple-generating dependencies" et Datalog+/-. L'expressivité des formules utilisées est telle que l'évaluation de requêtes devient un problème indécidable, et cela a conduit la communauté à définir de nombreux cas décidables, c'est-à-dire des restrictions sur les ensembles de règles existentielles considérés. La contribution de cette thèse est double : tout d'abord, nous proposons une vue unifiée sur une grande fraction des cas décidables connus, et fournissons par là même une analyse de complexité et un algorithme optimal dans le pire des cas. Nous considérons également l'approche couramment utilisée de réécriture de requêtes, et proposons un algorithme générique qui permet de surmonter certaines causes évidentes d'explosion combinatoire qui rendent les approches classiques pratiquement inapplicables.

Avec plus d'un tiers de professeurs pratiquants dans l'académie de Toulouse, les enquêtes ont constaté que, désormais, le recours informatique est un phénomène historique irréversible dans l'enseignement des mathématiques au collège dû : premièrement, à la généralisation des équipements (vidéoprojecteurs en classe) ; à l'engagement des professeurs qui a compensé les défaillances de l'institution dans leurs administrations ; deuxièmement, aux incitations et obligations institutionnelles des nouveaux programmes et des inspections ; troisièmement, à la disponibilité des logiciels gratuits qui ont suppléé les carences budgétaires ; à l'abondance des activités diffusées en ligne par les sites académiques, les IREM et l'association Sésamath ; quatrièmement, au rôle éminent de la formation continue volontaire qui a mobilisé 40 % des professeurs en douze ans ; cinquièmement, à l'enclenchement d'un cercle vertueux de reconnaissance de la valeur du recours informatique. L'étude pragmatique et théorique a révélé que les diverses activités informatiques d'enseignement-apprentissage (AIEA) pratiquées (apprenticiel, imagiciel, exerciseur, didacticiel, praticiel), en utilisant les apports spécifiques de l'informatique (concrétisation, expérimentation intensifiée, individualisation, interaction, motivation), ont apporté des situations instrumentées nouvelles de transposition interne offrant des champs conceptuels féconds qui sous l'effet de schèmes opératoires sont capables d'améliorer l'enseignement-apprentissage des notions et méthodes mathématiques. Un résultat qui dépend de la qualité de ses composantes praxéologiques (intégration, pertinence, performance, supériorité, scénario, mise en scène, durée) et du respect de règles pratiques qui déterminent conjointement les valeurs éducologiques de l'AIEA (propre, efficace et d'usage, professionnelle et institutionnelle) susceptibles de donner un meilleur rendement et une plus grande productivité à l'enseignement des mathématiques.

Cette recherche se propose d'analyser ce que nous appelons un " dispositif d'évaluation stoïcien ". Par " dispositif " nous faisons référence à un ensemble d'éléments qui interagissent entre eux d'une certaine manière, qui répondent à un enjeu et qui entrent en relation et en concurrence avec d'autres formations similaires ou pas. Parler de " dispositif d'évaluation " renvoie aussi bien à des processus psychiques, qu'aux éventuels critères auxquels satisfait ou doit satisfaire ce processus - une certaine distribution de la valeur - à l'enjeu qui lui est assigné et aux éventuels effets collatéraux. Valeur et jugement de valeur ne sont que les éléments d'un ensemble qui les englobe et se caractérise par les modalités de leur articulation. Reconstruire un " dispositif d'évaluation " stoïcien a pour enjeu de rendre compte de la manière dont les stoïciens conçoivent la discrimination " naturelle " de son environnement par le vivant humain et la portée de ce processus. Et par " naturelle ", on comprendra " optimale " et " correcte " et non pas factuelle. Le dispositif d'évaluation doit en effet être compris comme l'expression du développement naturel, c'est à dire optimal et non pas effectif, de la pratique d'évaluation telle que les stoïciens la conçoivent, ce qui implique de ne pas confondre naturel et habituel, naturel et effectif. On voit d'emblée que la possibilité d'un dysfonctionnement n'est pas exclue. Réciproquement, le " dispositif d'évaluation " émerge au sens strict dans la reformulation prescriptive d'une pratique d'évaluation naturelle, c'est-à-dire optimale.

Toute pratique sportive est dépendante d'un système de règles qui simultanément prescrivent et prohibent. Codifiées, ces règles participent de l'institutionnalisation sportive propre au sport compétitif contemporain. La modalité sportive reposant sur une pratique fédérale, en club, nous intéresse ici. Ce travail de thèse rend compte de la transmission du code du jeu, des représentations sociales des acteurs du sport - pratiquants, entraineurs, arbitres et dirigeants - ainsi que de la gestion de la norme sportive - espaces, durées, règles du jeu - par les institutions référentes. Notre recherche repose sur une approche comparative entre trois sports, distincts par leur degré d'institutionnalisation : le basket-ball, l'escalade et le paintball. Ce travail s'appuie simultanément sur l'usage des observations -séances d'entrainements en club, compétitions -, des entretiens semi-directifs (n = 52) et de la méthode des comparaisons par paires. Il en ressort une perception différenciée de l'application de la règle sportive qui dépend tout autant du niveau d'institutionnalisation - le paintball étant le moins sportifié des trois sports - que des caractéristiques de la pratique (situations sociomotrices ou psychomotrices). La transmission du code du jeu est consubstantielle à une culture en acte de la pratique alors que les représentations sociales se distinguent en fonction de la carrière sportive. La gestion de la norme repose sur des principes différenciés selon le processus de sportification de la pratique. Le basket-ball en club se joue sur un format pérenne et un terrain normalisé, ce qui n'est pas le cas du paintball où de multiples formats de jeu sont encore d'actualité. L'escalade se situe quant à elle dans un entre-deux, sommée de sélectionner une discipline au détriment des autres en vue d'une future olympisation. L'intérêt principal de cette étude réside notamment dans le fait de rendre compte de la socialisation sportive comme inductrice de la réalisation subjective des individus. Cette socialisation s'opère par le biais du rapport à l'institution qu'entretiennent les pratiquants avec la normativité sportive.

L’utilisation de préférences suscite un intérêt croissant pour personnaliser des réponses aux requêtes et effectuer des recommandations ciblées. Pourtant, la construction manuelle de profils de préférences reste à la fois complexe et consommatrice de temps. Dans ce contexte, nous présentons dans cette thèse une nouvelle méthode automatique d’extraction de préférences basée sur des techniques de fouille de données. L’approche que nous proposons est constituée de deux phases : (1) une phase d’extraction de toutes les règles de préférences contextuelles intéressantes et (2) une phase de construction du profil utilisateur. A la fin de la première phase, nous constatons qu’il y a des règles redondantes voir superflues ; la seconde phase permet d’éliminer les règles superflues afin d’avoir un profil concis et consistant. Dans notre approche, un profil utilisateur est constitué de cet ensemble de règles de préférences contextuelles résultats de la seconde phase. La consistance garantit que les règles de préférences spécifiant les profils sont en accord avec un grand nombre de préférences utilisateur et contredisent un petit nombre d’entre elles. D’autre part, la concision implique que les profils sont constitués d’un petit nombre de règles de préférences. Nous avons aussi proposé quatre méthodes de prédiction qui utilisent les profils construits. Nous avons validé notre approche sur une base de données de films construite à partir de MovieLens et IMDB. La base de données contient 3 881 films notés par 6 040 utilisateurs. Ces derniers ont attribué 800 156 notes. Les résultats de ces expériences démontrent que la concision des profils utilisateurs est contrôlée par le seuil d’accord minimal et que même avec une forte réduction du nombre de règles, les qualités de prédiction des profils restent à un niveau acceptable. En plus des expérimentations montrant la qualité de prédiction de notre approche, nous avons montré également que les performances de notre approche peuvent rivaliser avec les qualités de prédiction de certaines méthodes de l’état de l’art, en particulier SVMRank. / The use of preferences arouses a growing interest to personalize response to requests and making targeted recommandations. Nevertheless, manual construction of preferences profiles remains complex and time-consuming. In this context, we present in this thesis a new automatic method for preferences elicitation based on data mining techniques. Our proposal is a two phase algorithm : (1) Extracting all contextual preferences rules from a set of user preferences and (2) Building user profile. At the end of the first phase, we notice that there is to much preference rules which satisfy the fixed constraints then in the second phase we eliminate the superfluous preferences rules. In our approach a user profile is constituted by the set of contextual preferences rules resulting of the second phase. A user profile must satisfy conciseness and soundness properties. The soundness property guarantees that the preference rules specifying the profiles are in agreement with a large set of the user preferences, and contradict a small number of them. On the other hand, conciseness implies that profiles are small sets of preference rules. We also proposed four predictions methods which use the extracted profiles. We validated our approach on a set of real-world movie rating datasets built from MovieLens and IMDB. The whole movie rating database consists of 800,156 votes from 6,040 users about 3,881 movies. The results of these experiments demonstrates that the conciseness of user profiles is controlled by the minimal agreement threshold and that even with strong reduction, the soundness of the profile remains at an acceptable level. These experiment also show that predictive qualities of some of our ranking strategies outperform SVMRank in several situations.

Les réseaux biologiques, notamment les réseaux de signalisation déclenchés par les hormones, sont extrêmement complexes. Les méthodes expérimentales à haut débit permettent d’aborder cette complexité, mais la prise en compte de l’ensemble des données générées requiert la mise au point de méthodes automatiques pour la construction des réseaux. Nous avons développé une nouvelle méthode d’inférence reposant sur la formalisation, sous forme de règles logiques, du raisonnement de l’expert sur les données expérimentales. Cela nécessite la constitution d’une base de connaissances, ensuite exploitée par un moteur d’inférence afin de déduire les conclusions permettant de construire les réseaux. Notre méthode a été élaborée grâce au réseau de signalisation induit par l’hormone folliculo-stimulante dont le récepteur fait partie de la grande famille des récepteurs couplés aux protéines G. Ce réseau a également été construit manuellement pour évaluer notre méthode. Un contrôle a ensuite été réalisé sur réseau induit par le facteur de croissance épidermique, se liant à un récepteur tyrosine kinase, de façon à montrer que notre méthode est capable de déduire différents types de réseaux de signalisation. / Biological networks, including signalling networks induced by hormones, are very complex. High-throughput experimental methods permit to approach this complexity, but to be able to use all generated data, it is necessary to create automatical inference methods to build networks. We have developped a new inference method based on the formalization of the expert’s reasoning on experimental data. This reasoning is converted into logical rules. This work requires the creation of a knowledge base which is used by an inference engine to deduce conclusions to build networks. Our method has been elaborated by the construction of the signalling network induced by the follicle stimulating hormone whose receptor belongs to the G protein-coupled receptors family. This network has also been built manually to assess our method. Then, a test has been done on the network induced by the epidermal growth factor, which binds to a tyrosine kinase receptor, to demonstrate the ability of our method to deduce differents types of signaling networks.

Un des objectifs des politiques éducatives européennes en matière de formation professionnelle des enseignants novices consiste à consolider les partenariats entre les universités et les établissements scolaires. Sur le plan scientifique, la majorité des études pointent l’importance de renforcer la collaboration entre les formateurs de ces deux institutions par des dispositifs fondés sur le modèle des « communautés de pratique » (Lave & Wenger, 1991). Or, ces études restent souvent peu précises sur la nature de leurs activités au sein de tels dispositifs. Cette recherche vise à analyser les activités de formation d’un collectif de formateurs et leurs conséquences sur la formation professionnelle d’un enseignant novice.Cette étude s’appuie sur une lecture de la formation professionnelle des enseignants novices (Bertone, 2011 ; Chaliès, 2012) qui emprunte certains postulats à une théorie générale de l’apprentissage (Nelson, 2008) et de l’action collective (Wittgenstein, 2004). Cette lecture est ordonnée par trois activités de formation : (i) enseigner des règles pour permettre aux enseignants novices de signifier leur vécu et agir différemment en classe ; (ii) aménager des situations et contrôler les premiers suivis des règles pour leur permettre d’en constater les résultats ; (iii) accompagner leur développement en les aidant à interpréter les règles apprises.Cette recherche a été menée en collaboration avec deux collectifs de formation en éducation physique et sportive. Composé chacun d’un enseignant novice et de plusieurs formateurs, ces collectifs ont été mis en place lors d’un dispositif de formation par les visites. Deux types de données ont été recueillies : des données d’enregistrement audio-vidéo (des leçons et des entretiens de conseil pédagogique menés en suivant) ; des données d’autoconfrontation. Les données ont été analysées afin d’identifier les règles apprises et/ou suivies par les acteurs pour signifier leurs activités au cours de chacun des temps du dispositif.Les résultats montrent principalement l’intérêt pour le collectif de formateurs : (i) de mener une activité d’enseignement (et éventuellement d’explication) ostensive pour permettre à l’enseignant novice de réaliser les premiers suivis des règles conformes à leurs attentes ; (ii) d’aménager les situations de classe pour faciliter son constat des résultats attendus des règles préalablement enseignées ; (iii) d’accompagner son développement en l’aidant à faire usage des règles apprises dans de nouvelles circonstances. / One of the aims of European education policies in terms of professional training of pre-service teachers consists inconsolidating partnerships between universities and schools. At the scientific level, most studies emphasize the importance of strengthening the collaboration between trainers in both institutions through training programs based on the model of the “communities of practice” (Lave & Wenger, 1991). However, those studies do not really specify the nature of the activities organized in such programs. This study aims at analyzing the training activities of a team of trainers and their consequences on the professional training of pre-service teachers. It leans on a way of reading professional training of pre-service teachers (Bertone, 2011 ; Chaliès, 2012) which borrows some premises from a more global theory about learning (Nelson, 2008) and collective action (Wittgenstein, 2004). This way of reading is structured around three training activities : (i) teaching rules to enable pre-service teachers to give meaning to their experience and behave differently in class ; (ii) adjusting situations and checking the first instances of rule-following to enable them to observe the expected results; (iii) working along with them by helping them to interpret the rules they have learnt.This study was conducted together with two training teams in Physical Education. Every team was made up of one pre-service teacher and several trainers. They were created during training visits. Two sorts of data were gathered : audio and video recordings (of the lessons and of post-lesson interviews that had followed) ; self-confrontation data. Those information were analyzed so as to identify the rules that had been learnt and / or followed by the actors in order to give meaning to their activities in every step of the program.Results mainly show the significance, for the team of trainers, in : (i) carrying out a ostensive teaching activity (together with, possibly, an explanation), to enable the pre-service teachers to check if the first instances of rule-following are respected as they had planned ; (ii) adjusting class situations to make it easier to observe the results expected from the rules he would have taught beforehand ; (iii) working along with them in their professional development by helping them to use these very rules to new circumstances.

Depuis quelques années, nous assistons à une véritable explosion de la production de données dans de nombreux domaines, comme les réseaux sociaux ou le commerce en ligne. Ce phénomène récent est renforcé par la généralisation des périphériques connectés, dont l'utilisation est devenue aujourd'hui quasi-permanente. Le domaine aéronautique n'échappe pas à cette tendance. En effet, le besoin croissant de données, dicté par l'évolution des systèmes de gestion du trafic aérien et par les événements, donne lieu à une prise de conscience sur leur importance et sur une nouvelle manière de les appréhender, qu'il s'agisse de stockage, de mise à disposition et de valorisation. Les capacités d'hébergement ont été adaptées, et ne constituent pas une difficulté majeure. Celle-ci réside plutôt dans le traitement de l'information et dans l'extraction de connaissances. Dans le cadre du Visual Analytics, discipline émergente née des conséquences des attentats de 2001, cette extraction combine des approches algorithmiques et visuelles, afin de bénéficier simultanément de la flexibilité, de la créativité et de la connaissance humaine, et des capacités de calculs des systèmes informatiques. Ce travail de thèse a porté sur la réalisation de cette combinaison, en laissant à l'homme une position centrale et décisionnelle. D'une part, l'exploration visuelle des données, par l'utilisateur, pilote la génération des règles d'association, qui établissent des relations entre elles. D'autre part, ces règles sont exploitées en configurant automatiquement la visualisation des données concernées par celles-ci, afin de les mettre en valeur. Pour cela, ce processus bidirectionnel entre les données et les règles a été formalisé, puis illustré, à l'aide d'enregistrements de trafic aérien récent, sur la plate-forme Videam que nous avons développée. Celle-ci intègre, dans un environnement modulaire et évolutif, plusieurs briques IHM et algorithmiques, permettant l'exploration interactive des données et des règles d'association, tout en laissant à l'utilisateur la maîtrise globale du processus, notamment en paramétrant et en pilotant les algorithmes. / In the past few years, we have seen a large scale data production in many areas, such as social networks and e-business. This recent phenomenon is enhanced by the widespread use of devices, which are permanently connected. The aeronautical field is also involved in this trend. Indeed, its growing need for data, which is driven by air trafic management systems evolution and by events, leads to a widescale focus on its key role and on new ways to manage it. It deals with storage, availability and exploitation. Data hosting capacity, that has been adapted, is not a major challenge. The issue is now in data processing and knowledge extraction from it. Visual Analytics is an emerging field, stemming from the September 2001 events. It combines automatic and visual approaches, in order to benefit simultaneously from human flexibility, creativity and knowledge, and also from processing capacities of computers. This PhD thesis has focused on this combination, by giving to the operator a centered and decisionmaking role. On the one hand, the visual data exploration drives association rules extraction. They correspond to links between the data. On the other hand, these rules are exploited by automatically con_gurating the visualization of the concerned data, in order to highlight it. To achieve this, a bidirectional process has been formalized, between data and rules. It has been illustrated by air trafic recordings, thanks to the Videam platform, that we have developed. By integrating several HMI and algorithmic applications in a modular and upgradeable environment, it allows interactive exploration of both data and association rules. This is done by giving to human the mastering of the global process, especially by setting and driving algorithms.

Le concept de confiance est un concept sociocognitif qui adresse la question de l'interaction dans les systèmes concurrents. Quand la complexité d'un système informatique prohibe l'utilisation de solutions traditionnelles de sécurité informatique en amont du processus de développement (solutions dites de type dur), la confiance est un concept candidat, pour le développement de systèmes d'aide à l'interaction. Dans cette thèse, notre but majeur est de présenter une vue d'ensemble de la discipline de la modélisation de la confiance dans les systèmes informatiques, et de proposer quelques modèles logiques pour le développement de module de confiance. Nous adoptons comme contexte applicatif majeur, les applications basées sur les architectures orientées services, qui sont utilisées pour modéliser des systèmes ouverts telle que les applications web. Nous utiliserons pour cela une abstraction qui modélisera ce genre de systèmes comme des systèmes multi-agents. Notre travail est divisé en trois parties, la première propose une étude de la discipline, nous y présentons les pratiques utilisées par les chercheurs et les praticiens de la confiance pour modéliser et utiliser ce concept dans différents systèmes, cette analyse nous permet de définir un certain nombre de points critiques, que la discipline doit aborder pour se développer. La deuxième partie de notre travail présente notre premier modèle de confiance. Cette première solution basée sur un formalisme logique (logique dynamique épistémique), démarre d'une interprétation de la confiance comme une croyance sociocognitive, ce modèle présentera une première modélisation de la confiance. Apres avoir prouvé la décidabilité de notre formalisme. Nous proposons une méthodologie pour inférer la confiance en des actions complexes : à partir de notre confiance dans des actions atomiques, nous illustrons ensuite comment notre solution peut être mise en pratique dans un cas d'utilisation basée sur la combinaison de service dans les architectures orientées services. La dernière partie de notre travail consiste en un modèle de confiance, où cette notion sera perçue comme une spécialisation du raisonnement causal tel qu'implémenté dans le formalisme des règles de production. Après avoir adapté ce formalisme au cas épistémique, nous décrivons trois modèles basés sur l'idée d'associer la confiance au raisonnement non monotone. Ces trois modèles permettent respectivement d'étudier comment la confiance est générée, comment elle-même génère les croyances d'un agent et finalement, sa relation avec son contexte d'utilisation. / The concept of trust is a socio-cognitive concept that plays an important role in representing interactions within concurrent systems. When the complexity of a computational system and its unpredictability makes standard security solutions (commonly called hard security solutions) inapplicable, computational trust is one of the most useful concepts to design protocols of interaction. In this work, our main objective is to present a prospective survey of the field of study of computational trust. We will also present two trust models, based on logical formalisms, and show how they can be studied and used. While trying to stay general in our study, we use service-oriented architecture paradigm as a context of study when examples are needed. Our work is subdivided into three chapters. The first chapter presents a general view of the computational trust studies. Our approach is to present trust studies in three main steps. Introducing trust theories as first attempts to grasp notions linked to the concept of trust, fields of application, that explicit the uses that are traditionally associated to computational trust, and finally trust models, as an instantiation of a trust theory, w.r.t. some formal framework. Our survey ends with a set of issues that we deem important to deal with in priority in order to help the advancement of the field. The next two chapters present two models of trust. Our first model is an instantiation of Castelfranchi & Falcone's socio-cognitive trust theory. Our model is implemented using a Dynamic Epistemic Logic that we propose. The main originality of our solution is the fact that our trust definition extends the original model to complex action (programs, composed services, etc.) and the use of authored assignment as a special kind of atomic actions. The use of our model is then illustrated in a case study related to service-oriented architecture. Our second model extends our socio-cognitive definition to an abductive framework that allows us to associate trust to explanations. Our framework is an adaptation of Bochman's production relations to the epistemic case. Since Bochman approach was initially proposed to study causality, our definition of trust in this second model presents trust as a special case of causal reasoning, applied to a social context. We end our manuscript with a conclusion that presents how we would like to extend our work.

No description available.