Unification d'arborescences : évaluation sémantique d'énoncés en langue naturelle
Résumé
Elaboration d'un algorithme d'unification après présentation de la notion de ramification. Cet algorithme peut aussi être utilisé dans le cadre de la transformation de programmes. Puis étude d'un système d'analyse linguistique dans lequel est intégré l'algorithme.