Approche logique des grammaires pour les langues naturelles - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2007

A logical approach to grammar for natural languages

Approche logique des grammaires pour les langues naturelles

Résumé

The major contributions of this thesis are articulated around the three basic axes of computational linguistics, namely logic, linguistics and computer science. We propose a new undirected system GLE which allows to simulate the transformational operations of the Minimalist Program within a logical setting. The relevance of this formalism is underlined by showing its ability to deal with complex linguistic phenomena, requiring constrained resource sharing, such as anaphora binding or ellipsis resolution. Moreover, we present a logical framework, called ICHARATE, intended for the study of computational linguistics. This tool is composed of libraries, built upon the Coq proof assistant, which include the formalization of advanced logical systems dedicated to natural language analysis, such as multimodal logic.
Les contributions majeures de cette thèse s'articulent autour des trois axes de base de la linguistique computationnelle, à savoir la logique, la linguistique et l'informatique. Nous proposons ainsi un nouveau système non-directionnel GLE permettant de simuler les opérations transformationnelles du Programme Minimaliste dans un cadre logique qui fait appel au raisonnement hypothétique de manière contrôlée. La pertinence de ce formalisme est soulignée en montrant sa capacité à prendre en charge des phénomènes linguistiques complexes, nécessitant un partage contraint de ressources, tels que le liage d'anaphores ou la résolution d'ellipse. En outre, nous présentons un atelier logique, nommé ICHARATE, destiné à la recherche et l'enseignement de la linguistique computationnelle. Cet outil est composé de bibliothèques pour l'assistant à la démonstration Coq, qui comprennent la formalisation de systèmes logiques avancés dédiés au traitement des langues naturelles, dont la logique multimodale.
Fichier principal
Vignette du fichier
whole.pdf (790.13 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00414778 , version 1 (10-09-2009)

Identifiants

  • HAL Id : tel-00414778 , version 1

Citer

Houda Anoun. Approche logique des grammaires pour les langues naturelles. Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2007. Français. ⟨NNT : ⟩. ⟨tel-00414778⟩
220 Consultations
1038 Téléchargements

Partager

Gmail Facebook X LinkedIn More