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.
Lógica <strong>Dinâmica</strong> <strong>Doxástica</strong> (DDL)<br />
Primeiras pesquisas: Fuhrmann (1988, 1989), van Eick (199?), van Benthem (1994).<br />
Vantagens <strong>de</strong> DDL em comparação com AGM :<br />
• DDL mais expressivo que AGM.<br />
· Exemplo: B[∗A]BB — (B ∈ K ∗ A) ∈ K ??<br />
• DDL indica melhoa a estrutura lógica <strong>de</strong> mudanças <strong>de</strong> crenças.<br />
· A ∈ K ∗ B sugere que K é um parámetro que po<strong>de</strong> variar tal como A ou B. Na<br />
verda<strong>de</strong>, esta possibilida<strong>de</strong> é vazia em AGM: K sempre está mantido fixo.<br />
• DDL oferece mais controle em <strong>de</strong>duções.<br />
· Por ex. as regras lógicas para B também aplicam a fórmulas como B[∗A]BB.<br />
• DDL permite transferir teorias já prontas da área da Lógica Modal.<br />
60