Table 2: An incomplete decision table.
Attributes Decision
Case Temperature Headache Cough Flu
1 ∗ yes yes yes
2 normal ? no yes
3 ? no ∗ yes
4 high no no yes
5 high ∗ ? no
6 normal yes ∗ no
7 normal yes no no
8 normal ? yes no
cluded in blocks [(a, v)] for all specified values v
of attribute a.
Thus, for Table 2, the blocks of all attribute-value
pairs are
[(Temperature, normal)] = {1, 2, 6, 7, 8},
[(Temperature, high)] = {1, 4, 5},
[(Headache, yes)] = {1, 5, 6, 7},
[(Headache, no)] = {3, 4, 5},
[(Cough, yes)] = {1, 3, 6, 8},
[(Cough, no)] = {2, 3, 4, 6, 7}.
Let B be a subset of the set A of all attributes. For
a case x ∈ U the characteristic set K
B
(x) is defined as
the intersection of the sets K(x,a), for all a ∈ B, where
the set K(x, a) is defined in the following way:
• If a(x) is specified, then K(x, a) is the block
[(a, a(x))] of attribute a and its value a(x),
• If a(x) =? or a(x) = ∗ then the set K(x, a) = U.
Characteristic set K
B
(x) may be interpreted as the
set of cases that are indistinguishable from x using
all attributes from B, with a given interpretation of
missing attribute values. Thus, K
A
(x) is the set of all
cases that cannot be distinguished from x using all at-
tributes.
For Table 2 and B = A,
K
A
(1) = U ∩ {1, 5, 6, 7} ∩ {1, 3, 6, 8} = {1, 6},
K
A
(2) = {1, 2, 6, 7, 8} ∩U ∩ {2, 3, 4, 6, 7} = {2, 6, 7},
K
A
(3) = U ∩ {3, 4, 5} ∩U = {3, 4, 5},
K
A
(4) = {1, 4, 5} ∩ {3, 4, 5} ∩{2, 3, 4, 6, 7} = {4},
K
A
(5) = {1, 4, 5} ∩U ∩U = {1, 4, 5},
K
A
(6) = {1, 2, 6, 7, 8} ∩ {1,5, 6, 7} ∩U = {1, 6, 7},
K
A
(7) = {1, 2, 6, 7, 8} ∩ {1, 5, 6, 7} ∩ {2, 3, 4, 6, 7} =
{6, 7}, and
K
A
(8) = {1, 2, 6, 7, 8} ∩U ∩ {1, 3, 6, 8} = {1, 6, 8}.
For incomplete data sets there exist three distinct
definitions of approximations. Let X be a subset of U.
The B-singleton lower approximation of X, denoted
by appr
singleton
B
(X), is defined as follows
{x | x ∈ U, K
B
(x) ⊆ X }. (6)
The singleton lower approximations were stud-
ied in many papers, see, e.g., (Grzymala-Busse,
2003; Grzymala-Busse, 2004b; Kryszkiewicz, 1995;
Kryszkiewicz, 1999; Lin, 1989; Lin, 1992; Slowinski
and Vanderpooten, 2000; Stefanowski and Tsoukias,
1999; Stefanowski and Tsoukias, 2001; Yao, 1998).
The B-singleton upper approximation of X, de-
noted by appr
singleton
B
(X), is defined as follows
{x | x ∈ U, K
B
(x) ∩ X 6=
/
0}. (7)
The singleton upper approximations, like single-
ton lower approximations, were also studied in many
papers, e.g., (Grzymala-Busse, 2003; Grzymala-
Busse, 2004b; Kryszkiewicz, 1995; Kryszkiewicz,
1999; Slowinski and Vanderpooten, 2000; Ste-
fanowski and Tsoukias, 1999; Stefanowski and
Tsoukias, 2001; Yao, 1998).
The B-subset lower approximation of X , denoted
by appr
subset
B
(X), is defined as follows
∪ {K
B
(x) | x ∈ U, K
B
(x) ⊆ X }. (8)
The subset lower approximations were introduced
in (Grzymala-Busse, 2003; Grzymala-Busse, 2004b).
The B-subset upper approximation of X, denoted
by appr
subset
B
(X), is defined as follows
∪ {K
B
(x) | x ∈ U, K
B
(x) ∩ X 6=
/
0}. (9)
The subset upper approximations were introduced
in (Grzymala-Busse, 2003; Grzymala-Busse, 2004b).
The B-concept lower approximation of X , denoted
by appr
concept
B
(X), is defined as follows
∪ {K
B
(x) | x ∈ X, K
B
(x) ⊆ X }. (10)
The concept lower approximations were intro-
duced in (Grzymala-Busse, 2003; Grzymala-Busse,
2004b).
The B-concept upper approximation of X , de-
noted by appr
concept
B
(X), is defined as follows
∪ {K
B
(x) | x ∈ X, K
B
(x) ∩ X 6=
/
0}
= ∪ {K
B
(x) | x ∈ X}.
(11)
The concept upper approximations were studied
in (Grzymala-Busse, 2003; Grzymala-Busse, 2004b;
Lin, 1992).
For Table 2 and X = {1, 2, 3, 4}, all A-singleton,
A-subset and A-concept approximations are:
appr
singleton
A
(X) = {4},
DATA2013-2ndInternationalConferenceonDataManagementTechnologiesandApplications
82