Chapitre III : Modélisation booléenne des
règles d'association - 51 -
Nous montrons une simulation sur CELFAIT et CELREGLE de l'exemple
illustré auparavant, en considérant que ^_ est la configuration
initiale de l'automate cellulaire
`_
REGLES
Rc1
Rc2
Rc3
Rc4
|
FAITS
|
|
s0
|
|
pstS-3=1
|
|
s1
|
|
nul
|
|
s2
|
|
argG=1
|
|
s3
|
|
rpsG=1
|
|
aroK=1
|
|
S4
|
|
CELFAIT
|
|
EF
|
IF
|
SF
|
|
1
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
CELREGLE
|
|
ER
|
IR
|
SR
|
|
0
|
1
|
1
|
|
0
|
1
|
1
|
|
0
|
1
|
1
|
|
0
|
1
|
1
|
|
(1) Application de : /EB, CB, SB, ER,
CR, SR0
|
DEFGH
IJJK /EB, CB, EB, ER L /R M N EB0, CR, SR0
|
REGLES
Rc1
Rc2
Rc3
Rc4
|
FAITS
|
|
s0
|
|
pstS-3=1
|
|
s1
|
|
nul
|
|
s2
|
|
argG=1
|
|
s3
|
|
rpsG=1
|
|
aroK=1
|
|
S4
|
|
CELFAIT
|
|
EF
|
IF
|
SF
|
|
1
|
0
|
1
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
CELREGLE
|
|
ER
|
IR
|
SR
|
|
1
|
1
|
1
|
|
1
|
1
|
1
|
|
0
|
1
|
1
|
|
0
|
1
|
1
|
DSTUV
(2) Application de : /EB, CB, SB, ER,
CR, SR0 IJJK /EB L /R! N ER0, CB, SB, ER, CR, ERWWWW0
`a
REGLES
Rc1
Rc2
Rc3
Rc4
|
FAITS
|
|
s0
|
|
pstS-3=1
|
|
s1
|
|
nul
|
|
s2
|
|
argG=1
|
|
s3
|
|
rpsG=1
|
|
aroK=1
|
|
S4
|
|
CELFAIT
|
|
EF
|
IF
|
SF
|
|
1
|
0
|
1
|
|
1
|
1
|
0
|
|
1
|
0
|
0
|
|
1
|
1
|
0
|
|
1
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
1
|
0
|
|
0
|
1
|
0
|
|
0
|
0
|
0
|
|
CELREGLE
|
|
ER
|
IR
|
SR
|
|
1
|
1
|
0
|
|
1
|
1
|
0
|
|
0
|
1
|
1
|
|
0
|
1
|
1
|
(3) Application de la fonction de transition
globale Y = =OPQR° =>?@A
DEFGH DSTUV
La machine cellulaire passe de ^a à ^b avec Y/X~0 ~ X si X
IJJK X'~ et X'~ IJJK X2
Chapitre III : Modélisation booléenne des
règles d'association - 52 -
REGLES
Rc1
Rc2
Rc3
Rc4
|
FAITS
|
|
s0
|
|
pstS-3=1
|
|
s1
|
|
nul
|
|
s2
|
|
argG=1
|
|
s3
|
|
rpsG=1
|
|
aroK=1
|
|
S4
|
|
CELFAIT
|
|
EF
|
IF
|
SF
|
|
1
|
0
|
1
|
|
1
|
1
|
1
|
|
1
|
0
|
1
|
|
1
|
1
|
1
|
|
1
|
0
|
1
|
|
1
|
1
|
0
|
|
1
|
0
|
0
|
|
1
|
1
|
0
|
|
1
|
1
|
0
|
|
1
|
0
|
0
|
|
CELREGLE
|
|
ER
|
IR
|
SR
|
|
1
|
1
|
0
|
|
1
|
1
|
0
|
|
1
|
1
|
0
|
|
1
|
1
|
0
|
Le cycle s'arrête car aucune
règle n'est applicable.
III.5 Conclusion
Deux
motivon ati s
concurrentes nous ont
amenés à adoper t le
principe des
automates celluslaire
pour les systèmes à
base de règles d'assoon.
ciati En effet, nous
avons non seun leme t
souhaité avoir une
base de règles
booléenne op, timale mais
nous avons égn aleme
t souhaité améliorer la
gestion des connaissances par le moteur
d'inn fére ce
cellulaire
CIE.
Qund a il s'agit
de l'induction boonn
lée e des règles
d'assoon, ciati nous
devons
impérativneme
t
passer par les
étapes suivantes
:
1) Importer dans BRI les règles
d'assoon ciati
produite par la
fouille de données ;
2) Transformer les règles d'assoon
ciati importées en règles
transitoires selon un format
simplifié aidant à l'étape suivante ;
3) Produire un graphe, à partir
des règles
transitoires , qui
permet de générer des
règles cellulaires ;
4) Produire les règles
cellulaires à partir du graphe induit ;
5) Représenter ces règles
cellulaires selon l CELREGLE, RE,
RS).
|
e prinp ci e
de la machine CASI
|
(CELFAIT,
|
Les inférences du moteur CIE dans BRI se
résume comme suit :
· Initialisation
de la BC par automate
cellulaire : Cela revn ie t
à initialiser les couh c es
CELFAIT
et CELREGLE et générer
les matrices d'incidn e ces
et ;
·
Inférence des
règles en avn a t : C'est le
rôle du CIE ; Pour
déduire les faits buts le
module
d'inn fére ce
utilise les fonctions de
tranon siti et ;
| 
