Une bibliothèque Coq pour le traitement des langues naturelles : Langages applicatifs développements et applications

ANOUN, Houda

In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136

academicJournal - print, 1 p.1/4

This paper presents the logical toolkit ICHARATε 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, TCHARATε is provided with a user-friendly interface that implements various techniques in order to ease the interaction with beginners.

Titel:	Une bibliothèque Coq pour le traitement des langues naturelles : Langages applicatifs développements et applications
Autor/in / Beteiligte Person:	ANOUN, Houda
Link:	View record from PASCAL Archive
Zeitschrift:	TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136
Veröffentlichung:	Paris: Lavoisier, 2007
Medientyp:	academicJournal
Umfang:	print, 1 p.1/4
ISSN:	0752-4072 (print)
Schlagwort:	Computer science Informatique Sciences exactes et technologie Exact sciences and technology Sciences et techniques communes Sciences and techniques of general use Mathematiques Mathematics Logique mathématique, fondements, théorie des ensembles Mathematical logic, foundations, set theory Logique et fondements Logic and foundations Théorie de la preuve et mathématiques constructives Proof theory and constructive mathematics Sciences appliquees Applied sciences Informatique; automatique theorique; systemes Computer science; control theory; systems Informatique théorique Theoretical computing Fonctions logiques, booléennes et de commutation Logical, boolean and switching functions Logiciel Software Génie logiciel Software engineering Intelligence artificielle Artificial intelligence Reconnaissance et synthèse de la parole et du son. Linguistique Speech and sound recognition and synthesis. Linguistics Analyse syntaxique Syntactic analysis Análisis sintáxico Démonstration automatique Automatic proving Demostración automática Grammaire catégorielle Categorial grammar Gramática catogórica Interface utilisateur User interface Interfase usuario Langage naturel Natural language Lenguaje natural Logique ordre supérieur High order logic Lógica orden superior Outil logiciel Software tool Herramienta software Phrase Sentence Frase Sémantique Semantics Semántica Vérification programme Program verification Verificación programa Coq proof assistant higher order logic multimodal categorial grammars natural langage processing syntax/semantics interface
Sonstiges:	Nachgewiesen in: PASCAL Archive Sprachen: French Original Material: INIST-CNRS Document Type: Article File Description: text Language: French Author Affiliations: LaBRI, Bordeaux 1, Signes (INRIA Futurs) 351, Cours de la Libération, 33405, Talence, France Rights: Copyright 2008 INIST-CNRS ; CC BY 4.0 ; Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS Notes: Computer science; theoretical automation; systems ; Mathematics

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.