Approche logique des grammaires pour les langues naturelles

Les contributions majeures de ce travail de recherche s'articulent autour des trois axes de base de la linguistique computationnelle, a savoir la logique, la linguistique et l'informatique. Nous proposons ainsi un nouveau systeme non-directionnel (GLE) permettant de simuler les operations transformationnelles du Programme Minimaliste dans un cadre logique qui fait appel au raisonnement hypothetique de maniere controlee. La pertinence de ce formalisme est soulignee en montrant sa capacite de prendre en charge des phenomenes linguistiques complexes, necessitant un partage contraint de ressources, tels que le liage d'anaphores ou la resolution d'ellipse. En outre, nous presentons un atelier logique ICHARATE destine a la recherche et l'enseignement de la linguistique computationnelle. Cet outil est compose de bibliotheques pour l'assistant a la demonstration Coq, qui comprennent la formalisation de systemes logiques avances dedies au traitement des langues naturelles, dont la logique multimodale.