Un langage formel pour le traitement des chroniques
Institution:
Aix-Marseille 1Disciplines:
Directors:
Abstract EN:
This thesis presents a formal approach to the study of time series. This approach led us to define time series as a function of the temporal organization of complex activities found in psychology,and then to characterize some descriptive statistical processing in terms of the selection and comparison of sub-series. Five formal operations suffice to account for selection on the set of the sub-series, fitted with a boolean lattice structure. Questions about how temporally-coded data might be formatted and compared, and how formal operations might be used in function of formulated psychological hypothesis, are illustrated widely. Three processing are examined closely. Each one is studied in its mathematical frame. Then we show how it allows the studying of strategies understood like sequential combination of procedures in differend fields of thepsychology. In particular, in the field of text revision, an exemple is given o how the distance betwen time series can be used to measure the difference beetween a subject's production and simulated production in application of one of six strategies based on a few functional principles. Thus our formalisation has allowed to develop new tools for descriptive statistical processing. These tools are suited to the formals requirements of data and to theoreticals requirements of cognitive psychology.
Abstract FR:
L objet de cette these est une approche formelle de l etude des chroniques. Cette approche conduit d une part a definir une chronique en fonction de l organisation temporelle d activites complexes telle que l on peut la trouver en psychologie, et d autre part a caracteriser divers traitements staistiques descriptifs en termes de selection et comparaison de sous-chroniques. Cinqoperations formelles suffisent a rendre compte de ces selections sur l ensemble des sous chroniques structure en treillis booleen. Les problemes poses par la construction d une chronique ainsi que l utilisation des operations en fonction des hypotheses que l on cherche a valider, sont largement illustres. Trois traitements sont examines de maniere detaillee. Chacun est replace dans un cadremathematique et nous montrons comment il permet letude de strategies, comprises comme combinaisons sequentielles de procedures a travers differents champs de la psychologie. En particulier, dans le domaine de la revision de texte, on presente comment l utilisation d une distance a permis de mesurer l ecart entre la production d un sujet et une production simulee selon six strategies reposant sur quelques principes fonctionnels. Ainsi notre travail de formalisation a permis de developper de nouveaux outils d analyse statisique descriptive, adaptes aux exigences formelles des donnees et aux exigences theoriques d une optique de la psychologie qui privilegie l analyse de l activite cognitive en termes de modeles de processus de traitement mis en oeuvre par un sujet pour effectuer une tache complexe.