TALANA/Lattice s'est donné come objectif de réaliser un système de rapports expliquant les résultats d'un système de preuves automatique. Ce générateur prendra en entrée la sortie de PhoXe, un système de preuves réalisé au département de mathématique de Paris 7 et produire des explications sur le raisonnement mathématique utilisé.

• un module de détermination du contenu qui prend la sortie de Phoxe et calcule une forme logique enrichie,
• un module de structuration du document qui calcule une SDRS à partir d'une forme logique,
• un module de microplanification qui calcule une représentation sémantique à partir d'une SDRS,
• un module de réalisation linguistique qui engendre un texte à partir d'une représentation sémantique.

On présentera l'état d'avancement du projet et les difficultés rencontrées.