Algorithme RETE Règles à variables Logique

!"#$%&'()*+,-.-+
/0%+12"&*3+4*"5&3+
+
6&5*35*+78!9:9+
;<=>?;<=@++
!"#$%&'()&A2*+/$2%+"*B+
BCB'D)*B+E*+/%$E25F$3+
=G H&"'%0#*+IE&JK%*35*+0L*5+"M23&N50F$3O+
;G P%$Q"D)*+I5$)/"*R&'K+E2+N"'%0#*O+
SG 7K'($E*+E*B+N"'%*B+
TG !"#$%&'()*+E*+,-.-+
,D#"*B+U+L0%&0Q"*B+
• V$))*3'+W0&%*+"*+"&*3+*3'%*+"0+Q0B*+E*+W0&'B+*'+
"*B+/%K)&BB*B+X+
IE*W%2"*+frere_ou_soeur(
I/0%*3'+XR+XCO+
I/0%*3'+XY+XCO+
I'*B'+I3*A+XR+XYOO+
Z[+
I0BB*%'+
IW%*%*\$2\B$*2%+XR+XYOOO+
Base(de(faits(
+
W<]+I&3&F0"?W05'O+
W=]+I/0%*3'+1$B*/(+90%0(O+
W;]+I/0%*3'+90%0(+H%035*BO+
WS]+I/0%*3'+70Q*"+H%035*BO+
WT]+I/0%*3'+:*Q*+70Q*"OOO+
6$#&A2*+E*B+/%$/$B&F$3B+
• %=+]+A20E%2/*E*+^+)0))&W*%*+^+/$&"2+^+ ++++
+++$3#"*B\%K'%05F"*B+_+5(0'+
• %;]+Q&/*E*+^+$L&/0%*+^+5%*'*+_+5$A+
• %S]+Q&/*E*+^+B03B\/"2)*B+^+B03B\/$&"B+_+($))*+
• %T]+)0)*""*B+_+)0))&W*%*+
• %`]+/$3E\$*2WB+_+$L&/0%*+
+
+
!//0%'*3035*+EM23*+/%$/$B&F$3+U+"0+Q0B*+E*+W0&'+
Base(de(fait(:(
a&/*E*+
bL&/0%*+
V%D'*+

H&"'%0#*+^+23&N50F$3+
• P%K)&BB*+I)$FWO+]+(possede ?X ?Y)
• H0&'+]+(possede Jean appartement)
• c2*BF$3+]+5$))*3'+W0&%*+"*+"&*3+*3'%*+"0+/%K)&BB*+*'+"*+
W0&'+X+
• b/K%0F$3+E*+filtrage(
– dKN3&F$3+]+23+'*%)*+'=+N"'%*+L*%B+23+'*%)*+';+B&+*'+
B*2"*)*3'+B&+&"+*R&B'*+23*+B2QBF'2F$3+e+'*""*+A2*+'=e+Z+';G+
• b/K%0F$3+EMunifica4on(
– dKN3&F$3]+E*2R+'*%)*B+'=+*'+';+BM23&N*3'+B&+*'+B*2"*)*3'+B&+
&"+*R&B'*+23*+B2QBF'2F$3+e+'*""*+A2*+'=e+Z+';e+
!"#$%&'()*+E*+N"'%0#*+
!"#$%&'()#*+,-'./+
filtrageI'=f+';O+
9&+'=+Z+';+0"$%B+%*'$2%3*%+e+]Z+ghi+
9&+'=+Z+IO+$2+';+Z+IO+0"$%B+%*'$2%3*%+e+]Z+K5(*5i+
9&+L0%I'=O+0"$%B+%*'$2%3*%+e+]Z+gg'=f+';hhi+
9&+0'$)I'=O+$2+0'$)I';O+0"$%B+%*'$2%3*%+e+]Z+K5(*5i+
e=+]Z+N"'%0#*I+'*'*+I'=O+f+'*'*I';O+Oi+
9&+e=+Z+K5(*5+0"$%B+%*'$2%3*%+e+]Z+K5(*5i+
B&3$3+e;+]Z+N"'%0#*I+B2QBF'2*%Ie=+f+A2*2*+I'=OOf+A2*2*I';O+Oi+
9&+e;+Z+K5(*5+0"$%B+%*'$2%3*%+e+]Z+K5(*5i+
B&3$3+%*'$2%3*%+e+]Z+5$)/$B&F$3+Ie=+f+e;O+
-L0"20F$3+E*+"0+/%K)&BB*+EM23*+%D#"*+
• P$2%+'$2'*B+"*B+5$3E&F$3B+V&+E*+"0+/%K)&BB*+
• P$2%+'$2B+W0&'B+Hj+E*+"0+Q0B*+E*+W0&'B+50"52"*%+
e&fj+]Z+N"'%0#*IV&f+HjO+
• 4K%&N*%+"*B+5$)/0FQ&"&'KB+E*B+e&fj+/$2%+'$2'*B+
"*B+5$3E&F$3B+V&+E*+"0+%D#"*+
V$)/"*R&'K+E2+5C5"*+E*+Q0B*+
• NR+k$)Q%*+E*+%D#"*B+
• NF+k$)Q%*+E*+W0&'B+
• c+k$)Q%*+)$C*3+E*+5$3E&F$3B+/0%+%D#"*+
• .*)/B+E*+EK'*5F$3+El23+K5(*5]+5m;+n+kH+n+.N"'%0#*+
• .*)/B+E*+EK'*5F$3+El23+B255DB]+5+n+kHm;+n+.N"'%0#*+
• .*)/B+El23+5C5"*+]+
+o%D#"*B+*3+K5(*5+I5m;+n+kH+n+.N"'%0#*O+
+p+o%D#"*B+%*'*32*B+I5+n+kHm;+n+.N"'%0#*O+
• V*"0+E$33*+.VC5"*+Z+bI+kHnk,+O+

!"#$%&'()*+#K3K%0"+
• .03'+A2*+"0+5$3E&F$3+'*%)&30"*+3M*B'+/0B+
0q*&3'*+
• ,K/K'*%+"*+5C5"*+E*+Q0B*+
• d*2R+B$2%5*B+EM&3*r505&'K]+
– dM23+5C5"*+U+"M02'%*f+/*2+E*+)$E&N50F$3+
– d*B+/%K)&BB*B+B$3'+5$))23*B+U+/"2B&*2%B+%D#"*B+
P%*)&D%*+B$2%5*+EM&3*r505&'K+]+
dM23+5C5"*+U+"M02'%*f+/*2+E*+)$E&N50F$3+
• .03'+A2*+"0+5$3E&F$3+'*%)&30"*+3M*B'+/0B+
0q*&3'*+
• ,K/K'*%+]+
– P$2%+'$2'*B+"*B+%D#"*B+,s+
– P$2%+'$2'*B+"*B+5$3E&F$3B+V&s+E*+"0+/%K)&BB*+E*+,s+
– P$2%+'$2B+W0&'B+Hj+E*+"0+Q0B*+E*+W0&'B+50"52"*%++
e&fj+]Z+N"'%0#*IV&sf+HjO+
P%*)&D%*+B$2%5*+EM&3*r505&'K+]+
dM23+5C5"*+U+"M02'%*f+/*2+E*+)$E&N50F$3+
• Conclusion(:+3*+/%*3E%*+*3+5$3B&EK%0F$3+A2*+
"*B+)$E&N50F$3B+5$3BK52FL*+02+5C5"*+
/%K5KE*3'+/$2%+KL0"2*%+"*B+E&JK%*3'*B+
5$3E&F$3B+V&s+
VC5"*+U+&+
VC5"*+U+&p=+
d*2R&D)*+B$2%5*+EM&3*r505&'K+]+
d*B+/%K)&BB*B+B$3'+5$))23*B+U+/"2B&*2%B+%D#"*B+
• .03'+A2*+"0+5$3E&F$3+'*%)&30"*+3M*B'+/0B+
0q*&3'*+
• ,K/K'*%+]+
– P$2%+'$2'*B+"*B+%D#"*B+,s+
– P$2%+'$2'*B+"*B+5$3E&F$3B+V&s+E*+"0+/%K)&BB*+E*+,s+
– P$2%+'$2B+W0&'B+Hj+E*+"0+Q0B*+E*+W0&'B+50"52"*%+
e&fj+]Z+N"'%0#*IV&sf+HjO+
,"IX&f+Xjf+XsO]+0IX&f+XjO+^+0IXjf+XsO+^+QIXsf+X&O+Z[+t+
,)IX&f+XjO]+0IX&f+XjO+^+5IXjO+Z[+t+
,3IX&f+XjO]+QIX&f+XjO+^+EIXjf+X&O+Z[+t+

d*2R&D)*+B$2%5*+EM&3*r505&'K+]+
d*B+/%K)&BB*B+B$3'+5$))23*B+U+/"2B&*2%B+%D#"*B+
• 9$"2F$3+]+
– dK'*%)&3*%+"M*3B*)Q"*+E*B+5$3E&F$3B+
a(?i, ?j), b(?i, ?k), c(?i), d(?i, ?j)
– -L0"2*%+23*+U+23*+'$2'*B+5*B+5$3E&F$3B+B2%+"0+
Q0B*+E*+W0&'B+
– -'0Q"&%+"0+j$&3'2%*+E*B+5$3E&F$3B+E*+5(0A2*+%D#"*+
-R*)/"*+]+a(?i, ?j) & a(?j, ?k) & b(?k, ?i)
,"IX&f+Xjf+XsO]+0IX&f+XjO+^+0IXjf+XsO+^+QIXsf+X&O+Z[+t+
,)IX&f+XjO]+0IX&f+XjO+^+5IXjO+Z[+t+
,3IX&f+XjO]+QIX&f+XjO+^+EIXjf+X&O+Z[+t+
!"#$%&'()*B+*r505*B+
+
• 7K'($E*B+E*B+N"'%*B+I75+d*%)$qO+
• !"#$%&'()*+,-.-+IH$%#C+*'+75d*%)$qO+
• !"#$%&'()*+9k!,u+I602%&D%*O+
7K'($E*+E*B+N"'%*B+
• P%&35&/*+#K3K%0"+
• -R*)/"*+IN"'%0#*+/$B&FWO+
a0B*+E*+
%D#"*B+
a0B*+E*+
%D#"*B+N"'%K*+
-3B*)Q"*+E*B+
5$3v&'B+
,=<+d+^+-+_+GGG+
,==+-+^+H+_+GGG+
,=;+H+^+d+_+GGG+
H0&'B]+gdf+Hh+
-+_+g,=<f+,==h+
H+_+g,==f+,=;h+
d+_+g,=<f+,=;h+
-+_+g,=<f+,==h+
H+_+g,==f+,=;h+
d+_+g,=<f+,=;h+
7K'($E*+E*B+N"'%*B+
• P%&35&/*+#K3K%0"+
• -R*)/"*+IN"'%0#*+3K#0FW+]+B&+23*+5$3E&F$3+*B'+0QB*3'*f+
A2*""*B+%D#"*B+B$3'+B2B5*/FQ"*B+EMw'%*+EK5"*35(K*B+XO+
a0B*+E*+
%D#"*B+
a0B*+E*+
%D#"*B+N"'%K*+
-3B*)Q"*+E*B+
5$3v&'B+
,=<+d+^+-+_+GGG+
,==+-+^+H+_+GGG+
,=;+H+^+d+_+GGG+
H0&'B]+gdf+Hh+
-+_+g,=;h+
H+_+g,=<h+
d+_+g,==h+
-+_+g,=;h+
H+_+g,=<h+
d+_+g,==h+

