Formalisation à base de relations binaires

Notre choix de formalisation est simple mais puissant. Il se base sur une notion de << relation élémentaire >> entre deux éléments x et y, à travers z^4.16 :

$$x\stackrel{z}{\longrightarrow} y$$

Une SST sera un ensemble de telles relations élémentaires ( RE), ayant une certaine propriété, par exemple ``toutes les parties 'y' identiques''. Cette propriété correspond à un type $c\in{\cal T}$, le type de la SST.

La construction (${\cal K}$) d'une nouvelle SST de type c, à partir d'un ensemble de SST-sources, essaiera d'extraire un sous ensemble de relations élémentaires ( RE) des SST-sources et de les combiner de façon à produire une nouvelle SST qui respecte la propriété correspondant au type c.

Nous ne voulons pas donner un sens précis à une RE $x\stackrel{z}{\longrightarrow} y$, si ce n'est le sens trivial : << x est relié à y par la relation z >>. C'est l'usage que l'on en fait, stimulé par les besoins particuliers de l'utilisateur, qui donne finalement un sens aux RE. Nous nous limiterons aux quatre remarques suivantes :

1.

la forme d'une RE présentée plus haut est généralement non symétrique : $x\stackrel{z}{\longrightarrow} y$ est différent de $y\stackrel{z}{\longrightarrow} x$

2.

x et y sont toujours des entités positionnées (c.-à-d. lexies, textes ou même anagnoses). Elles appartiennent certainement aux éléments (${\cal E}$) de la SST à laquelle appartient la RE.  

3.

z par contre a un statut intermédiaire. Il peut être soit une entité positionnée soit une entité méta-linguistique, par exemple une primitive, au sens d'universel de méthode [57, p.61] (e.g. attributif, datif, bénéfactif, etc.). Dans ce deuxième cas, z ne fait pas partie des éléments de la SST et par conséquent, z ne peut pas être un élément effectif.

4.

une entité positionnée présente dans une RE est un élément (${\cal E}$) de la SST où RE appartient et peut donc être un élément effectif ( ${\cal E}_f$) selon le type et la construction de la SST.