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

More documents

Recommendations

Info

Hipóteses: 1) A ∈ K, 2) B ∈ K, 3) B /∈ K − A. A encontrar: X t.q Lemma (AGM85, 2.4): Ad b) Ad a) 44 B ∈ K (a) X ∈ K ⊥ A e (b) K − A ⊆ X e (c) B /∈ X ! hip.2 K − A, A ⊢ B X ∈ K ⊥ C D ∈ K X ⊢ D Recovery K − A, ¬A ⊢ B K − A ⊢ A ∨ B X ∈ K ⊥ D K − A ⊢ B ∃X ∈ K ⊥ A ∨ B : K − A ⊆ X A ∈ K hip.1 X ∈ K ⊥ A ∨ B X ∈ K ⊥ A b) hip.3 Ad c) X ∈ K ⊥ A ∨ B X ⊢ A ∨ B AGM: Postulados e construções X ∈ K ⊥ A ∨ B X ⊢ A ∨ B b) X ⊢ A Lemma B /∈ X b)
Demonstramos assim: AGM: Postulados e construções Representação de C1-6. Uma operação de contração satisfaz (C1-6), sse ela é uma contração-pm. Para a definição de revisões-pm empregamos a Id.Levi: Assim definimos revisão-pm: K ∗ A = K − ¬A + A. K ∗ A = Cn( s(K ⊥ ¬A) ∪ {A}). Em seguida a harmonia entre os postulados C e R permite a ... Representação de R1-6. Uma operação de revisão satisfaz (R1-6), sse ela é uma revisão-pm. 45
Page 1 and 2: Goethe-Universität Frankfurt am Ma
Page 3 and 4: Justificação epistêmica · Justi
Page 5 and 6: Um problema tradicional Seja K o co
Page 7 and 8: Taking a closer look at the two pro
Page 9 and 10: Can we reduce the dynamic case (D)
Page 11 and 12: Can we reduce the dynamic case (D)
Page 13 and 14: A strong thesis (Isaac Levi) ◦ In
Page 15 and 16: A possible explanation: Justificaç
Page 17 and 18: Uma abordagem abstrata: três casos
Page 19 and 20: Programa Problema inicial: O que s
Page 21 and 22: • Operação de fechamento lógic
Page 23 and 24: (m) Pedro é dono de um Maserati. R
Page 25 and 26: Semântica epistêmica das proposi
Page 27 and 28: Considerações pré-teóricas Junt
Page 29 and 30: (C1) Closure (C2) Success (C3) Incl
Page 31 and 32: Identidade do Levi (LI): Identidade
Page 33 and 34: Teste de Ramsey para condicionais (
Page 35 and 36: Modalidades reflexivas Confusão de
Page 37 and 38: A familia K ⊥ A de candidatos X
Page 39 and 40: Representação para C1-6. (AGM 198
Page 41 and 42: Prova para a representação de C1-
Page 43: Ad (5): K − A = σ(K ⊥ A). ⊆
Page 47 and 48: es.fe.ra sf 1 Geom Corpo cujos pont
Page 49 and 50: W Ähnlichkeit mit w w Esquerda: Si
Page 51 and 52: Representação de contrações pel
Page 53 and 54: Sistemas de esferas Para determinar
Page 55 and 56: K 55 Maxichoice revision K A enthä
Page 57 and 58: Forma lógica: • Proposição A e
Page 59 and 60: 59 Lógica Dinâmica Doxástica (DD
Page 61 and 62: Cuidado: • Como o teste do Ramsey
Page 63 and 64: Axiomas A extensão mínima da Lóg
Page 65 and 66: Semântica Lógica Dinâmica Doxás
Page 67 and 68: • Condições: Lógica Dinâmica

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

Create successful ePaper yourself

Delete template?

Save as template?