Next: Modification locales
Up: De la pré-interprétation à
Previous: Traitement de la complétude
Avec ces opérations, toutes les contraintes énumérées au chapitre
précédent sont respectées, la structure sémantique globale de
l'interprétation est stabilisée.
Il nous reste maintenant à envisager les différentes modifications qui
peuvent s'appliquer à une telle structure stabilisée. Nous allons
distinguer pour cela deux types de modifications :
- Ajout ou retrait d'éléments, soit des modifications locales de la
structure. Nous envisagerons alors les conséquences de telles
actions sur l'ensemble des entités.
- Modifications globales, cherchant à réorganiser l'ensemble de
la structure. Nous verrons plus loin l'utilité de telles
transformations. Contentons-nous d'annoncer que ces transformations
concerneront, au départ, la nature des isotopies.
Ludovic TANGUY
Fri Dec 5 17:36:15 MET 1997