Diplomarbeit: EAP und OAP im Fuzzy-Umfeld - Institut für Informatik
Diplomarbeit: EAP und OAP im Fuzzy-Umfeld - Institut für Informatik
Diplomarbeit: EAP und OAP im Fuzzy-Umfeld - Institut für Informatik
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
0 1<br />
<br />
<br />
0 1<br />
<br />
[0, 1] <br />
<br />
<br />
x ∈ [0, 1] <br />
1 − x<br />
1<br />
Wahrheitswert<br />
0<br />
Aussage x<br />
<br />
1<br />
Wahrheitswert<br />
0<br />
Aussage x<br />
<br />
<br />
M <br />
<br />
M = {m1, . . . , mn}
M X <br />
M <br />
⎧<br />
⎨1,<br />
x ∈ M<br />
χM(x) =<br />
⎩0,<br />
<br />
χM(x) <br />
<br />
<br />
<br />
<br />
<br />
M x ∈ X <br />
<br />
µM(x) ∈ [0, 1] x ∈ X <br />
M = {(x, µM(x)) | x ∈ X}.<br />
<br />
<br />
<br />
M1 M2 <br />
<br />
M1 = M2 ⇐⇒ µM1 (x) = µM2 (x) ∀x ∈ X.<br />
<br />
<br />
M X <br />
<br />
M supp(M) = {x ∈ X | µM(x) > 0}<br />
α α M acutα(M) = {x ∈ X | µM(x) ≥ α}<br />
M core(M) = {x ∈ X | µM(x) = 1}<br />
M bnd(M) = {x ∈ X | 0 < µM(x) < 1}
M hgt(M) = sup µM(x)<br />
x∈X<br />
M <br />
M <br />
supp(M) = core(M)<br />
M <br />
x0 <br />
supp(M) = core(M) = {x0},<br />
<br />
<br />
M M1 M2 X<br />
µM1∪M2 (x) = max(µM1 (x), µM2 (x))<br />
µM1∩M2 (x) = min(µM1 (x), µM2 (x))<br />
M M µ M (x) = 1 − µM(x)<br />
M1 M2 µM1 (x) ≤ µM2 (x) ∀x ∈ X<br />
<br />
<br />
<br />
<br />
M = {(m1, µM(m1)), (m2, µM(m2)), . . . , (mn, µM(mn))} :=<br />
n µM(mi)<br />
,<br />
<br />
<br />
M =<br />
m∈M<br />
µM(m)<br />
m .<br />
<br />
<br />
<br />
<br />
i=1<br />
mi
1<br />
0<br />
µ<br />
Kern<br />
a b c d<br />
Übergang<br />
Träger<br />
<br />
µT T <br />
T = [a, b, c, d] a ≤ b ≤ c ≤ d <br />
⎧<br />
1, x ∈ [b, c]<br />
⎪⎨ x−a<br />
b−a , x ∈ [a, b)<br />
µT (x) =<br />
d−x<br />
d−c , x ∈ (c, d]<br />
⎪⎩ 0, <br />
<br />
<br />
[b, c] b = c <br />
Π <br />
<br />
1 <br />
1 <br />
<br />
<br />
hgt(M) = 1 <br />
M ⊆ X<br />
<br />
<br />
<br />
x
1<br />
0<br />
µ<br />
a b c d<br />
<br />
1<br />
0<br />
µ<br />
a b=c d<br />
<br />
<br />
1<br />
0<br />
µ<br />
a b<br />
Π<br />
T = [A, B, a, b] A ≤ B a, b ≥ 0 <br />
<br />
⎧<br />
1,<br />
⎪⎨ 1 −<br />
µT (x) =<br />
⎪⎩<br />
x ∈ [A, B]<br />
A−x<br />
a ,<br />
1 −<br />
x ∈ [A − a, A)<br />
x−B<br />
b ,<br />
0,<br />
x ∈ (B, B + b]<br />
<br />
A B a<br />
b <br />
<br />
<br />
1<br />
0<br />
µ<br />
A-a a A B b B+b<br />
<br />
x D y <br />
<br />
x, y ∈ D <br />
<br />
<br />
x
ζ(x, x) = 1 <br />
ζ(x, y) = ζ(y, x) <br />
ζ(x, z) ≥ max min{ζ(x, y), ζ(y, z)} <br />
y∈D<br />
ζ(x, z) ≥ max{ζ(x,<br />
y) · ζ(y, z)}<br />
y∈D<br />
ζ(x, y) ∈ [0, 1]<br />
x y z D<br />
<br />
<br />
<br />
schlecht<br />
normal<br />
gut<br />
schlecht<br />
1<br />
0.6<br />
0.2<br />
normal gut<br />
0.6 0.2<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
1<br />
0.3<br />
0.3<br />
1
ζ(x, x) = 1 <br />
ζ(x, y) = ζ(y, x) <br />
ζ(x, z) ≥ max min{ζ(x, y), ζ(y, z)} <br />
y∈D<br />
ζ(x, z) ≥ max{ζ(x,<br />
y) · ζ(y, z)}<br />
y∈D<br />
ζ(x, y) ∈ [0, 1]<br />
x y z D<br />
<br />
<br />
<br />
schlecht<br />
normal<br />
gut<br />
schlecht<br />
1<br />
0.6<br />
0.2<br />
normal gut<br />
0.6 0.2<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
1<br />
0.3<br />
0.3<br />
1
T = [a, b, c, d] a ≤ b ≤ c ≤ d<br />
<br />
<br />
<br />
M mi <br />
µ(mi) M = {(m1, µ(m1)), . . . , (mn, µ(mn))}<br />
m1, . . . , mn µ(mi) ∈ (0, 1] i = 1, . . . , n<br />
<br />
<br />
ζ(·, ·)
α β S1(α, β)<br />
α β P aT N3sup(α, β)<br />
α β P aT N2rel(α, β)<br />
α β InSN2rel(α, β)<br />
α β P aSN3inf (α, β)<br />
α β NK3(α, β)<br />
α β F GEQ(α, β)<br />
α β F GT (α, β)<br />
α β NF GEQ(α, β)<br />
α β NF GT (α, β)<br />
α β NK3(β, α)<br />
α β F GEQ(β, α)<br />
α β NF GEQ(β, α)<br />
α β F GT (β, α)<br />
α β NF GT (β, α)
α β S1(α, β)<br />
α β P aT N3sup(α, β)<br />
α β P aT N2rel(α, β)<br />
α β InSN2rel(α, β)<br />
α β P aSN3inf (α, β)<br />
α β NK3(α, β)<br />
α β F GEQ(α, β)<br />
α β F GT (α, β)<br />
α β NF GEQ(α, β)<br />
α β NF GT (α, β)<br />
α β NK3(β, α)<br />
α β F GEQ(β, α)<br />
α β NF GEQ(β, α)<br />
α β F GT (β, α)<br />
α β NF GT (β, α)
α < β α β 1.0<br />
α β α β 1.0<br />
α >= β α β<br />
γ α β γ [α, α, β, β]<br />
<br />
α β γ R α β α<br />
β ∈ R α [α, α, α, α] β [β, β, β, β]
Q <br />
<br />
Q <br />
<br />
<br />
Q <br />
Q = P P <br />
<br />
Q <br />
Q = P1 op · · · op Pn<br />
P1, . . . , Pn op <br />
<br />
∧<br />
∨ <br />
<br />
Q = P1 op P2 op · · · op Pn Q ′ Q <br />
Q ′ = Ps1 op Ps2 op · · · op Psr {s1, . . . , sr} ⊆ {1, . . . , n} Q ′ <br />
{s1, . . . , sr} ⊂ {1, . . . , n}
Q <br />
<br />
Q <br />
<br />
<br />
Q <br />
Q = P P <br />
<br />
Q <br />
Q = P1 op · · · op Pn<br />
P1, . . . , Pn op <br />
<br />
∧<br />
∨ <br />
<br />
Q = P1 op P2 op · · · op Pn Q ′ Q <br />
Q ′ = Ps1 op Ps2 op · · · op Psr {s1, . . . , sr} ⊆ {1, . . . , n} Q ′ <br />
{s1, . . . , sr} ⊂ {1, . . . , n}
Q <br />
<br />
Q <br />
<br />
<br />
Q <br />
Q = P P <br />
<br />
Q <br />
Q = P1 op · · · op Pn<br />
P1, . . . , Pn op <br />
<br />
∧<br />
∨ <br />
<br />
Q = P1 op P2 op · · · op Pn Q ′ Q <br />
Q ′ = Ps1 op Ps2 op · · · op Psr {s1, . . . , sr} ⊆ {1, . . . , n} Q ′ <br />
{s1, . . . , sr} ⊂ {1, . . . , n}
Q <br />
<br />
Q <br />
<br />
<br />
Q <br />
Q = P P <br />
<br />
Q <br />
Q = P1 op · · · op Pn<br />
P1, . . . , Pn op <br />
<br />
∧<br />
∨ <br />
<br />
Q = P1 op P2 op · · · op Pn Q ′ Q <br />
Q ′ = Ps1 op Ps2 op · · · op Psr {s1, . . . , sr} ⊆ {1, . . . , n} Q ′ <br />
{s1, . . . , sr} ⊂ {1, . . . , n}
Q <br />
<br />
Q <br />
<br />
<br />
Q <br />
Q = P P <br />
<br />
Q <br />
Q = P1 op · · · op Pn<br />
P1, . . . , Pn op <br />
<br />
∧<br />
∨ <br />
<br />
Q = P1 op P2 op · · · op Pn Q ′ Q <br />
Q ′ = Ps1 op Ps2 op · · · op Psr {s1, . . . , sr} ⊆ {1, . . . , n} Q ′ <br />
{s1, . . . , sr} ⊂ {1, . . . , n}
1<br />
0<br />
µ<br />
22 24 26 28 30 32 Alter<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
α
1<br />
0<br />
µ<br />
20 22 28 30 Alter
1<br />
0<br />
µ<br />
20 22 28 30 Alter
+ <br />
<br />
<br />
ν
P <br />
<br />
<br />
<br />
∀x ∈ dom(A) µ mehr−oder−weniger(P )(x) ≥ µP (x) A <br />
P dom(A) <br />
A <br />
supp(P ) ⊂ supp(<br />
(P )) {x | µP (x) > 0} ⊂ {x | µ mehr−oder−weniger(P )(x) > 0}<br />
m <br />
<br />
<br />
<br />
f µf <br />
[A, B, a, b, ε] f(x) = ε x ≤ A − a x ≥ B + b<br />
f(x) = 1 A ≤ x ≤ B f(x) = f ′ (x) A − a ≤ x ≤ A f(x) = f ′′ (x) <br />
B ≤ x ≤ B + b f ′ f ′′ f ′ x < A <br />
f ′′ x > B f ′ (A) = f ′′ (B) = 1 f ′ (A − a) = f ′′ (B + b) = ε<br />
f ϕ ϕ(x) = 1<br />
A ≤ x ≤ B ϕ(x) = f ′ (x) x ≤ A ϕ(x) = f ′′ (x) x ≥ B <br />
m <br />
∀x ∈ U, g(x) = m(f(x)) = min(1, max(0, α · ϕ(x) + β)),<br />
U α, β ∈ R <br />
g [A ′ , B ′ , a ′ , b ′ , ε ′ ]<br />
<br />
<br />
ν <br />
α = ν ∈ [0.5, 1)<br />
β = 1 − ν ∀x ∈ U g(x) = max(0, ν · ϕ(x) + 1 − ν) g <br />
[A, B, a ′ , b ′ , ε] = [A, B, a/ν, b/ν, ε] a ′ = a/ν a ′
1<br />
1-ѵ<br />
0<br />
µ<br />
ѵ-rather(T)<br />
A-a/ѵ<br />
A-a A B<br />
supp(T)<br />
B+b<br />
supp(ѵ-rather(T))<br />
T<br />
B+b/ѵ<br />
ν <br />
a ′ = a + θ · a b ′ = b + θ · b θ<br />
<br />
θ = (1 − ν)/ν ∈ (0, 1] <br />
<br />
core(f) = core(g) <br />
<br />
<br />
<br />
<br />
Q <br />
P Q = P <br />
ν Q<br />
Q1 = P1 = ν(P ) <br />
<br />
<br />
n <br />
<br />
Qn = ν(Qn−1) = ν(ν(. . . ν(P ) . . .)).<br />
<br />
<br />
<br />
U
1<br />
0<br />
µ<br />
F P<br />
<br />
<br />
<br />
Q i<br />
Q F P<br />
FP <br />
<br />
<br />
FP <br />
<br />
x i µ(x) = min(µQi (x), 1 − µ FP (x)) <br />
FP <br />
<br />
= ∅ <br />
Qi<br />
Qi FP core(Qi) ⊂ core(FP ) <br />
<br />
Qi FP <br />
∀x min(µQi (x), 1 − µ FP (x)) = 0<br />
Qi FP<br />
<br />
FP <br />
FP <br />
<br />
<br />
a ′ = a/ν = a b ′ = b/ν = b a = b = 0 ν
θ ∈ (0, 1] <br />
<br />
Qi <br />
Q ′ i Qi<br />
<br />
∩ FP <br />
Q ′ <br />
i <br />
<br />
<br />
<br />
∅ core(Qi) ⊆ core(FP ) <br />
Qi+1 ν(Qi, θ) <br />
<br />
Q ′ i Qi ∩ FP <br />
<br />
Q ′ i <br />
<br />
= ∅ <br />
<br />
<br />
ν FP<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q = P1 ∧ · · · ∧ Pn Q ′ = Ps1 ∧<br />
· · ·∧Psr {s1, . . . , sr} ⊂ {1, . . . , n} Q <br />
<br />
<br />
≤ ∧ = <br />
∧ <br />
≤ ∧ = ∧
Q5<br />
(20, m, 180)<br />
Q2<br />
(19, m, 180)<br />
Q6<br />
(19, *, 180)<br />
Q1<br />
(18, m, 180)<br />
Q3<br />
(18, *, 180)<br />
Q7<br />
(19, m, 179)<br />
Q8<br />
(18, *, 179)<br />
Q4<br />
(18, m, 179)<br />
<br />
Q9<br />
(18, m, 178)<br />
Q5 Q2 Q5 =<br />
(20, m, 180) Q2 <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
⇔ <br />
Q = ∅ <br />
<br />
<br />
<br />
<br />
<br />
<br />
∧ <br />
<br />
<br />
∪
Q <br />
<br />
<br />
<br />
Q1<br />
|∑|=0<br />
(P , P , P )<br />
1 2 3<br />
Q |∑|=25<br />
2<br />
Q3<br />
|∑|=0 Q |∑|=0<br />
4<br />
(P , P )<br />
(P , P )<br />
(P , P )<br />
2 3<br />
1 3<br />
1 2<br />
Q5<br />
|∑|=25 Q6<br />
|∑|=40 Q7<br />
|∑|=5<br />
(P )<br />
(P )<br />
(P )<br />
3 2 1<br />
<br />
<br />
<br />
Q = P1∧P2∧P3<br />
P2
Q <br />
Q <br />
Q = ∅ Qi Q <br />
<br />
P1 ∧P2, P1 ∧P3 <br />
<br />
<br />
O(N) <br />
<br />
<br />
<br />
<br />
∅ <br />
⇔ <br />
Q = ∅ <br />
∅ <br />
<br />
<br />
<br />
<br />
<br />
∅ <br />
<br />
<br />
∈ <br />
− ∪ <br />
− <br />
<br />
− ∪ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
k k < n n <br />
Q = P1 ∧ · · · ∧ Pn
T ↑ P <br />
ν <br />
ν <br />
<br />
T ↑ (P ) P <br />
T ↑ ∀x ∈<br />
dom(A), µ T ↑ (P )(x) ≥ µP (x) A P<br />
dom(A) A <br />
T ↑ P supp(P ) ⊂ supp(T ↑ (P ))<br />
T ↑ <br />
P core(P ) = core(T ↑ (P ))<br />
<br />
T ↓ <br />
<br />
<br />
<br />
<br />
ν<br />
R<br />
U <br />
µR(x, x) = 1 <br />
µR(x, y) = µR(y, x) <br />
x, y ∈ U µR(x, y) x y<br />
x y <br />
x/y 1 <br />
x − y 0
x y µCl<br />
<br />
µCl(x, y) = µM(x/y)<br />
M <br />
<br />
<br />
µM(1) = 1<br />
µM(x) = 0 x ≤ 0<br />
µM(x) = µM(1/x)<br />
<br />
<br />
µCl(x, y) = µCl(y, x) <br />
M supp(M) = [1 − ε, 1/(1 − ε)]<br />
ε ∈ R M =<br />
[1, 1, ε, ε/(1 − ε)] µM(x/y) = 1 <br />
x = y µM(x/y) = 0 x y M = [1, 1, 0, 0] <br />
<br />
Cl[M] M<br />
1<br />
0<br />
µ<br />
ε 1 ε/(1-ε)<br />
M<br />
<br />
Ne x y <br />
<br />
R
x + y y x y x <br />
y <br />
<br />
µNe(x, y) = µCl(x + y, y) = µM(1 + x/y).<br />
supp(M) M <br />
V = [( √ 5 − 1)/2, ( √ 5 + 1)/2] ≈ [0.61, 1.61] <br />
Cl <br />
Ne <br />
µCl(x, y) ≤ 1 − max(µNe(x, y), µNe(y, x)).<br />
M ε <br />
[0, (3 − √ 5)/2] ≈ [0, 0.38] M<br />
V <br />
V <br />
<br />
<br />
<br />
Cl <br />
P P ′ <br />
<br />
∀x ∈ U µP<br />
′(x) = sup(min(µP<br />
(y), µ CL[M](y, x)))<br />
y∈U<br />
= sup(min(µP<br />
(y), µM(y/x))).<br />
y∈U<br />
M M = 1/M <br />
= sup(min(µP<br />
(y), µM(x/y))).<br />
y∈U<br />
⊗ <br />
<br />
µP ′(x) = µP ⊗M(u).
P ′ P ′ = T ↑ (P ) = P ⊗ M <br />
P ′ <br />
<br />
CL[M] P ′<br />
P P<br />
P = [A, B, a, b] <br />
M = [1, 1, ε, ε/(1 − ε)] <br />
P ′ = [A, B, a + |A| · ε, b + |B| · ε/(1 − ε)] = [A, B, a + ∆l(ε), b + ∆r(ε)] = [A, B, a ′ , b ′ ].<br />
P <br />
1<br />
0<br />
µ<br />
A-a’<br />
P’<br />
A-a A B B+b<br />
a+Δ (ε)<br />
l<br />
b+Δ (ε)<br />
r<br />
P<br />
B+b’<br />
T ↑ P<br />
<br />
∆l(ε) = |A| · ε ∆r(ε) = |B| · ε/(1 − ε)<br />
<br />
∆r(ε) > ∆l(ε) A, B ≥ 0 <br />
<br />
T ↑max (P ) P εmax = (3 − √ 5)/2 <br />
P ′ max = T ↑max (P ) = [A, B, a +<br />
∆l(εmax), b + ∆r(εmax)]<br />
<br />
Q = Q0 P <br />
T ↑ n <br />
Qn = T ↑(n) (P ) = P ⊗ M n M n <br />
<br />
<br />
U
supp(M i ) = [(1 − ε) i , 1/(1 − ε) i ] i = 2 M 2 = M ⊗ M =<br />
[1, 1, 2 · ε − ε 2 , (2 · ε − ε 2 )/(1 − ε) 2 ] supp(M 2 ) = [(1 − ε) 2 , 1/(1 − ε) 2 ]<br />
<br />
M i <br />
V <br />
supp(M i ) ⊂ V <br />
<br />
<br />
ε ∈ [0, (3 − √ 5)/2] <br />
<br />
Q Qi <br />
i<br />
ε <br />
Q0 <br />
<br />
<br />
Q i = ∅ supp(M i+1 ) ⊆ V <br />
<br />
Qi P ⊗ M i <br />
<br />
<br />
Q i<br />
<br />
<br />
<br />
ν<br />
<br />
P = [A, B, a, b] core(P ) A<br />
B A B <br />
<br />
P1 = [A1, B1, a, b] P2 = [A2, B2, a, b] <br />
a b a = b <br />
0 ≤ A1 < A2 0 ≤ B1 < B2 <br />
<br />
P ′ 1 = T ↑ (P1) = [A1, B1, a ′ 1 , b′ 1 ] P ′ 2 = T ↑ (P2) =<br />
[A2, B2, a ′ 2 , b′ 2 ] a′ 1 = a+A1·ε, b ′ 1 = b+B1·ε/(1−ε), a ′ 2 = a+A2·ε, b ′ 2<br />
a ′ 1 < a′ 2 b ′ 1 < b′ 2 a ′ 1 < b′ 1 a ′ 2 < b′ 2<br />
= b+B2·ε/(1−ε)<br />
ν
1<br />
0<br />
µ<br />
P’<br />
1<br />
<br />
<br />
<br />
P<br />
1<br />
A -a’ A -a A B B +b B +b’ A -a’ A -a A B B +b B +b’<br />
1 1 1<br />
1 1 1<br />
1 1 2 2 2 2 2 2<br />
2 2<br />
<br />
P = [A, B, 0, 0] P ′ = [A, B, |A| · ε, |B| · ε/(1 − ε)] <br />
P ′ = ν(P ) = P<br />
<br />
<br />
<br />
<br />
<br />
P = [−5, −5, 0, 0] ε = 0.1<br />
T ↑ (P ) = [−5, −5, | − 5| · 0.1, | − 5| · 0.1/0.9] ≈ [−5, −5, 0.5, 0.56]<br />
∆l ∆r<br />
<br />
A, B < 0 T ↑ (P ) <br />
P = [A, B, a, b] P ′ = [−B, −A, b, a]<br />
T ↑ (P ′ ) = P ′ ⊗ M = [−B, −A, b + (−B) · ε, a + (−A) · ε/(1 − ε)]<br />
[−B, −A, b+(−B)·ε, a+(−A)·ε/(1−ε)]<br />
[A, B, a + (−A) · ε/(1 − ε), b + (−B) · ε]<br />
A < 0 B >= 0<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
P’<br />
2<br />
P<br />
2<br />
U
ε ε ∈ [0, (3 − √ 5)/2] <br />
<br />
ε n<br />
P = [A, B, a, b] <br />
n P n = T ↑(n) (P ) = [A, B, a + |A| · n · ε, b + |B| · n ·<br />
ε/(1 − ε)] ε εmax = (3 − √ 5)/2) ≈ 0.38 <br />
ε = εmax/n <br />
<br />
<br />
ν <br />
FP <br />
<br />
P = [20, 22, 0, 3] <br />
<br />
<br />
<br />
<br />
FP = [18, 30, 0, 5] <br />
<br />
<br />
µ(x) = min(µP (x), 1 − µFP (x)) ∀x ∈ dom(P ).<br />
M i V <br />
T ↑ (P ) FP<br />
<br />
core(T ↑ (P )) ⊂ core(FP ).<br />
<br />
<br />
<br />
ν <br />
<br />
Pi Q = P1 ∧ · · · ∧ Pn
k P1 ∧ · · · ∧ Pk <br />
<br />
εmax = (3 − √ 5)/2 <br />
ε = εmax/n <br />
<br />
Q i<br />
Qi <br />
<br />
Q0 <br />
<br />
<br />
Q i = ∅ <br />
<br />
<br />
Pj <br />
<br />
Qi ∧ · · · ∧ <br />
<br />
<br />
Q i<br />
<br />
<br />
[1, 1, ε, ε/(1 − ε)] <br />
<br />
P ′ = P ⊗ M h <br />
P ′ <br />
<br />
<br />
ε <br />
P ′ <br />
V n<br />
<br />
<br />
P ′ = T ↑ (P 1) ∧ P2 ∧ · · · ∧ Pn <br />
<br />
P ′′ = T ↑ (P 1) ∧ T ↑ (P2) ∧ · · · ∧ T ↑ (Pn) P ′<br />
<br />
P2
Pi Q = P1 ∧ · · · ∧<br />
Pn <br />
T ↑ (·) <br />
<br />
<br />
<br />
<br />
Q1 Q2 n P1 Pn<br />
Q1 ≺ Q2 ⇐⇒<br />
n<br />
i=1<br />
anzahl(T ↑<br />
i in Q1) <<br />
n<br />
i=1<br />
anzahl(T ↑<br />
i<br />
in Q2).<br />
<br />
T ↑<br />
1 T ↑ n <br />
<br />
P ′<br />
i Pi <br />
<br />
∆i(Pi, T ↑<br />
i (Pi)) = laenge(T ↑<br />
i (Pi)) / laenge(Pi)<br />
laenge([A, B, a, b]) = B − A + a + b <br />
Pi = [A, A, 0, 0] <br />
laenge(Pi) = 0 <br />
≺ <br />
<br />
Q = P1 ∧ P2 <br />
V <br />
ε = εmax/n <br />
2 · n + 1 <br />
n = 3 Q = P1∧P2 <br />
T ↑(3) (Q) = T ↑(3)<br />
1<br />
Q = P1 ∧ · · · ∧ Pn <br />
T ↑(max) (Q) = T ↑(max)<br />
1<br />
(P1) ∧ T ↑(3)<br />
2<br />
(P1) ∧ · · · ∧ T ↑(max)<br />
(Pn).<br />
n<br />
(P2) <br />
<br />
ε
↑(3)<br />
T (P ) 1 1<br />
Ʌ P 2<br />
<br />
<br />
<br />
↑(2)<br />
T (P ) 1 1<br />
Ʌ P 2<br />
↑(2)<br />
T (P ) 1 1<br />
↑(1)<br />
T (P ) 1 1<br />
↑(1)<br />
Ʌ T (P ) 2 2<br />
Q<br />
P Ʌ P<br />
1 2<br />
↑(1)<br />
Ʌ P P 2 1 Ʌ T (P ) 2 2<br />
↑(1)<br />
T (P ) 1 1<br />
↑(1)<br />
↑(2)<br />
Ʌ T (P )<br />
P1 Ʌ T (P )<br />
2 2<br />
2 2<br />
↑(1)<br />
T (P ) 1 1<br />
↑(2)<br />
↑(3)<br />
Ʌ T (P )<br />
P1 Ʌ T (P )<br />
2 2<br />
2 2<br />
<br />
<br />
P1 Pn ∆i <br />
Pi εi <br />
<br />
∆1(P1, T ↑<br />
1 (P1)) = · · · = ∆n(Pn, T ↑ n(Pn)).<br />
εi i = 1, . . . , n Pj j ∈ {0, . . . , n} <br />
εj εi, 0 < i ≤ n, i = j <br />
Pj <br />
<br />
<br />
<br />
Q <br />
Q
↑(3)<br />
T (P ) 1 1<br />
Ʌ P 2<br />
↑(3)<br />
T (P ) 1 1<br />
↑(2)<br />
T (P ) 1 1<br />
Ʌ P 2<br />
↑(2)<br />
T (P ) 1 1<br />
↑(1)<br />
Ʌ T (P ) 2 2<br />
↑(1)<br />
T (P ) 1 1<br />
↑(3)<br />
T (P ) 1 1<br />
↑(1)<br />
Ʌ T (P ) 2 2<br />
Q<br />
P Ʌ P<br />
1 2<br />
↑(1)<br />
Ʌ P P 2 1 Ʌ T (P ) 2 2<br />
↑(1)<br />
T (P ) 1 1<br />
↑(2)<br />
T (P ) 1 1<br />
↑(2)<br />
Ʌ T (P ) 2 2<br />
↑(3)<br />
T (P ) 1 1<br />
↑(1)<br />
↑(2)<br />
Ʌ T (P )<br />
P1 Ʌ T (P )<br />
2 2<br />
2 2<br />
↑(2)<br />
Ʌ T (P ) 2 2<br />
↑(1)<br />
T (P ) 1 1<br />
↑(2)<br />
T (P ) 1 1<br />
↑(3)<br />
Ʌ T (P ) 2 2<br />
↑(2)<br />
↑(3)<br />
Ʌ T (P )<br />
P1 Ʌ T (P )<br />
2 2<br />
2 2<br />
↑(1)<br />
T (P ) 1 1<br />
↑(3)<br />
Ʌ T (P ) 2 2<br />
↑(3)<br />
Ʌ T (P ) 2 2<br />
<br />
<br />
<br />
k <br />
<br />
mfs(Q) Q <br />
Q = P1 ∧ P2 ∧ P3 mfs(Q) = {P1 ∧ P2} T ↑<br />
3 (P3) Q ′ = P1 ∧<br />
P2 ∧ T ↑<br />
1 (P3) mfs(Q) <br />
Q ′′ = T ↑<br />
1 (P1) ∧ P2 ∧ P3 Q ′ {T ↑<br />
1 (P1) ∧ P2} <br />
Q <br />
Q ′ mfs(Q)
P1 ∧ · · · ∧ Pk <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q = ∅ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
/∈ <br />
<br />
<br />
<br />
∅ <br />
<br />
<br />
<br />
= ∅ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Qmax <br />
<br />
<br />
Qmax <br />
Q <br />
Q ⊂ ⊂ Qi Qmax<br />
<br />
i < max<br />
Qi
x y x/y <br />
1 <br />
x − y 0 <br />
E[Z] <br />
Z <br />
x y <br />
µ E[Z](x, y) = µZ(x − y).<br />
Z <br />
µZ <br />
µZ(0) = 1<br />
µZ(x) = µZ(−x)<br />
Z supp(Z) = [−δ, δ] δ ∈ R, δ ≥ 0<br />
µE(x, y) = µZ(x −<br />
y) = 0 x = y µE(x, y) = µE(y, x)<br />
<br />
µE(x, y) < 1 x = y δ <br />
Z δ = 0 <br />
x y µZ(x − y) = 1 x = y µZ(x − y) = 0 x = y<br />
1<br />
0<br />
µ<br />
δ 0 δ<br />
Z <br />
R
P P ′ <br />
∀x ∈ U µP<br />
′(x) = sup(min(µP<br />
(y), µ E[Z](x, y)))<br />
y∈U<br />
= sup(min(µP<br />
(y), µZ(x − y)))<br />
y∈U<br />
= µP ⊕Z(x)<br />
⊕ <br />
Z P ′ = P ⊕ Z<br />
P ′ P <br />
P Z <br />
P = [A, B, a, b] <br />
Z = [0, 0, δ, δ] <br />
P ′ = T ↑ (P ) = P ◦ E[Z] = P ⊕ Z = [A, B, a + δ, b + δ] = [A, B, a ′ , b ′ ].<br />
<br />
<br />
<br />
<br />
1<br />
0<br />
µ<br />
A-a’<br />
P’<br />
A-a A B B+b<br />
a+δ b+δ<br />
P P ′ δ<br />
<br />
<br />
<br />
P<br />
B+b’<br />
U
1<br />
0<br />
µ<br />
P’<br />
1<br />
P<br />
1<br />
A -a’ A -a A B B +b B +b’<br />
A -a’ A -a A B B +b B +b’<br />
1 1 1<br />
1 1 1 1 1 2 2 2 2 2 2 2 2<br />
<br />
<br />
Q = P P <br />
Q1 = P ⊕ Z <br />
n Qn = P ⊕ n · Z<br />
<br />
= ∅ <br />
Qn<br />
<br />
Qi <br />
tmax <br />
ν <br />
FP <br />
= ∅ <br />
Qi<br />
∀x ∈ U min(µQi (x), 1 − µFP (x)) = 0 i ≥ tmax<br />
δ dom(P )<br />
P δ <br />
<br />
δ <br />
<br />
<br />
δ <br />
<br />
<br />
<br />
<br />
Q = P1 ∧ · · · ∧ Pn <br />
<br />
Pi δi <br />
P’<br />
2<br />
P<br />
2<br />
U
δ ∈ R, <br />
Z = [0, 0, δ, δ]<br />
<br />
<br />
<br />
Qi <br />
<br />
Qi <br />
<br />
<br />
<br />
∅ core(Qi) ⊆ core(FP ) <br />
<br />
<br />
<br />
Qi <br />
P ⊕ i · Z <br />
Qi <br />
<br />
<br />
<br />
<br />
<br />
= ∅ <br />
<br />
<br />
<br />
<br />
<br />
Q <br />
<br />
Q1 = T ↑ (Q) = T ↑<br />
1 (P1) ∧ · · · ∧ T ↑ n(Pn) <br />
Q <br />
Qi = T ↑(i) (Q) = T ↑(i)<br />
1 (P1) ∧ · · · ∧ T ↑(i)<br />
n (Pn) i > 1
ν FP <br />
<br />
FP <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q = P1 ∧ · · · ∧ Pn Qθ<br />
<br />
Qθ = P1 [θ1] ∧ · · · ∧ Pn [θn] .<br />
Pi [θi] Pi θi <br />
<br />
x <br />
µQθ (x) = min(θ1 · µP1 (x), . . . , θn · µPn(x)).<br />
<br />
Qθ <br />
<br />
Qθ θ1 θn n<br />
i=1 θi = 1<br />
Qθ Q <br />
Qθ = P1 [1/n] ∧ · · · ∧ Pn [1/n] = Q<br />
Qθ Qθ = P1 [θ1] ∧ · · · ∧ Pn−1 [θn−1] ∧<br />
Pn [0] = P1 [θ1] ∧ · · · ∧ Pn−1 [θn−1] 0 <br />
<br />
Qθ = P1[0.9] ∧ P2[0.1] <br />
0.1 min(0.9 ∗ 1, 0.1 ∗ 1) ≤ 0.1
Qθ <br />
<br />
<br />
<br />
Qθ <br />
Pi <br />
<br />
<br />
Qθ = P1 [θ1]∧· · ·∧Pn [θn] θ1 ≥ . . . ≥ θn <br />
<br />
µQθ (x) = (θ1 − θ2) · min(µP1 (x)) + 2 · (θ2 − θ3) · min(µP1 (x), µP2 (x)) + · · ·<br />
<br />
µQθ (x) =<br />
+ n · θn · min(µP1 (x), . . . , µPn(x))<br />
n<br />
i · (θi − θi+1) · min(µP1 (x), . . . , µPi (x)) θn+1 = 0. <br />
i=1<br />
<br />
<br />
µQθ <br />
Q = P1 ∧ P2 Qθ = P1 [θ1] ∧ P2 [θ2] θ1 = θ2 =<br />
1/2 = 0.5 Qθ = Q <br />
µQθ (x) = (0.5 − 0.5) · min(µP1 (x)) + 2 · (0.5 − 0) · min(µP1 (x), µP2 (x))<br />
= 2 · 0.5 · min(µP1 (x), µP2 (x))<br />
= min(µP1 (x), µP2 (x)) = Q<br />
θ1 > θ2 µP1 (x) ≤ µP2 (x) <br />
<br />
µQθ (x) = (θ1 − θ2) · µP1 (x) + 2 · θ2 · µP1 (x) = (θ1 + θ2) · µP1 (x) = µP1 (x),
µP1 (x) > µP2 (x) <br />
µQθ (x) = (θ1 − θ2) · µP1 (x) + 2 · θ2 · µP2 (x) = (1 − θ2) · µP1 (x) + 2 · θ2 · µP2 (x)<br />
= 2 · (µP1 (x) − µP2 (x))θ1 + µP2 (x).<br />
Qθ θ1 > θ2 P1 P2 <br />
<br />
x µP1 (x) = 0.8 µP2 (x) = 0 <br />
Q = P1 ∧ P2 x µQ(x) = min(µP1 (x), µP1 (x)) = 0<br />
x <br />
Q <br />
<br />
P1 <br />
Qθ = P1 [0.6] ∧ P2 [0.4] µQθ (x) = (0.6 − 0.4) · µP1 (x) + 2 · 0.4 · µP2 (x) =<br />
0.2 · 0.8 + 2 · 0.4 · 0 = 0.16 x 0.16<br />
<br />
Q Q ′ θ <br />
<br />
Qsub = P1 ∧ Pr r ≤ n Q Qsub ∈ mfs(Q) <br />
Qθ <br />
θi < 1/n Pi ∈ Qsub <br />
<br />
<br />
<br />
<br />
<br />
Qθ Qθ <br />
Q ′ = Pr+1 ∧ · · · ∧ Pn <br />
<br />
<br />
<br />
<br />
<br />
<br />
Q = P1∧P2<br />
P1 P2
µQ µP1 µP2<br />
<br />
<br />
<br />
<br />
<br />
P1 P2 <br />
Q P1 P2<br />
P1 <br />
P1 <br />
P2 <br />
<br />
<br />
<br />
<br />
<br />
<br />
P1 [θ1] <br />
Qθ = P1 [θ1] ∧ · · · ∧ Pn [θn] θ1 ≥ . . . ≥ θn <br />
<br />
θ1 · µP1 (x) x ∈ dom(P1) x ∈ <br />
Qθ<br />
<br />
= ∅<br />
Qθ<br />
Qθ <br />
θi <br />
<br />
n <br />
Qθ Qθ = P1 [θ1] ∧ · · · ∧ Pn [θn]<br />
∆i(θi, Pi, T ↑<br />
i (Pi)) = laenge(T ↑<br />
i (Pi)) / (n · θi · laenge(Pi)).<br />
n · θi · laenge(Pi) <br />
<br />
<br />
T ↑
!
∅ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q = ( [18, 20, 0, 2] ) ∧ (∅ [0.7, 1.7, 0, 0.6] ) ∧ ( [5, 6, 0, 0] ).<br />
<br />
<br />
<br />
P1<br />
<br />
<br />
<br />
<br />
<br />
Q <br />
<br />
<br />
<br />
Q <br />
P1 P2 P3<br />
<br />
P2<br />
P3
1<br />
0<br />
µ<br />
18<br />
P<br />
1<br />
20<br />
22<br />
<br />
Alter<br />
1<br />
0<br />
µ<br />
0.7<br />
P<br />
2<br />
1.7<br />
2.3<br />
<br />
Note<br />
1<br />
0<br />
µ<br />
5<br />
P<br />
3<br />
6<br />
Semester<br />
<br />
P1 P2 P3<br />
µQ µP1 µP2 µP3<br />
∅ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q<br />
<br />
Q <br />
<br />
<br />
Q ′ ∈ mfs(Q) <br />
<br />
MF S = ∅<br />
p = P1 ∈ {P1, P2, P3} P2 ∧ P3 <br />
MF S ∪ {p} = {P1}<br />
P2∧P3<br />
= ∅ MF S =<br />
p = P2 ∈ {P2, P3} {P3} ∪ MF S = {P3, P1} : P3 ∧ P1 <br />
<br />
= ∅ MF S <br />
P3∧P1<br />
p = P3 ∈ {P3} ∅ ∪ MF S : P1 <br />
MF S ∪ {p} = {P1, P3}<br />
Q ′ = P1 ∧ P3 <br />
P1<br />
= ∅ MF S =
P1∧P3 <br />
Q Q ′ <br />
Q ′ = P1 ∧ P3 <br />
ε P1 n <br />
<br />
ε1 P1<br />
ε1 = εmax/n ≈ 0.38/n.<br />
n = 3 ε1 = 0.13 <br />
Cl[M1] <br />
M1 = [1, 1, ε1, ε1/(1 − ε1)] = [1, 1, 0.13, 0.13/(1 − 0.13)] ≈ [1, 1, 0.13, 0.15].<br />
P3 <br />
<br />
<br />
∆1(P1, T ↑<br />
1 (P1)) = ∆3(P3, T ↑<br />
3 (P3)).<br />
∆i(Pi, T ↑<br />
i (Pi)) = laenge(T ↑<br />
i (Pi)) / laenge(Pi)<br />
laenge([A, B, a, b]) = B −A+a+b P1 ∆1(P1, T ↑<br />
1 (P1))<br />
<br />
∆1(P1, T ↑<br />
1 (P1)) = laenge(T ↑<br />
1<br />
([18, 20, 0, 2])) / laenge([18, 20, 0, 2])<br />
= laenge([18, 20, 0, 2] ⊗ [1, 1, 0.13, 0.15]) / laenge([18, 20, 0, 2])<br />
= laenge([18, 20, 0 + 18 · 0.13, 2 + 20 · 0.15]) / (20 − 18 + 0 + 2)<br />
= laenge([18, 20, 2.34, 5]) / 4<br />
= 9.34 / 4<br />
= 2.34<br />
P1 P3 ε3
∆3(P3, T ↑<br />
3 (P3)) = laenge(T ↑<br />
3<br />
([5, 6, 0, 0])) / laenge([5, 6, 0, 0])<br />
= laenge([5, 6, 0, 0] ⊗ [1, 1, ε3, ε3/(1 − ε3)) / laenge([5, 6, 0, 0])<br />
= laenge([5, 6, 5 · ε3, 6 · ε3/(1 − ε3)]) / 1<br />
= 1 + 5 · ε3 + 6 · ε3/(1 − ε3)<br />
=⇒ ε3 ≈ 0.11<br />
T ↑<br />
1 (P1) T ↑<br />
1 (P1) = [18, 20, 2.34, 5]<br />
P3 ε3 = 0.11 T ↑<br />
3 (P3) =<br />
[5, 6, 0.55, 0.74] <br />
<br />
Q1 = T ↑<br />
1 (P1) ∧ P3 Q2 = P1 ∧ T ↑<br />
3 (P3) <br />
<br />
Q 1<br />
↑(1)<br />
T (P ) 1 1<br />
Q’<br />
P Ʌ P<br />
1 3<br />
{0}<br />
Q 2<br />
Ʌ P {0} ↑(1)<br />
P 3 1 Ʌ T (P ) {0}<br />
3 3<br />
P1 ∧ P3<br />
<br />
<br />
Q ′ <br />
Cl[M 2 1 ] Cl[M 2 3 ] ε1<br />
ε3 M 2 1 <br />
M 2 1 = [1, 1, 2 · ε1 − ε 2 1, (2 · ε1 − ε 2 1)/(1 − ε1) 2 ] = [1, 1, 0.26 − 0.13 2 , (0.26 − 0.13 2 )/0.87 2 ]<br />
≈ [1, 1, 0.24, 0.32]
M 2 3 <br />
<br />
<br />
<br />
M 2 3 = [1, 1, 2 · ε3 − ε 2 3, (2 · ε3 − ε 2 3)/(1 − ε3) 2 ] = [1, 1, 0.22 − 0.11 2 , (0.22 − 0.11 2 )/0.89 2 ]<br />
≈ [1, 1, 0.21, 0.26].<br />
ε1 <br />
M i 1 , i > 0 V M 2 1 <br />
M 2 3 supp(M 2 3 ) = [0.79, 1.26] ⊂ V =<br />
[( √ 5 − 1)/2, ( √ 5 + 1)/2] ≈ [0.61, 1.61] M 2 3 <br />
<br />
P1 P3 <br />
P1 <br />
P3<br />
T ↑(2)<br />
1 (P1) = P1 ⊗ M 2 1 = [18, 20, 0, 2] ⊗ [1, 1, 0.24, 0.32]<br />
= [18, 20, 0 + 18 · 0.24, 2 + 20 · 0.32 = [18, 20, 4.32, 8.4]<br />
T ↑(2)<br />
3 (P3) = P3 ⊗ M 2 3 = [5, 6, 0, 0] ⊗ [1, 1, 0.21, 0.26]<br />
= [5, 6, 0 + 5 · 0.21, 0 + 6 · 0.26 = [5, 6, 1.05, 1.56].<br />
<br />
Q ′ <br />
Q3 = T ↑(2)<br />
1 (P1) ∧ P3 = [18, 20, 4.32, 8.4] ∧ [5, 6, 0, 0]<br />
Q4 = T ↑<br />
1 (P1) ∧ T ↑<br />
3 (P3) = [18, 20, 2.34, 5] ∧ [5, 6, 0.55, 0.74]<br />
Q5 = P1 ∧ T ↑(2)<br />
3 (P3) = [18, 20, 0, 2] ∧ [5, 6, 1.05, 1.56]<br />
Q4 Q5<br />
Q3 <br />
Q ′ <br />
Q <br />
Q ∗ = T ↑(2) (Q) = T ↑(2)<br />
1 (P1) ∧ P2 ∧ P3<br />
<br />
= ( [18, 20, 4.32, 8.4]) ∧ (∅ [0.7, 1.7, 0, 0.6]) ∧ ( [5, 6, 0, 0]).
Q 3<br />
↑(2)<br />
T (P ) 1 1<br />
Ʌ P 3<br />
↑(1)<br />
T (P ) 1 1<br />
{1}<br />
Q 1<br />
P Ʌ P<br />
1 3<br />
Ʌ P {0} ↑(1)<br />
P 3 1 Ʌ T (P ) {0}<br />
3 3<br />
↑(1)<br />
T (P ) 1 1<br />
Q’<br />
Q 4<br />
{0}<br />
Q 2<br />
Q 5<br />
↑(1)<br />
↑(2)<br />
Ʌ T (P ) {0} P1 Ʌ T (P ) {0}<br />
3 3<br />
3 3<br />
P1 ∧ P3<br />
<br />
<br />
<br />
<br />
P1<br />
<br />
Q ∗ P1 P3<br />
µQ ∗ µP1 µP2 µP3 µ T ↑<br />
1 (P1)<br />
µ T ↑<br />
3 (P3)<br />
µ ↑(2)<br />
T1 (P1)<br />
µ T ↑(2)<br />
3 (P3)<br />
∅ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q<br />
Q ∗ <br />
<br />
<br />
Q ∗ = ∅ Q∗
Q ∗
α <br />
<br />
<br />
α <br />
α
P <br />
P <br />
T ↓ <br />
T ↑ <br />
T ↓ ∀x ∈<br />
dom(A), µ T ↓ (P )(x) ≤ µP (x) A P<br />
dom(A) A <br />
T ↓ P core(T ↓ (P )) ⊂ core(P )<br />
T ↓ P T ↓ (P ) = [A ′ , B ′ , a, b]<br />
P = [A, B, a, b] A ′ − A < a B − B ′ < b<br />
<br />
<br />
<br />
<br />
<br />
a, b > 0<br />
E[Z] <br />
Z P <br />
Z Z = [−δ, δ, 0, 0] <br />
P ′ <br />
<br />
1<br />
0<br />
µ<br />
P ′ = T ↓ (P ) = P ΘZ<br />
δ 0 δ<br />
Z<br />
R
P Θ <br />
P =<br />
[A, B, a, b] <br />
P ′ = T ↓ (P ) = [A, B, a, b]Θ[−δ, δ, 0, 0] = [A + δ, B − δ, a, b] = [A ′ , B ′ , a, b].<br />
δ Z 0 < δ ≤ (B − A)/2<br />
P ′ <br />
A ′ ≤ B ′ Θ <br />
<br />
E[Z] Θ <br />
<br />
P δ <br />
P <br />
δ <br />
1<br />
0<br />
µ<br />
A-a<br />
P’<br />
A’-a A A’ B’ B B’+b<br />
δ δ<br />
P P ′<br />
<br />
Q ∗ Q ∗ Q <br />
<br />
Q Q ∗ <br />
Q ⊆ Q <br />
Q = Q0 = P P <br />
n ∗ Q <br />
i 0 < i ≤ n Qi<br />
<br />
P<br />
B+b<br />
Qi = T ↓(i) (P ) = P Θi · Z = [A + i · δ, B − i · δ, a, b].<br />
U
A + i · δ ≥ B − i · δ <br />
<br />
<br />
<br />
<br />
δ A+i·δ ≥ B −i·δ <br />
n <br />
⌊x⌋ = max<br />
y∈Z,y≤x (y)<br />
n = ⌊(B − A)/(2 · δ)⌋,<br />
<br />
<br />
(B−A)/2 P = [A, B, a, b]<br />
Z<br />
1<br />
µ<br />
0 A-a A B B+b<br />
<br />
1<br />
0<br />
µ<br />
A B<br />
<br />
1<br />
0<br />
µ<br />
A B B+b<br />
<br />
P = [A, B, a, b]<br />
δ < min(a, b) <br />
P ′ <br />
<br />
Qi ∗ Qi−1 <br />
a = 0 b = 0 <br />
∗ <br />
Qi<br />
Z = [−δneu, δneu, 0, 0] <br />
δneu < δalt <br />
<br />
P <br />
P = [A, B, 0, b] P = [A, B, a, 0]
δ ∈ R <br />
max ∈ N <br />
Z = [−δ, δ, 0, 0] <br />
<br />
<br />
<br />
Q0 <br />
∗ berechne∗ (Qi) <br />
<br />
<br />
| ∗ | i ≤ (B − A)/(2 · δ)) <br />
<br />
Qi P Θi · Z <br />
<br />
berechne ∗ (Qi) <br />
<br />
Qi <br />
<br />
1<br />
0<br />
µ<br />
Q P<br />
A B’ δ B<br />
B’+b<br />
<br />
P’<br />
P<br />
B+b<br />
U<br />
1<br />
0<br />
µ<br />
P<br />
P’<br />
175 185 195<br />
205<br />
250<br />
<br />
<br />
a, b = 0 Z Z = [−δ, δ, 0, 0] <br />
Z <br />
Z = [0, δ, 0, 0] Z = [−δ, 0, 0, 0] δ < b δ < a<br />
P = [A, B, 0, b] P ′ = [A, B − δ, 0, b]<br />
<br />
P <br />
P = [195, 250, 20, 0] Z = [10, 0, 0, 0] <br />
<br />
P<br />
<br />
<br />
<br />
U
P = [A, B, 0, 0] <br />
Z = [−δ, δ, 0, 0] <br />
P P ′ = [A + δ, B − δ, 0, 0] <br />
Z = [−δ, δ, γ, γ]<br />
γ = δ+ε ε γ <br />
A B <br />
P ′ <br />
P ′ = [A + δ, B − δ, a + δ, b + δ] <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q = P <br />
Q = P1 ∧ · · · ∧ Pn <br />
<br />
P1 Pn <br />
<br />
<br />
<br />
Q = Q0 = P1 ∧ · · · ∧ Pn T ↓ Q1 <br />
<br />
Qi = T ↓ (Qi−1) = T ↓(i)<br />
1 (P1) ∧ · · · ∧ T ↓(i)<br />
n (Pn).<br />
T ↓<br />
i
Pi <br />
Qi Q0 Qj<br />
i < j <br />
<br />
<br />
<br />
∆(Pi, T ↓<br />
i (Pi)) = laenge(core(T ↓<br />
i (Pi))) / laenge(core(Pi))<br />
laenge([x, y]) = y − x x, y ∈ R Pi <br />
T ↓<br />
i (Pi) <br />
<br />
laenge(core(Pi)) = 0<br />
∆(Pi, T ↓<br />
i (Pi)) i = 1, . . . , n ∆(P1, T ↓<br />
1 (P1)) =<br />
· · · = ∆(Pn, T ↓ n(Pn)) <br />
≺ <br />
Qi ≺ Qj ⇐⇒<br />
n<br />
k=1<br />
anzahl(T ↓<br />
k in Qi) <<br />
n<br />
k=1<br />
anzahl(T ↓<br />
k<br />
in Qj).<br />
Qi Qj Q <br />
Q = P1 ∧ · · · ∧ Pn Pi<br />
1 ≤ i ≤ n Zi <br />
Zj j = i <br />
<br />
<br />
<br />
<br />
<br />
Q = P1 ∧· · ·∧Pn <br />
Q<br />
<br />
<br />
Pi 0 ≤ i ≤ n
P1 ∧ · · · ∧ Pn n <br />
<br />
<br />
<br />
<br />
Pfix ∈ {P1, . . . , Pn} −<br />
δfix ∈ R Pfix <br />
Zfix = [−δfix, δfix, 0, 0] <br />
max ∈ N <br />
<br />
<br />
≤ <br />
= <br />
<br />
Zi − <br />
<br />
<br />
Q0 <br />
<br />
<br />
<br />
<br />
<br />
∗ berechne∗ (Qi) <br />
<br />
<br />
| ∗ | <br />
<br />
<br />
<br />
<br />
<br />
≤ (Bj − Aj) / 2 · δj <br />
T ↓(i)<br />
(Pj) = PjΘi · Zj <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Qi = T ↓(i)<br />
1 (P1) ∧ · · · ∧ T ↓(i)<br />
<br />
n (Pn) <br />
∗<br />
berechne∗ (Qi) <br />
j<br />
<br />
<br />
<br />
− Zfix <br />
<br />
<br />
Qi <br />
<br />
<br />
P1 Pn P∗ <br />
<br />
P∗ <br />
<br />
P∗ <br />
P∗ <br />
<br />
<br />
mi ∗<br />
Q(Pi) ∗<br />
Q(Pi)<br />
<br />
Pi 0 ≤ i ≤ n ∗ Q
mi <br />
mi = mittelwert(Pi) :=<br />
<br />
[A,B,a,b]∈ ∗<br />
Q(P i )<br />
(A + B/2) /<br />
<br />
<br />
∗<br />
Q(Pi)<br />
Pi =<br />
[Ai, Bi, ai, bi] mi <br />
<br />
core(Pi) <br />
di = min(mi − Ai, Bi − mi) / laenge(core(Pi)).<br />
P∗ di <br />
P∗ = Pi i = min (j)<br />
∀k dj≤dk<br />
i P∗ <br />
Zi <br />
<br />
Qi = T ↓ (Qi−1) = T ↓(k1)<br />
1 (P1) ∧ · · · ∧ T ↓(kn)<br />
n (Pn), k1, . . . , kn ≥ 0<br />
k1<br />
kn i P∗ <br />
k∗ ∗ <br />
Qi<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
.
P1 ∧ · · · ∧ Pn n <br />
δi ∈ R Pi <br />
Zi = [−δi, δi, 0, 0] <br />
max ∈ N <br />
<br />
<br />
<br />
k1 = · · · = kn = 0 <br />
<br />
<br />
T ↓(0)<br />
<br />
j (Pj) = Pj <br />
Q0 <br />
<br />
<br />
<br />
∗ berechne∗ (Qi) <br />
<br />
<br />
|<br />
<br />
∗ | <br />
<br />
<br />
<br />
≤ <br />
mj = mittelwert(Pj) <br />
dj = min(mj − Aj, Bj − mj) / laenge(core(Pj)) <br />
Pj = [Aj, Bj, aj, bj] <br />
<br />
<br />
<br />
<br />
<br />
<br />
≤ <br />
dj < dmin <br />
<br />
P∗ <br />
<br />
kj kj <br />
T ↓(k <br />
min)<br />
min<br />
(Pmin) = PminΘkmin · Zmin <br />
Qi = T ↓(k1)<br />
(P1) ∧ · · · ∧ T ↓(kn)<br />
(Pn) <br />
<br />
1<br />
∗<br />
berechne∗ (Qi) <br />
n<br />
<br />
Qi <br />
<br />
<br />
<br />
Q Q = ¬P <br />
P ¬ P <br />
M = ¬M M µ M (x) = 1 − µM(x)<br />
x ∈ M ¬P <br />
¬P <br />
P T ↓ <br />
¬P T ↑ P <br />
<br />
T ↓ (¬P ) = T ↑ (P )<br />
Z
Q = ¬P <br />
¬P <br />
P <br />
<br />
T ↑ (¬P ) = T ↓ (P ).<br />
<br />
<br />
<br />
∗ | ∗| > 1
Q <br />
Q = ( [20, 25, 5, 2] ) ∧ ( [30, 40, 6, 3] ).<br />
<br />
<br />
<br />
P1<br />
<br />
<br />
<br />
<br />
1<br />
0<br />
µ<br />
P<br />
1<br />
15 20 25<br />
<br />
27<br />
Alter<br />
1<br />
0<br />
µ<br />
P<br />
2<br />
P2<br />
24 30<br />
40<br />
<br />
P1 P2<br />
Q <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q<br />
43<br />
Gehalt<br />
<br />
∗<br />
<br />
Q <br />
<br />
∗ <br />
Q<br />
= 3 > 1
Z1 Z1 = [−1, 1, 0, 0]<br />
<br />
<br />
∆1(P1, T ↓<br />
1 (P1)) = ∆2(P2, T ↓<br />
2 (P2)) <br />
∆i(Pi, T ↓<br />
i (Pi)) = laenge(core(T ↓<br />
i (Pi))) / laenge(core(Pi)).<br />
∆1 <br />
∆1(P1, T ↓<br />
1 (P1)) = laenge(core(T ↓<br />
1<br />
([20, 25, 5, 2]))) / laenge(core([20, 25, 5, 2]))<br />
= laenge(core([20, 25, 5, 2]Θ[−1, 1, 0, 0]))/laenge([20, 25])<br />
= laenge(core([21, 24, 5, 2]))/laenge([20, 25])<br />
= 3/5.<br />
Z2 = [−δ2, δ2, 0, 0] P2<br />
<br />
∆2(P2, T ↓<br />
2 (P2)) = laenge(core(T ↓<br />
2<br />
([30, 40, 6, 3]))) / laenge(core([30, 40, 6, 3]))<br />
= laenge(core([30 + δ2, 40 − δ2, 6, 3])) / laenge([30, 40]))<br />
= (40 − δ2 − 30 − δ2)/40 − 30<br />
= (10 − 2 · δ2)/10 = (5 − δ2)/5<br />
=⇒ δ2 = 2<br />
Z2 = [−2, 2, 0, 0] <br />
Q1 = T ↓ (Q) = T ↓<br />
1 (P1) ∧ T ↓<br />
2 (P2)<br />
= ( [21, 24, 5, 2]) ∧ ( [32, 38, 6, 3]).<br />
Q1 <br />
<br />
<br />
<br />
∗<br />
Q1<br />
<br />
<br />
<br />
∗ Q1<br />
<br />
<br />
= 2 > 1
Q1<br />
<br />
Z1 Z2 <br />
Q2 <br />
Q2 = T ↓(2) (Q) = T ↓(2)<br />
1<br />
(P1) ∧ T ↓(2)<br />
2 (P2)<br />
= ( [22, 23, 5, 2]) ∧ ( [34, 36, 6, 3]).<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Q2<br />
Q
1<br />
0<br />
µ<br />
a b c a’ d<br />
P 1<br />
1<br />
a b c d d’<br />
1 1 1 2 1 2<br />
2 2<br />
2 2<br />
<br />
P<br />
2<br />
P’<br />
2
P1 = [a1, b1, c1, d1] P2 = [a2, b2, c2, d2] a1, b1, c1, d1 < a2<br />
P1 P2 <br />
P1 P2 <br />
α = [aα, bα, cα, dα] β = [aβ, bβ, cβ, dβ] <br />
⎧<br />
⎪⎨<br />
1, cα ≥ bβ<br />
dα−aβ<br />
ABSP OSGR(α, β) =<br />
(dα−aβ)+(bβ−cα)<br />
⎪⎩<br />
, cα < bβ dα > aβ<br />
0, <br />
β <br />
<br />
aβ ≤ dα aβ aβ ≤ dα <br />
P1 P2 <br />
P2 <br />
<br />
⎧<br />
⎪⎨<br />
1, cα ≥ dβ<br />
dα−cβ<br />
RELP OSGR(α, β) =<br />
(dα−cβ)+(dβ−cα)<br />
⎪⎩<br />
, cα < dβ dα > cβ<br />
0, <br />
<br />
<br />
aβ dβ <br />
cβ dα <br />
<br />
<br />
⎧<br />
⎪⎨<br />
1, aα ≥ dβ<br />
bα−cβ<br />
ABSNECGR(α, β) =<br />
(bα−cβ)+(dβ−aα)<br />
⎪⎩<br />
, aα < dβ bα > cβ<br />
0, <br />
<br />
cβ
P1 = [a1, b1, c1, d1]<br />
P2 = [a2, b2, c2, d2] P1 P2 <br />
1<br />
0<br />
µ<br />
P 1<br />
a a b a’ b c d c’ c d’ d<br />
1 2 b’ 1 2 2 1 2<br />
1 2<br />
2 2 2<br />
<br />
c1 ≥ b2 <br />
<br />
P2 c1 < b2 <br />
<br />
P1 P2 <br />
b1 ≥ c2 <br />
P2 <br />
1<br />
0<br />
µ<br />
P’<br />
2<br />
P<br />
2<br />
a 2 a’ b c’ 2 2 2 2 c2 a d’ d b c d<br />
b’ 1 2 2 1<br />
1<br />
1<br />
<br />
<br />
P 1<br />
P’<br />
2<br />
P<br />
2
P2 <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
α β S1(α, β) 1<br />
α β P aT N3sup(α, β) <br />
α β P aT N2rel(α, β) <br />
α β InSN2rel(α, β) <br />
α β P aSN3inf (α, β) <br />
α β NK3(α, β) <br />
α β F GEQ(α, β) <br />
α β F GT (α, β) <br />
α β NF GEQ(α, β) <br />
α β NF GT (α, β) <br />
α β NK3(β, α) <br />
α β F GEQ(β, α) <br />
α β NF GEQ(β, α) <br />
α β F GT (β, α) <br />
α β NF GT (β, α) <br />
<br />
<br />
P2 <br />
<br />
<br />
<br />
P1 P2 = 1 ⇐⇒ P1 = [a, b, c, d] = P2 P2 <br />
<br />
P2
ν θ <br />
δ <br />
<br />
<br />
δ <br />
<br />
<br />
<br />
FP
ν θ <br />
δ <br />
<br />
<br />
δ <br />
<br />
<br />
<br />
FP
δ
δ
δ
δ
δ
δ
δ
+
+
+
+
+
+
+
+
−
− <br />
−
− <br />
−