1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

141

Formalisation de la notion d'objet en biologie

Wn

"u = (u1,...,un) [!] Wn, hs(u) = vrai "i = 1,...,p on a yi(ui) [!]Vi.

[!] {vrai, faux} /

hs:

ssi

Dans la notation précédente, les uireprésentent différentes instances d'individus non nécessairement identiques.

L'extension de hsnotée | hs|West l'ensemble des individus u [!]Wnpour lesquels hs(u) = vrai. Lorsque tous les uisont identiques, l'objet horde se réduit à un objet assertion (on a H [!]A, l'ensemble des hordes du domaine).

5.2.2 proposition : les objets hordes

Un objet horde est défini par la fonction h. h : Wn[!] {vrai, faux} /h(u) = vrai ssi "i = 1,...,p

Exemple:

on a yi(ui) [!]Oi.

Soit W32 

= {w1,..,w32}, l'ensemble des descriptions observées de dents chez

un humain.

Soit L l'ensemble de toutes les variables observables sur une dent d'humain, Soit Y = {y1= [position(dents)], y2= [face-occlusale(dents)]}, l'ensemble des variables observées.

Soit O1l'ensemble de toutes les positions observables pour y1. Soit O2l'ensemble des aspects de la face occlusale possibles pour y2. Il s'agit de la partie mordante de la dent.

Soit l'objet horde décrivant les quatre sortes de dents que l'on rencontre chez l'humain :