ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 26/9 - 2007  - pp.1111-1136  - doi:10.3166/tsi.26.1111-1136
TITRE
Une bibliothèque Coq pour le traitement des langues naturelles

RÉSUMÉ
Cet article présente les différentes fonctionnalités de l'outil ICHARAT E qui est un atelier logique basé sur l'assistant de preuves Coq et destiné à la recherche et l'enseignement de la linguistique computationnelle. Cet atelier est particulièrement dédié à la formalisation des grammaires catégorielles multimodales en Coq. Il permet de faciliter l'appréhension de ces modèles complexes en offrant aux utilisateurs la possibilité d'effectuer interactivement leurs analyses syntaxiques de phrases, d'obtenir leurs interprétations sémantiques et d'établir des propriétés génériques de classes entières de grammaires en se référant à un catalogue riche de règles dérivées. En outre, ICHARAT E dispose d'une interface utilisateur conviviale qui met en oeuvre diverses techniques pour faciliter l'interaction avec les novices.


ABSTRACT
This paper presents the logical toolkit ICHARAT E which is built upon a formalization of multimodal categorial grammars in Coq proof assistant. This toolkit aims at facilitating the study of these complicated formalisms by allowing users to build interactively the syntactic derivations of different sentences, compute their semantic interpretations and also prove universal properties of entire classes of grammars using a collection of already established derived rules. Moreover, ICHARAT E is provided with a user-friendly interface that implements various techniques in order to ease the interaction with beginners.


AUTEUR(S)
Houda ANOUN

Reçu le 9 mai 2006.    Accepté le 15 février 2007.

MOTS-CLÉS
traitement des langues naturelles, grammaires catégorielles multimodales, interface syntaxe/sémantique, logique d'ordre supérieur, assistant de preuves Coq.

KEYWORDS
natural langage processing, multimodal categorial grammars, syntax/semantics interface, higher order logic, Coq proof assistant.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (227 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier