144

Chapitre 5

[[longueur(membres)] (u^xx,1
1^{) = V}1^{]] [!]}
[[position(membres)] (u^xx,2
1^{) = V}1^{= {avant}] [!]}
[[subparts(membres)] (u^x
1^{) = {pieds(ux), genoux(ux), jambes(ux}
111^{)}] [!]}

[[longueur(membres)] (u^x
2^{) = Vx,2}
1^{]] [!]}
[[position(membres)] (u^x
2^{) = {arrière}] [!]}
[[subparts(membres)] (u^x) = {pieds(u^x), genoux(u^x), jambes(u^x
2222^)}]

h_x

=

Les valeurs V^x,3
1^{, Vx,3}
2^{, Vx,3}
3 des assertions :

de la variables y^x
3

= [subparts(membres)] sont ici

= pieds(u^x
1^{) = [[forme(pieds)] (ux) = Vy,1]] [!] [[taille(pieds)] (ux) = Vy,2}
1112^]

a_y

Dans cet exemple, l'utilisateur qui ne sait pas distinguer les membres postérieurs des membres antérieurs d'un mammifère peut néanmoins décrire deux sortes de membres sans avoir la connaissance de spécialisation nécessaire. Il indiquera seulement la position des membres : à l'avant ou bien à l'arrière.

Une horde composite "microxyhexactines" de l'éponge s'écrit :

[[diametre(microxyhexactines)] (u^1616,1
1^{) = V}1^{] [!]} [[localisation(microxyhexactines)] (u^1616,2
1^{) = V}1^{] [!]} [[subparts(microxyhexactines)] (u¹⁶¹⁶
1^{) = {rayon(u}1^{)}] [!]}

[[diametre(microxyhexactines)] (u^1616,1
2^{) = V}2^{] [!]} [[localisation(microxyhexactines)] (u^1616,2
2^{) = V}2^{] [!]} [[subparts(microxyhexactines)] (u¹⁶¹⁶
2^{) = {rayon(u}2^)}]

h₁₆=

5.3.1 Rappel sur les objets de synthèse (symboliques)

,Soient W₁,..., W_mm ensembles de parties élémentaires de w caractérisées respectivement par m ensembles de variables Y₁,...,Y_m.

H_iest l'ensemble de toutes les hordes symboliques définies sur [Wⁿⁱ
i^].