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

Lógica Dinâmica Doxástica (DDL)
Seja W (conjunto dos mundos possíveis) fechado sob união e intersecção finita.
Sistema de esferas S baseado em W : uma família de conjuntos em W [= ∅] t.q.
1. se S é um conjunto não-vazio em S, então S ∈ S;
2. S está ordenado completamente (linear) sob ⊆ (i.e. ∀S1, S2 ∈ σ : ou S1 ⊆ S2 ou
S2 ⊆ S1).
3. ∀P ⊆ W : se P = ∅, então existe uma esfera miníma S ∈ S t.q. P ∩S = ∅ (notação
min(S • P ), veja abaixo).
Estrutura de revisão (W, Σ, RP :P ⊆W ):
• W = ∅,
• conjunto Σ de esferas em W ,
• para cada P ⊆ W (“proposição”) uma relação RP ⊆ Σ × Σ.
66