Structuration automatique de preuves mathématiques : de la logique à la rhétorique
Adil El Ghali, Laurent Roussarie
Résumé : Nous présentons dans ses grandes lignes un modèle de structuration de documents pour la génération automatique de preuves mathématiques. Le modèle prend en entrée des sorties d’un prouveur automatique et vise à produire des textes dont le style s’approche le plus possible des démonstrations rédigées par des humains. Cela implique la mise au point d’une stratégie de planification de document capable de s’écarter de la structure purement logique de la preuve. La solution que nous proposons consiste à intégrer de manière simple des informations de type intentionnel afin d’enrichir la structure rhétorique finale du texte.
Mots clés : Génération automatique de textes, détermination de contenu, logiques de description, structuration de document, SDRT
Keywords : NLG, content determination, description logics, document structuring, SDRT