Approche logique des grammaires pour les langues naturelles
59,00 €
56,05 €
Économisez 5%
Application de la logique formelle dans l'analyse syntaxique et sémantique des langues naturelles
Les contributions majeures de ce travail de recherche 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 le liage d'anaphores ou la résolution d'ellipse.
En outre, nous présentons un atelier logique 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.
Houda Anoun est ingénieur docteur en Informatique.Elle a suivi ses études de doctorat au sein du laboratoireBordelais de recherche en Informatique.
Son travail derecherche est axé sur l'application de la logique formelle dansle traitement des langues naturelles.
Actuellement, elle estmaitre de conférences à l'université Hassan II, Casablanca.
Fiche technique
- Auteur
- Houda Anoun
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pays
Maroc
Application de la logique formelle dans l'analyse syntaxique et sémantique des langues naturelles
Les contributions majeures de ce travail de recherche 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 le liage d'anaphores ou la résolution d'ellipse.
En outre, nous présentons un atelier logique 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.