Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS

• Condições:
Lógica Dinâmica Doxástica (DDL)
Seja S • P = {S ∈ S : S ∩ P = ∅}
(o conunto dos esferas-P ; se S • P = ∅, então P in Snão é “concebível”, i.e. a
negação de P faz parte do urcorpus).
1. Se RP SS ′ , então S ′ =
P ∩ min(S • P ), caso (S • P ) = ∅
{∅} caso contrário .
2. S = S ′ (∀S, S ′ ∈ Σ). (urkorpus é constante (K).)
3. ∀S∃S ′ : RSS ′ . (revisões são quase sempre possíveis.)
4. Se RSS ′ und RSS ′′ , então S ′ = S ′′ . (revisões são bem-definidas.)
[Modelos do Grove]
67
(revisão)