Détermination de contenu dans GEPHOX

Adil El Ghali


Abstract
Le générateur GEPHOX que nous réalisons a pour ambition de produire des textes pour des définition ou preuves mathématiques écrites à l’aide de l’assistant de preuve PHOX. Dans cet article nous nous concentrons sur le module de détermination de contenu ContDet de GEPHOX. Après un aperçu sur l’entrée du générateur, i.e. la preuve formelle et l’ensemble des règles ayant permis de l’obtenir, nous décrivons les base de connaissances du générateur et le fonctionnement de l’algorithme de détermination de contenu.
Anthology ID:
2004.jeptalnrecital-long.33
Volume:
Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs
Month:
April
Year:
2004
Address:
Fès, Maroc
Editors:
Philippe Blache, Noël Nguyen, Nouredine Chenfour, Abdenbi Rajouani
Venue:
JEP/TALN/RECITAL
SIG:
Publisher:
ATALA
Note:
Pages:
319–328
Language:
French
URL:
https://aclanthology.org/2004.jeptalnrecital-long.33
DOI:
Bibkey:
Cite (ACL):
Adil El Ghali. 2004. Détermination de contenu dans GEPHOX. In Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, pages 319–328, Fès, Maroc. ATALA.
Cite (Informal):
Détermination de contenu dans GEPHOX (El Ghali, JEP/TALN/RECITAL 2004)
Copy Citation:
PDF:
https://aclanthology.org/2004.jeptalnrecital-long.33.pdf