EL++ I = !ΔI, ·I"
EL EL EL+
EL++
EL++ NR
NI
EL+
EL++ NC ·I a ∈ NI
AI : ΔI → [0, 1] rI : Δ++I × ΔI → [0, 1]
E L ! ⊥
C
C $d D
I aI ∈ ΔI r ∈ NR
A ∈ NC C
A
A K = {A, C}
A !I (x) = 1 ⊥I (x) = 0
!1 x = aI {a}I (x) =
0 (C # D)I (x) = min "CI (x), DI (x)# (∃r.C)I (x) = supy∈ΔI "min "rI (x, y) , CI (y)## min "CI (x) , d# ≤ DI (x) $r1I ◦t . . . ◦t rI % (x, y) ≤ sI (x, y)
k
CI "aI # ≥ d rI "aI , bI # ≥ d E L
++ C
d D
C $C {o}
B C, D ∈ BCC ∪ {⊥} r ∈ RC C, D ∈ BCC ∪ {⊥}
S (C, D) < min (d1, d2)
R (r, C, D) < min (d1, d2) r1, . . . , rk ∈ RC R (rk, Ck, Ck+1)) = d {a} BCC !d
C !d E
Ck+1 = E
C {a} ∈ BCC
S
C {o} $dC B
S ({a} , ⊥) > 0
{o} S ({o} , B) ≥ d
B S (C, {a}) < 1
C, E ∈ BCC C1, . . . , Ck+1 ∈ BCC
min (R (r1, C1, C2) , . . . , C1 = C C1 = {a}