eldorado.tu-dortmund.de/server/api/core/bitstreams/7793fbee-cd63-4ae4-a6c9-2667c879f6c5/content
Ranking kinematics for revising by contextual information
Y = X, with XY ≡ ⊥ then 6: build [X] = {Y ∈ Prem|XY ≡ ⊥} 7: A ← ∨[X] 8: Prem ← (P rem \ [X]) ∪ {A} 9: else
10: A ← X
11: PΔ ← PΔ ∪ {A} 12: Prem ← Prem \ {A} 13: end if 14: end while 15: if
∨ PΔ ≡ then [...] implies i = j ), and that Δ is consistent (which can easily be checked by the well-known tolerance test [9]). Furthermore, when dealing with two sets Δ,Δ′ of conditionals and enu- merating their elements, we [...] ηS ω S
0 otherwise
− min ω̃Ai
{κ1,0 + κ(ω̃) + ∑
1jni
ω̃AiCi,j Bi,j
ηi,j + {
ηS ω S
0 otherwise }. (9)
= κ(ω) + ∑
1jni
ωAiCi,j Bi,j
ηi,j − min ω̃Ai
{κ(ω̃) + ∑
1jni
ω̃AiCi,j Bi,j
ηi,j
︸ ︷︷ ︸ (∗)
}. (10) …