147

Formalisation de la notion d'objet en biologie

Cette assertion exprime le fait que si on a qu'un seul orifice à la face exhalante, alors on ne doit pas s'intéresser à la description des variables observables dimension et répartition des orifices (la 1^èreparce qu'elle n'est plus pertinente, la seconde parce qu'elle n'est pas observable dans ce contexte).

5.4.2 Cas des objets :

S'il y a dépendance entre un sous-ensemble de valeurs V_j[!] O_jet ensemble d'objets P_k[!] P, on peut avoir une règle du type : si y_i= V_ialors $ P_k[!]P^<
i^{/P= P\ Pk}

Exemple:
Prenons la horde composite "amphidisques" :

un sous-

h₁₇= [si[[type(amphidisques)] (u¹⁷
i^{) = micramphidisque] alors}
[L₂₀= L₂₀\{[allongement(ombrelles)] (u¹⁷
i^{)}] [!]}
[P = P \ {dents(u¹⁷
i^)}]]][!]
[[localisation(amphidisques)] (u¹⁷
1^{) = V17,1}
1^{] [!]}
[[taille(amphidisques)] (u¹⁷
1^{) = V17,1}
2^{] [!]}
[subpart(amphidisques)](u¹⁷
1^{) = {tige(u17}
1^{),ombrelles(u1717}
1^),dents(u1^)}] [!]
[[localisation(amphidisques)] (u^1717,2
2^{) = V}1^{] [!]}
[[taille(amphidisques)] (u^1717,2
2^{) = V}2^{] [!]}
[...]

Dans cette horde, la règle indique que si le type de l'amphidisque est un micramphidisque (quelle que soit l'instance d'amphidisque concernée), alors on ne doit pas s'intéresser à la description de la variable allongement des ombrelles (partie nº 20 de l'éponge) de l'amphidisque (partie nº 17), mais aussi que les dents (partie nº 21) de ces micramphidisques ne sont plus observables dans ce contexte.

Plus généralement, on peut énoncer des règles implicites très fortes s'appliquant à chaque objet de la description dont la valeur attachée à la variable y_i= "sous-partie-de(objet _i)" est un objet non présent (¬) ou inconnu (?) :

" v [!] V_i,

si y_i= ¬v ou y_i= ?v alors " P_k[!]P^<L^<
i^{, " Lk[!]}i P= P\ P_ket L_j= L_j \ L_k