14.07.2013 Views

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

SHOW MORE
SHOW LESS

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 />


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 />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!