Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Forma lógica:<br />
• Proposição A está<br />
AGM e EPDL<br />
A ∈ K ∗ B :<br />
Depois o agente revisa K para incluir B, (ele aceita (A))<br />
• no escopo <strong>de</strong> um operador epistémico, que está<br />
AGM e EPDL<br />
• no escopo <strong>de</strong> um operador <strong>de</strong> agência, que está parametrizado por uma proposição<br />
B.<br />
Inidica a combinação seguinte:<br />
• Lógica Epistêmica (ou <strong>Doxástica</strong>) (com operador B <strong>de</strong> aceitação, “belief”) e<br />
• Lógica Dinámica (com “programas” [a0], [a1], [a2], . . . )<br />
• cada programa ai da forma ∗〈fórmula〉 (i.e. revisão) ou −〈fórmula〉 (i.e. contração).<br />
57