INTRODUCTION : La compréhension inférentielle joue un rôle clé en lecture à l’âge scolaire et émergerait dès l’âge de 3 ou 4 ans. Or, malgré sa pertinence pendant la période préscolaire, elle est relativement peu documentée chez les enfants de 3 à 6 ans. Une meilleure description de ses jalons développementaux contribuerait aux connaissances nécessaires pour mieux la mesurer et la stimuler chez les jeunes enfants. OBJECTIFS : La thèse vise à décrire le développement de la compréhension de six types d’inférences causales liées à la grammaire de récit d’une histoire (les réponses internes, le problème, le but, les tentatives de résolution du problème, les prédictions et la solution) en contexte de lecture partagée chez les enfants de 3 à 6 ans. L’objectif 1 consiste à dégager une proposition théorique de la séquence développementale par le biais d’une recension des écrits. À partir des jalons théoriques proposés, l’objectif 2 est de concevoir un outil d’évaluation et d’en déterminer les qualités psychométriques. Avec l’outil, l’objectif 3 est d’en décrire le développement auprès d’enfants âgés de 3 à 6 ans. MÉTHODES : Suivant la recension des écrits, l’outil de lecture partagée Un abri pour Pinson est conçu sur iPad. Pour répondre aux objectifs 2 et 3, les participants sont 121 enfants au développement typique âgés de 3 à 6 ans divisés en trois groupes selon l’âge et le milieu éducatif fréquenté (milieu de garde ou maternelle). RÉSULTATS : Une séquence développementale de la compréhension des inférences causales chez les enfants de 3 à 6 ans est proposée. Dès 3 ans, les enfants démontrent des habiletés inférentielles émergentes, qui s’améliorent significativement avec l’âge. Dès 4 ans, les enfants peuvent inférer les réponses internes, le problème et les prédictions. Vers 5 et 6 ans, les enfants infèrent plus facilement le but, les tentatives de résolution du problème et la solution. Également, avec l’âge, les enfants se rapprochent des cibles attendues en termes de qualité de réponses produites. CONCLUSION : Cette thèse contribue à une meilleure caractérisation d’un pilier important à la compréhension en lecture et ouvre sur des pistes de réflexion quant à la stimulation de cette habileté au préscolaire. / INTRODUCTION: Inferential abilities play a critical role in reading comprehension at school age and emerge between 3 or 4 years of age. Despite its relevance during the preschool period, it is relatively poorly documented in children aged 3-6. A better description of its developmental milestones would contribute to the knowledge needed to better measure and stimulate it in young children. OBJECTIVES: This thesis aims to describe the development of comprehension of six causal inferences in children between 3-6 years old. These inferences target elements of story grammar (i.e. internal responses, problem, goal, attempts to solve the problem, predictions and solution) in the context of a narrative. The first aim is to propose milestones in the development of this ability through a scoping review. The second, based on the theoretical sequence proposed, is to create a dialogic reading task application for iPad and to evaluate its psychometric properties. The third aim is to describe the inferential comprehension development of 3 to 6-year-old by using the dialogic reading task on iPad. METHODS: Following the scoping review, the task Un abri pour Pinson (“A shelter for Pinson”) was created for use on the iPad. To answer objectives 2 and 3, 121 typically developing children from 3-6 years of age are divided into three groups according to age range and program attended (daycare centers or kindergarten). RESULTS: A developmental sequence of the comprehension of six causal inferences targeting elements of story grammar is proposed for children from 3-6 years old. Inferential comprehension emerged early, from 3-4 years old, with considerable inter-individual variability. The ability to infer the problem of the story, the internal response of a character, and predictions were easier starting at age 4. Then, the 5-6 years old were better able to infer the goal, the attempt to solve the problem, and the resolution. Finally, between the ages of 3 and 6, children improved in terms of the quality of response they provided. CONCLUSION: This thesis contributes to a better characterization of an important pillar of reading success. This knowledge will lead to better support educational and intervention strategies with regards to this ability in preschool facilities.

No description available.

La vérité, dit-on, est un des buts de la science. Mais quelle est la place de la notion de vérité elle-même dans le langage de la science ? Cette notion peut-elle être suffisamment clarifiée ? Et si oui, quelle peut être sa contribution au discours scientifique, pour quels usages la notion de vérité peut-elle être mobilisée ? Ce travail cherche à répondre à ces questions. Sa thèse principale est que la notion de vérité s'apparente à une notion logique. Cette idée s'inscrit dans un courant de réflexion contemporain sur la vérité appelé "déflationnisme", mais la formulation des thèses déflationnistes que nous proposons est nouvelle, comme sont nouveaux les arguments et les idées mises en œuvre pour l'étayer. Négativement, une critique détaillée d'une tentative influente de réfutation a priori des thèses déflationnistes est présentée. Positivement, nous caractérisons d'une part une classe critique d'affirmations mettant en jeu la notion de vérité comme ensemble de moyens d'expliciter des contenus déjà implicitement acceptés, et nous introduisons d'autre part des considérations et des outils permettant de comprendre le lien entre la thèse de la logicité de la notion de vérité et les thèses déflationnistes classiques relatives aux emplois légitimes de cette notion.

