Approche logique des grammaires pour les langues naturelles

par Houda Anoun

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Alain Lecomte et de Pierre Castéran.

Soutenue en 2007

à Bordeaux 1 .


  • Résumé

    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é de prendre en charge des phénomènes linguistiques complexes, nécessitant un partage contraint de ressources, tels que liliage d'anaphores ou la résolution d'ellipse. En outre, nous présentons un atelier logique ICHARTE 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é au traitement des langues naturelles, dont la logique multimodale.

  • Titre traduit

    ˜A œlogical approach to grammar for natural languages


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (v-165 p.)
  • Annexes : Bibliogr. p. 143-148. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FTA 3446
  • Bibliothèque : Université de Bordeaux. Direction de la documentation. Bibliothèque de recherche Mathématiques et Informatique.
  • PEB soumis à condition
  • Cote : 21314
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.