|
|
Définition:
Soit Hl'ensemble des hordes du domaine, une horde composite hi [!] H est une
fonction [Wi]ni[!] {vrai, faux} /hi(ui
j) = vrai ssi
" i = 1,...,p" j = 1,...,qon ayii
j(uj)[!]Oi
j
avec la propriété suivante :
hi est définie par la conjonction d'évènements [yi(ui)= Vij
jkk] dont les k objets
instanciés ui
kd'une partie élémentaire pi
kde w nesont pas nécessairement
identiques et dont une valeur au moins de yi
jest une assertion aiou une horde hi
définie sur Wj:
yi
jest une fonction de [Pi]ni[!] Oj
hi= [!]i[yii
j(uk)= Vij
k] avec $v [!] Vij
k/v [!] Ajou v [!] Hj
De même que pour les assertions composites, on peut illustrer la définition
précédente par le schéma de la figure 5.3 ou i est une partie de w représentée par
une description sous forme de tableau des variables yi
javec chaque ligne
correspondant à une instance de la partie i, et j est par exemple une autre partie
représentée par une assertion composite :
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