Les logiques modales sont des logiques permettant la représentation et l'inférence de connaissances. La logique hybride est une extension de la logique modale de base contenant des nominaux, permettant de faire référence à un unique individu ou monde du modèle. Dans cette thèse nous présentons plusieurs algorithmes de tableaux pour logiques hybrides expressives. Nous présentons aussi une implémentation de ces calculs, et nous décrivons les tests de correction et de performance que nous avons effectués, ainsi que les outils les permettant. De plus, nous étudions en détail une famille particulière de logiques liée aux logiques hybrides : les logiques avec opérateurs de comptage. Nous étudions la complexité et la décidabilité de certains de ces langages / Modal logics are logics enabling representing and inferring knowledge. Hybrid logic is an extension of the basic modal logic that contains nominals which enable to refer to a single individual or world of the model. In this thesis, we present several tableaux-based algorithms for expressive hybrid logics. We also present an implementation of these calculi and we describe correctness and performance tests we carried out, and the tools that enable these. Moreover, we study a particular family of logics related to hybrid logics: logics with counting operators.We investigate previous results, and study the complexity and decidability of certain of these languages

Des réalisations hiérarchisées et systématiques de logiques en bandes sont proposées dans différentes technologies (découpage en cellules fonctionnelles, assemblages en bandes de cellules fonctionnelles puis en blocs). Un système d'implantation automatisé, OASIS II, permet de placer, d'améliorer le placement et de connecter de tels circuits. On propose une application de ces méthodes à l'optimisation topologique des PLA

