Skip to Main content Skip to Navigation
Conference papers

Méta-linguistique dans l'assistant de preuves Coq

Houda Anoun 1
1 L3A - Logiques, Automates, Algorithmique et Applications
LaBRI - Laboratoire Bordelais de Recherche en Informatique
Résumé : Les grammaires catégorielles sont des formalismes très généraux basés sur des systèmes d'inférence logiques et dédiés à l'analyse des langues naturelles. Elles ont l'avantage de garantir une interface syntaxe/ sémantique aisée. Plusieurs modèles logiques enrichis ont été récemment définis pour rendre compte de différents phénomènes linguistiques assez complexes. Toutefois, l'adéquation de ces formalismes vient au détriment de leur simplicité et leur complexité d'analyse. Nous réalisons un outil destiné à la recherche et l'enseignement de la linguistique computationnelle, permettant d'appréhender ces modèles, en construisant des analyses syntaxiques de phrases et leur interprétation sémantique, mais aussi en établissant des propriétés de classes entières de langages et en étudiant les relations entre divers formalismes. Cet outil : l'atelier ICHARAT E, est composé de bibliothèques pour l'assistant à la démonstration Coq. Nous décrivons dans cet article les principales fonctionnalités de cet atelier, en montrant comment il répond aux besoins exprimés ci-dessus.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000677
Contributor : Anne Jaigu <>
Submitted on : Monday, November 14, 2005 - 3:19:39 PM
Last modification on : Thursday, January 11, 2018 - 6:20:24 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:09:01 PM

File

Identifiers

  • HAL Id : inria-00000677, version 1

Collections

Citation

Houda Anoun. Méta-linguistique dans l'assistant de preuves Coq. MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.127-134. ⟨inria-00000677⟩

Share

Metrics

Record views

126

Files downloads

158