!"#$%&'()*+E*+,-.-+I%KB*02+*3+"0F3O+
• H$%#C+VG6G+,*'*]+!+W0B'+0"#$%&'()+W$%+'(*+)03C+
/0q*%3m)03C+$Qj*5'+/0q*%3+)0'5(+/%$Q"*)G+
83+!8+1$2%30"f+=xy;G+
• d*2R+'C/*B+E*+)K)$&%*+]+
– P%$E25F$3+)*)$%C+I01O+Z+*3B*)Q"*+E*+%D#"*B+E*+
/%$E25F$3+LHS(=>(RHS(
– z$%s&3#+)*)$%C+I21O+Z+*3B*)Q"*+E*+W0&'B+U+23+
)$)*3'+E$33K+
6*+BCB'D)*+,-.-+
I*R'%0&'+E*+"0+'(DB*+E*+,GaG+d$$%*3Q$Bf+=xx`O+
6*B+%KB*02R+E*+,-.-+
• dK'*%)&3*%+"*B+
/%K)&BB*B+
ac4ves(
I)K)$&%*+
#3",#O+
+
• dK'*%)&3*%+"*B+
%D#"*B+valides(
I)K)$&%*+4%*#O+
P%K)&BB*+
E*+"0+
%D#"*+,+
/%*)?=IXRf+XCO+ /%*)?;IXRf+XYO+ /%*)?SIXCf+XYO+
Réseau(de(
discrimina4on(
Réseau(de(
jointure(pour(
la(règle(R(
,KB*02+E*+E&B5%&)&30F$3+
Réseau(de(
discrimina4on(
P%$/0#0F$3+E2+
W0&'+I0+<+=O+E03B+
"*+%KB*02+E*+
E&B5%&)&30F$3(
I0+<+=O++
/%*)?=IXRf+XCO+
6&B'*+E*B+&3B'035*B+E*+/%*)?=+]+II<f=OO+
/%*)?;IXRf+XYO+/%*)?SIXCf+XYO+
'$s*3+