La première partie propose divers systèmes de réseaux d'interaction (calcul par réécriture muni d'une réduction atomique, locale et parallèle) qui simulent l'exécution des preuves de la logique linéaire (considérées comme des programmes). Les différents fragments de cette logique sont abordés, on y ajoute aussi une récursion pour atteindre l'expressivité des langages de programmation usuels. Ce procédé de simulation permet d'exécuter certains langages à l'aide d'une petite machine d'exécution multi-processeurs. Il s'appuie sur des représentations localisées de boîtes issues des réseaux de preuve ; certaines utilisent avantageusement un canal de contrôle pour ne rien perdre de la structure des preuves représentées. La deuxième partie s'articule autour de la logique linéaire différentielle et de ses ressources à usage unique. On la munit d'une super-promotion, qui se distingue notamment d'une promotion ordinaire parce qu'elle préserve la symétrie originelle de ce formalisme. C'est la pendante côté logique de la réplication qu'on trouve parfois dans les algèbres de processus. On arrive à isoler l'un de ses composants plus primitifs, le co-enfouissement, responsable de leur dynamique incontrôlée (pour l'instant). Cette construction peut être exprimée dans la syntaxe du λ-calcul avec ressources ou dans un système de réseaux. La séquentialisation de ces derniers requiert une présentation originale de la logique, fondée sur un calcul de structures, et qui a potentiellement d'autres intérêts. Il est aussi question de réalisabilité pour les systèmes différentiels et de sémantique relationnelle pour les divers réseaux présentés.

Cette thèse est une étude de la géométrie de l'interaction dans le facteur hyperfini (GdI5), introduite par Jean-Yves Girard, et de ses liens avec les constructions plus anciennes. Nous commençons par montrer comment obtenir des adjonctions purement géométriques comme une identité entre des ensembles de cycles apparaissant entre des graphes. Il est alors possible, en choisis- sant une fonction qui mesure les cycles, d'obtenir une adjonction numérique. Nous montrons ensuite comment construire, sur la base d'une adjonction numérique, une géométrie de l'interaction pour la logique linéaire multiplicative additive où les preuves sont interprétées par des graphes. Nous expliquons également comment cette construction permet de définir une sémantique dénotationnelle de MALL, et une notion de vérité. Nous étudions finalement une généralisation de ce cadre utilisant des outils de théorie de la mesure afin d'interpréter les exponentielles et le second ordre. Les constructions sur les graphes étant paramétrées par une fonction de mesure des cycles, nous entreprenons ensuite l'étude de deux cas particuliers. Le premier s'avère être une version combinatoire de la GdI5, et nous obtenons donc une interprétation géométrique de l'orthogonalité basée sur le déterminant de Fuglede-Kadison. Le second cas particulier est une version combinatoire des constructions plus anciennes de la géométrie de l'interaction, où l'orthogonalité est basée sur la nilpotence. Ceci permet donc de comprendre le lien entre les différentes versions de la géométrie de l'interaction, et d'en déduire que les deux adjonctions -- qui semblent à première vue si différentes -- sont des conséquences d'une même identité géométrique. Nous étudions ensuite la notion de vérité subjective. Nous commençons par considérer une version légè- rement modifiée de la GdI5 avec une notion de vérité dépendant du choix d'une sous-algèbre maximale commutative (masa). Nous montrons qu'il existe une correspondance entre la classification des masas introduite par Dixmier (regulière, semi-régulière, singulière) et les fragments de la logique linéaire que l'on peut interpréter dans cette géométrie de l'interaction. Nous étudions alors la vérité subjective de la GdI5, qui dépends du choix d'une représentation du facteur hyperfini de type II1, à la lumière de ce résultat. Finalement, nous détaillerons une proposition de Girard pour étudier les classes de complexité et dé- taillons la caractérisation obtenue par ce dernier de la classe de complexité co-NL, en montrant comment coder un problème complet pour cette classe à l'aide d'opérateurs.

Cette thèse présente une conception de la rationalité qui évite les idéalisations des capacités cognitives des agents logiques, typiques des conceptions statiques de la rationalité axiomatique dans laquelle un agent n'est rationnel que dans la mesure où il ne se contredit pas et ce, peu importe les capacités cognitives qui lui sont allouées par les axiomes qui énoncent les normes auxquelles il doit se conformer pour être considéré rationnel (comme dans la théorie de la décision « standard » et les systèmes de preuve hilbertien). Afin d'obvier à ces idéalisations, je suggère d'utiliser l'approche dialogique de la logique (Lorenzen) dans la mesure où elle permet de délaisser la logique classique au profit d'une logique plus « faible » et de déployer une conception alternative de la rationalité « non monotone », c'est-à-dire « non cumulative » et dynamique. Dans ce contexte, je discute de la possibilité de procéder à une radicalisation des conditions d'assertabilité de la théorie anti-réaliste de la signification de Dummett qui prenne mieux en compte les actes judicatifs réellement à la portée des agents logique ainsi que les conséquences de cette radicalisation sur le choix de la logique. Sur cette base, je défends une conception de la rationalité des agents en termes de leurs capacités réelles, et non idéalisées, à justifier leurs assertions dans un cadre dialogique. Je suggère finalement de regarder du côté de la théorie de la rationalité « Socratique » de Sellars-Brandom que je compare à l'approche pragmatique de Lorenzen, car toutes les deux visent à rendre explicite ce qui est implicite dans nos jeux de langage, c'est-à-dire d'être capable de justifier ce que nous assertons. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Philosophie, Logique, Rationalité, Inférence, Épistémologie

Issue des travaux sur la logique linéaire et l'analyse calculatoire de la logique classique, la notion de polarités semble jouer un rôle essentiel dans l'étude actuelle des systèmes logiques. La polarisation est une contrainte qui simplifie les objets tout en conservant une expressivité suffisante d'un point de vue informatique.<br /><br />L'objet de cette thèse est d'étudier et d'exploiter cette nouvelle structure afin en particulier de mettre à jour les relations entre la logique classique et la logique linéaire (LL). L'introduction des polarités dans LL permet de mieux appréhender ce vaste système et de prolonger le développement de différents outils trop complexes en l'absence de cette contrainte. Nous définissons ainsi, pour la logique linéaire polarisée (LLP), des réseaux de preuve intégrant les connecteurs additifs de manière satisfaisante, une sémantique des jeux polarisés qui réconcilie jeux et dualité, une géométrie de l'interaction parallèle et d'autres sémantiques dénotationnelles basées sur des notions connues (espaces de corrélation, catégories de contrôle).<br /><br />Il est important de montrer que malgré cette contrainte, LLP reste un système suffisamment expressif. Pour cela nous étudions en détail les traductions des différents systèmes de logique classique déterministe connus (LC, lambda-mu calcul, ...) aussi bien en appel par nom qu'en appel par valeur. De surcroît, les traductions obtenues pour ces systèmes sont plus simples que celles vers LL.<br /><br />Enfin la souplesse de ces traductions nous permet d'analyser plus finement certaines propriétés de la logique classique tout comme LL permet d'analyser la logique intuitionniste. On peut ainsi étudier un équivalent linéaire des CPS-traductions.

Les progrès des technologies de mesure et le séquençage des génomes, ont permis l'émergence, dans les années 1990, de techniques de mesure globale de l'expression génique, les puces à ADN. Ce type d'expérience, dit à " haut débit ", en raison du volume de données qu'elles génèrent nécessitent un traitement automatique pour l'interprétation des résultats. Dans ce but, de nombreuses approches ont été développées, essentiellement réparties en deux familles : les méthodes de classification supervisées et non supervisées. Nous présentons ici la distillation sémantique, une approche de classification non supervisée originale fondée sur un formalisme inspiré de la mesure physique en mécanique quantique permettant l'analyse des résultats d'analyse de puces à ADN. Cette méthode fournit à l'utilisateur une liste de gènes ordonnée par spécificité pour chaque échantillon biologique de l'expérience, décrivant ainsi chaque contexte cellulaire ainsi que l'influence de chaque gène dans ces contextes. Celleci a été mise à l'épreuve sur deux jeux de données : un jeu " tissus-spécifique " pour lequel notre méthode a correctement caractérisé les gènes spécifiques de chaque tissu, et un jeu de données cliniques de patients atteints de fibroses hépatiques à divers stades pour lequel la distillation sémantique a permis de trouver des signatures dans les voies métaboliques et les processus biologiques associés aux gènes spécifiques de chaque stade de la maladie.