Next:
Table des matières
Table des matières
Évolution de la structure
Vision générale du protocole
Première étape : pré-interprétation
Seconde étape : établissement des classes
Spécification des classes
Modifications ultérieures
Outils formels de manipulation
Opérateurs d'ajout et de retrait
Cas des épisémèmes
Ajout et retrait d'un sémème
Ajout et retrait d'un spécème
Ajout et retrait d'un taxème
Ajout et retrait d'un sème
Instauration et suppression des relations entre entités
Cas des épisémèmes
Sémème - taxème
Sémème - spécème
Sémème - sème
Taxème - sème
Spécème - sème
Opérateurs évolués
Activation d'un spécème
Cas particulier pour l'identité des sémèmes
Complétude du graphe d'opposition d'un taxème
Contrainte de l'afférence pure
Conclusion
La pré-interprétation
Pré-isotopies
De l'épisémème au sémème
Parcours interprétatif
De la pré-interprétation à l'interprétation
Point de départ
Identification des sémèmes
Partie générique
Création des taxèmes et isotopies associées
Création des domaines et isotopies associées
Gestion des contraintes sur
T
Résultat du traitement générique de la pré-interprétation
Partie spécifique
Création de
SP
Traitement des caractérisations positives
Traitement de la complétude faible
Conclusion
Modification locales
Repérage d'un sémème et placement dans un taxème
Note :
Élimination d'un sémème
Création d'un nouveau taxème
Note :
Identification d'un nouveau sème spécifique
Déclaration d'une afférence
Note :
Modifications globales
Généricisation d'une isotopie spécifique : l'opérateur
igen
Premier cas : pas d'isotaxémie
Deuxième cas : avec isotaxémie
Récapitulatif
Un exemple pour clarifier
Généricisation d'une isotopie quelconque :
igen
étendu
Cas d'une isotopie déjà générique
Cas d'une isotopie afférente
Généricisation de plusieurs isotopies
Spécification d'une isotopie générique : le non-opérateur
ispec
Conclusion
Relations et transformations intra-structurelles
Relations et transformations inter-structurelles
Àpropos de ce document...
Ludovic TANGUY
Fri Dec 5 17:36:15 MET 1997