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:
- 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)
- PDF:
- https://preview.aclanthology.org/nschneid-patch-4/2004.jeptalnrecital-long.33.pdf