Abstract FR:

Nous présentons dans cette thèse un nouveau modèle formel d'analyse et de représentation de textes écrits, particulièrement adapte à l'étude de la verbalisation de taches cognitives. Ce modèle ne s'attache pas tant a décrire la sémantique des textes qu'a cerner ce qu'ils révèlent des choix de leurs auteurs, dont nous cherchons a caractériser le style: au niveau énonciatif, les choix lexicaux et syntaxiques sont analysés grâce a un système de traits intégré dans un langage formel (algébrique) ; au niveau cognitif, les choix d'organisation globale du discours sont représentés dans un automate fini. Ce modèle est calculable et il a, en grande partie, été implémenté par une grammaire catégorielle. Nous détaillons et développons également les propriétés de ces grammaires, ainsi que le mode de génération automatique de notre représentation, inspiré de celui défini par Montague. Nous l'appliquons à un corpus de récits de prises de décision