Travaux en génération automatique à TALANA/LATTICE : présent et futur.

Laurence Danlos

Lattice-TALANA, Université Paris 7

Le 19 décembre 2001 à 11 h 30

Salle 3195, Pavillon André-Aisenstadt


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é.

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


Pour recevoir les annonces hebdomadaires par courriel, visitez http://rali.iro.umontreal.ca/rali/?q=fr/node/1631

Liste des autres séminaires