Beruflich Dokumente
Kultur Dokumente
Modelando Conhecimento
Modelando Conhecimento
Introdução
Vamos agora descrever um modelo para conhecimento e usar este modelo para
formalizar a idéia do que é conhecimento comum. Utilizaremos este modelo
para expressar formalmente as suposições sobre o conhecimento dos jogadores
que estão por trás dos conceitos de equilíbrio de Nash e racionalizabilidade.
Quando analisamos jogos, estamos interessados não só no conhecimento dos
jogadores sobre as regras do jogo, mas também no conhecimento dos jogadores
sobre os conhecimentos dos demais. Vamos iniciar introduzindo um modelo
para conhecimento de um único agente.
Modelando Conhecimento Conhecimento Comum
P1. w ∈ K(w ), ∀w ∈ Ω.
P1 afirma que o agente nunca exclui o verdadeiro estado do
conjunto de estados que ele considera possível.
P2. Se w ′ ∈ K(w ), então K(w ′ ) ⊆ K(w ).
P3. Se w ′ ∈ K(w ), então K(w ) ⊆ K(w ′ ).
Modelando Conhecimento Conhecimento Comum
Informação Particional
Definição 1.1
Uma função de informação K para um conjunto Ω é particional se existe
uma partição de Ω tal que para todo w ∈ Ω, o conjunto K(w ) é o elemento
da partição que contém w .
Lema 1.2
Uma função de informação é particional se, e somente se, ela satisfaz P1, P2, e
P3.
Prova: Se K for particional ela claramente satisfaz P1, P2, e P3. Agora
suponha que K satisfaz P1, P2, e P3. Se w ′′ ∈ K(w ) ∩ K(w ′ ), então por P2 e
P3, temos que K(w ) = K(w ′ ) = K(w ′′ ). P1 por sua vez implica que
∪w ∈Ω K(w ) = Ω. Portanto, K é particional.
Modelando Conhecimento Conhecimento Comum
Exemplo
K (E ) = {w ∈ Ω : K(w ) ⊆ E },
Axioma do Conhecimento
a
Esta propriedade é que diferencia conhecimento de crença. Apesar de um
agente não poder saber algo que seja falso, ele pode acreditar em algo que seja
falso.
Modelando Conhecimento Conhecimento Comum
Axioma da Transparência
Axioma da Sabedoria
Exemplo
Exemplo
Ei = {w : Ki (w ) ⊆ {w : wi = B} ou Ki (w ) ⊆ {w : wi = P}}.
Modelando Conhecimento Conhecimento Comum
Exemplo
Quando Ki = Ki1 para todo i, note que apenas nos estados w em que somente
um agente i tem chapéu branco temos w ∈ Ej para algum j. Neste caso, temos
que w ∈ Ei , de modo que apenas i levanta sua mão quando o observador conta
1.
Exemplo
Conhecimento Comum
Conhecimento Comum
Conhecimento Comum
Conhecimento Comum
Eventos Auto-evidentes
Lema 2.1
Sejam K1 e K2 funções de informação particionais, sejam K1 e K2 as funções
de conhecimento associadas, e E um evento qualquer. Então as seguintes
condições são equivalentes:
(a) Ki (E ) = E para i = 1, 2.
(b) E é auto-evidente entre 1 e 2.
(c) E é igual uma união de membros da partição induzida por Ki , para
i = 1, 2.
Modelando Conhecimento Conhecimento Comum
Prova
Podemos agora utilizar este lema para dar uma nova caracterização para
conhecimento comum em termos de eventos auto-evidentes.
Teorema 2.2
Seja Ω um conjunto de estados finito, sejam K1 e K2 funções de informação
particionais, e sejam K1 e K2 as funções de conhecimento associadas. Então
um evento E é conhecimento comum entre 1 e 2 no estado w se, e somente se,
existir um evento auto-evidente F entre 1 e 2, tal que w ∈ F ⊆ E .
Modelando Conhecimento Conhecimento Comum
Prova
Exemplo
O evento E = {w1 , w2 , w3 , w4 } não contém nenhum evento não vazio que seja
auto-evidente entre 1 e 2, portanto, E não é conhecimento comum em nenhum
estado. O evento F = {w1 , w2 , w3 , w4 , w5 } é auto-evidente entre 1 e 2,
portanto é conhecimento comum entre 1 e 2 em qualquer estado em F .
Modelando Conhecimento Conhecimento Comum
Teorema 2.3
Suponha que o conjunto Ω de estados é finito e que os agentes 1 e 2 têm a
mesma probabilidade a priori. Se as funções de informação dos agentes são
particionais e é conhecimento comum entre 1 e 2 em algum estado w ∗ ∈ Ω que
o agente 1 associa probabilidade η1 a algum evento E e o agente 2 associa
probabilidade η2 a algum evento E , então η1 = η2 .
Modelando Conhecimento Conhecimento Comum
Prova