Database Reference
In-Depth Information
236
Shusaku Tsumoto
The atomic formulas over B
⊆
A
∪{
d
}
and V are expressions of the form
[a = v], called descriptors over B, where a
V
a
.ThesetF (B, V )
of formulas over B is the least set containing all atomic formulas over B and
closed with respect to disjunction, conjunction, and negation. For example,
[location = occular] is a descriptor of B.
For each f
∈
B and v
∈
F (B, V ), f
A
denotes the meaning of f in A, i.e., the set of
all objects in U with property f, defined inductively as follows:
1. If f is of the form [a = v], then f
A
=
∈
{
s
∈
U
|
a(s)=v
}
.
2. (f
∧
g)
A
= f
A
∩
g
A
;(f
∨
g)
A
= f
A
∨
g
A
;(
¬
f)
A
= U
−
f
a
.
For example, f =[location = whole]andf
A
=
{
2, 4, 5, 6
}
. As an example of
a conjunctive formula, g =[location = whole]
∧
[nausea = no] is a descriptor
of U and f
A
is equal to g
location,nausea
=
{
2, 5
}
.
9.3.2 Classification Accuracy and Coverage
Definition of Accuracy and Coverage.
By use of the preceding frame-
work, classification accuracy and coverage, or true positive rate are defined
as follows.
Definition 9.3.1.
Let R and D denote a formula in F (B, V ) and a set of
objects that belong to a decision d. Classification accuracy and coverage(true
positive rate) for R
→
d is defined as:
α
R
(D)=
|
R
A
∩
D
|
(= P (D
|
R)) and
|
R
A
|
κ
R
(D)=
|
R
A
∩
D
|
(= P (R
|
D)),
|
D
|
where
, α
R
(D), κ
R
(D),andP (S) denote the cardinality of a set S,a
classification accuracy of R as to classification of D,andcoverage(atrue
positive rate of R to D), and probability of S, respectively.
|
S
|
Figure 9.2 depicts the Venn diagram of relations between accuracy and cov-
erage. Accuracy views the overlapped region
from the meaning of
arelationR. On the other hand, coverage views the overlapped region from
the meaning of a concept D.
In the preceding example, when R and D are set to [nau = yes]and
[class = migraine], α
R
(D)=2/3=0.67 and κ
R
(D)=2/2=1.0.
It is notable that α
R
(D) measures the degree of the su
ciency of a propo-
sition, R
|
R
A
∩
D
|
D,andthatκ
R
(D) measures the degree of its necessity. For
example, if α
R
(D) is equal to 1.0, then R
→
→
D is true. On the other hand, if
κ
R
(D) is equal to 1.0, then D
→
R is true. Thus, if both measures are 1.0,
then R
↔
D.
Search WWH ::
Custom Search