Fault Detection in Dynamic Rule Bases Using Spanning Trees and

! " ""
" " &
"
"
" " %
&
" "
%
$" "
! "#
""
#
"
"
"
'
"
%
&
" )&
" &
"
"% % % " "
"% "
"
"
" &
% "
"
' "
"
%
" *
&
" "
"
"
"
% %
"
"
"
" " $ %%
& %%
#
$ " %%
" "
&
"
%%
' " "
"%
$" "
#
"
'"
$
"
"
% %
" ! $
"
"
"
" "%
"
"
"
"
"
"
"(
"
%
"
"
+
" "
"
,
" "%
$
"
-
./
%
.
!
0
(5*+ .
60,#7
(8*+ .
!
+'
"
+
#!
$
()*+
%#$ &
.
9
'
$
%' $ &
%. 9&
(:
))*+ . 9
() ))*+ ,
+.
+ .
+;
+
+
$
$
+
/
.
+ 0
+ '
/
<
+ +
1
+
+ 2
1
+$
+
+'
3
+.
#!
$
,
4
+
%#, &
())*+ #,
+ 0
1
+
=
!+ 9
&
/
%
'
5
+.
+
"
5+ B
5 C %
+
#
6&
C %
5
57
( = 8*>
,
#1
"
%
67&
5
+
5
%57& C
%5&+
;
> .
+
+
7
1
+
+
2
#2
>
+'
.
+
""
>
!
-
+
%
A
/
&+
2
%
>.
&
+ '
+
3
D D
+
4
%
+
$
%
3
@
%
B
-
+.
9+
)
-
+
+ .
1
+,89:
+ '
$&
,87
E
,8
()*+ '
,87
,8+
+ .
- +
1
.
<
+ ;
!+
(5*+ '
+
F
G
+
( *
&
F
G
F
G
F&
F G
F
G
G+ .
6
6+ .
H
+
+
( *
+,89:
(? :*+
-
'
9+
>
)+ '
2 '9
,87 2 , 1*
+ '
&
@
+.
+
)
2
+
A
+
92
,8;
+#
1
9
+'
%
@
9,
,
1
/
@
+
I+ '
2
!
+ '
'9 9
""
!
9
92
+
)
1*
:
+
+
,
5+ .
2
8 " " 3"
'9
1%
"
93
+ "(
) 1*
%1
)1@
9 9$A >>
9 9$%*
+ "% D
" "
""
6"
+ "% D
" "2
6
&
6
I
! % + + <&
J< K
B
@
<
J< K
<
+.
+0
<
K
+ .
+
+,89:
9+
2 '9 9,
" <
2 '9 9
6
2 '9 93
6 +,89:
9+
% ,87 2 , 1&
9
92
"$ $
"
""
9
92
9,
2
:
E
F
L
L
B
L
L
L6
+
L
=#
9 9<AB>
:
9 9 *
E
L
F
+
+
)< 1*
)1@<A G> *
,
<
6"
,
)
)1@<A 1**
6
6
) ,8; 2 , 1*
% "
L7
L'
92
)+ B
+
92
9
) 1*
L
9
""
% &6
) ,87 2 , 1*
2 "
<
G $H
+
G $H
9" >
) 1*
$9" >
)$ 1*
G $H
"
,8;
#= )
9" GH $9" *=#
G $H ,8;
" 9
)1
$*
6"
9% ) $ 1* >> ;2;
#=G $H
"
2
6 " #=G $H
"
,
6
6
6 :
6 2 '9 9,
9 92
% &6
9
) 1*
% & 7;LB
"
'9
'9 93
) 1*
#= ,8; "
"%
:
%
$
" )< *
9 9< >
)< 1*
9 9 >
) 1*
)
9 9< >>
9 9 *
?
)1@
9 9<AB> CC 1@
9 9< > 1 @
9 9<A
6 ?
)1 @
9 9<A >>
9 9 *
+ "% D
" "3
6
6
6 :
6 2 '9 93
+2
'9
F
2
5
<
1+ ' <
2
% &6
+ .
9%
:
E
6
+ .
2
:
6
B
<
J<
8
6
+
. " 9
%1( * C &
1 "
L6
'9 9
""
9
92
) 1*
#= ,8; "
"%
=#
:
$
<$
$ "
< "$ $
<
9 9$ > :
)$ 1*
#= $% "
< "$ $
< $ =#
9 9$% >
)$% 1*
)
9 9$ >>
9 9$%*
?
)1@
9 9$AB> CC 1@
9 9$AB>
9 9$ > 1@
9 9$A
6 ?
B
I+ B
+
9% )< 1*
?
)1@<A B> C 1@<A B> *
< > 1@<A
6 ?
)1@<A >> *
,
I,; #=
6"
,
I2; #=
6
6
9%
% =#
% =#
B
5+ B
%
%
L
=#
=#
+
.
+
1
+
!
+
.
9 9$%*
%&
M
+ .
1
% &,
!
8
+ '
8+
+ '
8
+.
) *,
-% & > -% &+
8
2
2
N
8
+ '
8
2+
+
8
0
+
!
% &,
-
%
2
2
&+ .
!% + +
+ .
&
!
!
8
8
2 2
@
!
+ +
!
+
8
@
%
9%
&+
2
1
% &,
+
8 +
.
!1
% + + &
% + + 2
!
8 8
2&+ .
!
!
2
8 +
8
+
@
+'
2
+
% &,
+ .
8
8 2
2
8 +
@
+ '
8
+0
@
%&,
+
2
2
+.
8 8
+'
8
+
2
6<
% >
+ .
+
8 2 O
+
>
!
2
8+
2
2
@
+ +
+
J
2
8
+
J
:
+
+
% &,
,
8 " " 3"
1%
"
2
2
+ "(
1 "
J
)
+.
+ .
8 8
2 8
2 2
+
+
)MM IMM 5MM
@
8
+.
&
B
(
)
)
*
?+ .
+
%
*
+,89:
A
/
+
+
9+
0
""
9
92
.
9+
9
0
%
+
+,89:
2 '9
+
&
+ .
-)
*
!
%
&+ .
7
!
-) *+ .
!
%
!
-)
9+
9
<
""
9
B
*
&+ .
-)
+,89:
2 '9
+ #
+
8
+ +
2
?MM
?+ #!
+
. *
@
+.
*
92
+0
!
+ 0
-)
*
9%
-)
*
!
-) *
!
+.
+'
-
@
B
%&
@
+
+
!
-) *
+ 0
9%
'
()*
@
-%
!
I
&
+5
, -+
;
$
K
()*+
(I*
' %
%
9
+ .
!
!
6
(5*
!
+
+
7+ F
'
,
(?*
+ ?? ? = )88I+
7
+
7
B
6
$
G
$
7
;
2 %
1
+ I + ) + ) )I IMM?+
2
P+ F
B
'
7
'
$
G E + + ""
'
.
9
3
,
2
P+
7
+ F
6
'
B
1
G
"
+ F$
" ) 2 1*
'
6
$
#
$
'
)88 +
I
$
G
1 % "
2
(:*
( *
4 ,
=: IMM)+
9
;+
;
6
+I
<
7
;
L &
)88)+
( *
/
"
%%
$
2
$
+
2+ F
6
7
P
8
;
H
3$
.
.
6
#!
K
N
$
1
6
'
7+ F
,
G 1E 6
'
+
$
7+
+
'Q
;
+
,
7
;
G
L &
6
, $ &
+
+ I + )): )?) )88I+
(8*
+ $
7+
;
+
F,
#!
$
>
4
B
.
G 6<% 1 " "
&
%%
"
+ : + ?I) ?5 )88I+
()M*
+ .
$+
,
4+
F#
,
.
A
;
$
G
M
K2 %
1
"
+?
+
I8 := )88 +
())* $
< 7+ 6
H+
6
6+
F,
A
;
$
G
E
"
# 1 #31 :
1 % "
,
"
$
2 %
1%
E
, )8= +
)88
#
9
.
3
,
$
IMMM+ 6
2
2
+
$
;
$
$
G
"
+ 55 ?= )8= +
+
A
3+ F,
A
9
G
! "
+ 5
+ 558 5 M
A
)? =
)88)+
F
$
;$
%
)88M
+
(=*
E
+