Information Technology Reference
In-Depth Information
4. Overlapping ranges:
rg(R
i
)
and
rg(I
j
)
have some SID values in common; relation
rg(R
i
)
/
rg(I
j
)
is symmetric and non-transitive;
5. Equal ranges: all SID values from
rg(R
i
)
are within
rg(I
j
)
and vice versa; relation
rg(R
i
)
=
rg(I
j
) is symmetric and transitive.
We require that relations 2, 3, 4, and 5 are orthogonal; meaning that if a new rule
and an installed rule are not in relation 1 then they are in exactly one of remaining
relations.
Correspondingly to the above five relations we define the following five predicates
-
P
||
(R
i
,I
j
)
,
P
<
( R
i
,I
j
)
,
P
>
(R
i
,I
j
),
P
/
(R
i
,I
j
)
,
P
=
(R
i
,I
j
)
— to be
TRUE
if
mod(R
i
)
≠
mod(I
j
)
.
Three categories of possible conflicts are reflected in (6-1) through (6-3).
General conflict:
P
||
(R
i
,I
j
)=FALSE
(6-1)
Light conflict:
{
P
<
(R
i
,I
j
)
∪
P
=
(R
i
,I
j
)
}
=TRUE
(6-2)
Severe conflict:
{
P
>
(R
i
,I
j
)
∪
P
/
(R
i
,I
j
)
=
TRUE
(6-3)
SID
N
SID
0
Rule-base FGK tree after R
1
:
R
0
SID
values
+
R
1
-
CRR1
f(I
3
)
f(I
1
)
f(I
2
)
NYK
I
1
I
2
I
3
-
+
+
Rule-base FGK tree after R
2
:
R
2
+
OCR
R
L
2
R
R
2
+
+
f(I
3
)
f(I
1
)
f(I
2
)
NYK
I
1
I
2
I
3
-
+
+
f(I
2
)×rg(
R
L
2
)+f(I
3
)×rg(
I
3
)
rg(
R
L
2
)+rg(
I
3
)
f(I
3
)=
Time
(b) Resolution of conflicts
(c) Rules self-organisation
Relations
R
1
<I
1
R
1
||I
2
R
2
>I
3
R
3
=I
4
R
4
=I
6
R
3
R
2
I
3
R
4
R
1
+
New rules
-
+
+
I
1
I
2
I
4
I
5
I
6
I
7
+
-
+
-
+
-
+
Installed rules
(a) Examples of relations between new and installed rules
Fig. 2.
Conflict resolution and self-organisation in a rule base
If
P
<
(R
i
,I
j
)
holds then a new rule
R
i
is called a
pinhole
in an installed rule
I
j
that is
called a
target
. In order to enable most natural resolution of light conflicts
we suggest,
after reasoning found in [4] the following conflict resolution rules (CRR):
•
CRR1: If
P
<
(R
i
,I
j
)
holds then
mod(R
i
)
>
mod(I
j
)
, i.e. pinhole wins over a target;
R
i
is
installed by splitting
rg(I
j
)
into two or three sub-intervals with modalities inherited
from
R
i
and
I
j
;
