UNIVERSIDADE ZAMBEZE

FACULDADE DE CINCIAS TECNOLOGIAS

CURSO ENGENHARIA DE PROCESSOS 40 ANO- LABORAL
DISCIPLINA: INVESTIGAO OPERACIONAL

TEMA: TEORIA DE JOGO CONTRA NATUREZA

Discentes:

Docentes:

Aniceto Salomo Z. Machava

Eng. Nicolau Chirindza

Inocncio Nhavotso
Ranito Zacarias Nhanchungue
Teresa Joo Madisse

BEIRA AOS 29 de abril de 2016

ndice

1.INTRODUO......................................................................................................................2
2.OBJETIVOS...........................................................................................................................3
2.1.Objetivo geral...................................................................................................................3
2.2. Objetivos especficos.......................................................................................................3
3.PROCESSOS DE DECISO..................................................................................................4
4.CARACTERIZAO AXIOMTICO DOS CRITRIOS...................................................5
5. CRTICA DOS CRITRIOS.................................................................................................9
6. POSSIBILIDADES DE OUTROS CRITRIOS.................................................................11
7.CONCLUSES.....................................................................................................................13
8.BIBLIOGRAFIA...................................................................................................................14

1.INTRODUO
O objeto deste trabalho ser estudar jogos do acompanhamento contra natureza. A matriz (a ij)
dada no qual o jogador deve escolher uma fila. A coluna ser escolhida pela "Natureza", um
jogador fictcio no tendo nenhum objetivo conhecido e nenhuma estratgia conhecida. A
recompensa (payoff) para o jogador ser ento dado pela entrada nessa linha especial e
coluna.
Esta entrada deve representar um utilitrio numrico no sentido de Von Neumann e
Morgenstern. Ser mostrado que vrios critrios conhecidos por interpretar tais jogos podem
ser caracterizados por axiomas simples.
Um procedimento axiomtico tambm ser usado para criticar esses critrios, e estudar as
possibilidades de outros critrios. (Nossa suposio bsica de que o jogador no tem
absolutamente nenhuma informao sobre a Natureza pode parecer demasiado restritiva.
Contudo jogos sem informao podem ser usados como uma forma normal para uma classe
mais ampla de jogos em que certos tipos de informaes so permitidos. Por exemplo, se a
informao consiste em limites para as probabilidades dos vrios estados da Natureza, em
seguida, considerando apenas as estratgias mistas de Natureza que satisfazer esses limites,
construmos um novo jogo por no ter informaes. Infelizmente, na prtica, informaes
parciais, muitas vezes ocorrem em formas vagas, no-matemticos que so difceis de
manusear).
Os seguintes critrios foram sugeridos para esses jogos contra a Natureza.
Laplace. Se as probabilidades dos diferentes estados possveis da natureza so desconhecidas,
devemos assumir que eles so todos iguais.

2.OBJETIVOS
2.1.Objetivo geral
Abordar os fundamentos tericos da teoria de jogos contra a natureza, dando um
enfoque na disciplina de investigao operacional II.
2.2. Objetivos especficos
Identificar os critrios utilizados na teoria de jogos contra a natureza;

3.PROCESSOS DE DECISO

Assim, se o jogador escolhe a linha i-sima sua expectativa dada pela mdia
(aiI ++ a /n) , e ele deve escolher uma linha para que esta mdia maximizada.

Wald: (princpio Minimax). Se o jogador escolhe a i-sima linha ento seu retorno ser,
certamente, pelo menos Min aiI . O mais seguro possvel curso de ao , portanto,
escolher uma linha para a qual Min

aiI

maximizada. Isto corresponde a uma hiptese

pessimista de esperar o pior.

Se estratgias mistas para o jogador tambm so permitidos, ento este critrio deve ser
formulada da seguinte maneira. Escolha uma probabilidade mistura ( 1 , . m ) das linhas
de modo que a quantidade Min ( 1 a 1 j , . m amj ) maximizada. Em outras palavras
jogar como se a natureza fosse o adversrio em um jogo de soma zero.

Hurwicz
Selecione uma constante 0 1 1, que mede a O otimismo de jogador. Para cada linha,
deixe a denotar o menor componente e A o maior. Escolha uma linha para o qual um
A + ( 1 ) maximizada. Para =0 este reduz ao critrio de Wald.
Savage
(Minimax Regresso). Definir a matriz (negativa) de regresso ( r ij dada por
r ij =r ij Max akj . Assim r ij mede a diferena entre a recompensa que na verdade
obtido e a recompensa que poderia ter sido obtida se o verdadeiro estado da Natureza tinha
sido conhecido.
Depois aplica-se o critrio de Wald matriz (r ij ) . Isso escolher uma linha [ou mistura de
linhas] para o qual Min r ij [ou Min ( 1 r 1 j ++ m r mj ] maximizada.
Estes quatro critrios so certamente diferentes. Este ilustrado atravs do seguinte exemplo,
onde a linha preferida sob cada critrio indicado.

1
0

2
1
4
3

0
1
0
0

1
Laplace

1
Wald

0 Hurwicz ( 1 )
4

0
Savage

4.CARACTERIZAO AXIOMTICO DOS CRITRIOS

Para esta caracterizao iremos considerar critrios que atribuem a cada matriz ( aij ) uma
relao de preferncia

entre pares das linhas da matriz. Ser mostrado que cada um dos

quatro critrios de 1 caracterizada por alguns dos seguintes axiomas. Os primeiros cinco
axiomas so compatveis com todos os quatro critrios.
1. Ordenao
A relao

uma ordenao completa de linhas. Ou seja, uma relao transitria, tal

que para qualquer das duas linhas r, r' ou r r' ou r' r.

2. Simetria
Esta ordenao independente da numerao das linhas e colunas. (Assim, no estamos
considerando situaes em que no h qualquer razo para esperar um estado de natureza
mais do que outro.)
3. Dominao Strong (forte)
Se cada componente de r maior do que o componente correspondente de r ', em seguida r
r' (abreviao para: r r' mas no para r' r).

4. Continuidade
Se as matrizes

)
a(K
ij

convergem para uma

aij

, e se

r (K) r (k1 ) ) para cada k, em

seguida, as linhas limite de r e r 1 satisfazer r r 1 .

6

5. linearidade
A relao de ordem no alterada se o matriz ( aij ) passa a ter ( aij = aij + , > 0 . Os
quatro axiomas seguintes servem para distinguir entre os quatro critrios.
6. Adjuno das linhas
A ordenao entre as linhas antigas no alterado pela adjuno de uma nova linha.
7. Coluna de linearidade
A ordenao no ser alterado se uma constante adicionado a uma coluna. (Isto pode ser
interpretado como uma afirmao de que a natureza no tem preconceitos a favor ou contra o
jogador. Ele tambm afirma que o utilitrio linear, no s no que diz respeito s
probabilidades conhecidos, mas tambm no que diz respeito s probabilidades desconhecidas
do tipo em considerao.)

8. Coluna de duplicao
A ordenao no ser alterado se uma nova coluna, idntica com alguma coluna antiga
unida com a matriz. (Assim, estamos apenas interessados no que estados da natureza so
possveis, e no em quantas vezes cada estado pode ter sido contadas na formao da
matriz).
9. Convexidade

Se a linha r igual mdia

(Duas fileiras so equivalentes,

r ,+r )
1

2
r ' r' '

do duas linhas equivalentes, em seguida,

, se r ' r

r r ' .

e r r . Este axioma afirma que o

jogador no preconceituoso ou contra. Se duas linhas so igualmente favorveis, ento ele

no se importa jogar uma moeda para decidir entre eles). Finalmente vamos precisar de uma
forma modificada de axioma 6, que compatvel com todos os quatro critrios.

10. adjuno da linha especial

A ordenao entre as linhas velhas no alterada pela adjuno de uma nova linha,
proporcionando que nenhum componente desta nova linha maior do que componentes que
corresponde todas as linhas velhas (antigas). Os principais resultados desta anlise so todos
incorporados no diagrama a seguir, que descreve as relaes entre os dez axiomas e os quatro
critrios. O smbolo "X" indica que o axioma e critrio correspondente so compatveis.
Cada critrio caracterizada por esses axiomas que so marcado " '.

Diagrama 1. X= compatibilidade
Cada critrio caracterizada por axiomas marcado por
Teorema 1. O critrio de Laplace compatvel com todos estes axioma outros 8 axiomas; o
critrio de Wald com todos mas axioma 7; o critrio Hurwicz com todos, mas 7 e 9; o Savage
critrio com todos, mas 6.
As provas so que todos so completamente trivial. Talvez os seguintes dois exemplos so de
interesse. Na primeira matriz o critrio de hurwicz (para

> 0) no compatvel com

axioma 9 (convexidade). No segundo par o critrio Savage no compatvel com axioma 6

(linha adjuno).
2 0 0

1 1 0
0 2 0

2 1

2 1

0 2
0 2
7 4

Teorema 2. O critrio de Laplace caracterizada pelos axiomas 1,2,3 1 6,7.

Primeiro necessrio para provar o seguinte.
Lema 1. Assumindo axiomas 1,2,6 (ordenao, simetria, adjuno) duas linhas que diferem
apenas na ordem de seus componentes so equivalentes.
Juntando uma sequncia de linhas intermdias de modo que duas linhas consecutiva diferem
apenas por uma permutao de dois componentes. O resultado agora segue por uma aplicao
do axioma de simetria para cada par de linhas consecutivas.
A prova do teorema 2 segue. Suponha-se que a mdia dos componentes de r igual mdia
dos elementos de r'. Alternadamente executar as duas operaes a seguir na matriz:
a) Permutar os elementos de r e r' de modo que eles se encontram em ordem de tamanho
crescente. (Permitida pelo lema 1, e axioma 6).
b) Subtrair de cada coluna do componente em r ou o componente em r', o que for menor.
(Permitida pelo axioma 7). Depois de um nmero finito de passos, todos os componentes de r
e r' ser zero. Segue-se que

r r ' . Agora, usando axiomas 3 e 6 segue-se que

r >r '

sempre que a mdia dos elementos de r maior do que a mdia dos elementos de r'. Assim, o
critrio que de Laplace.
Teorema 3. O critrio de Wald caracterizada por axiomas 1,2,3,4,6,8,9.
Dois lemas so de primeira necessidade.
Lema 2. Axiomas assumindo 3 e 4 (dominao e continuidade), em que cada componente do
r maior do que ou igual ao componente correspondente r', ento r >r ' . A prova clara. 3
Lema 3. Assumindo axiomas 1,2,3,4,6,8, duas linhas que tm o mesmo elemento mnimo e o
mesmo elemento mximo so equivalentes.
Seja ( a1 , ,

an

) Ser qualquer registro tendo o componente mnimo a e um mximo

componente A. Dos lemas 1 e 2 segue-se que:

(a , , a , A) (a1 , , an) ( A , , A ,a) .
Mas (a , , a , A) equivalente a ( A , , a ,a) uma vez que a matriz
9

 a,..., a, A

A, ..., a, a

pode ser obtido a partir da matriz simtrica

a A

A a

por duplicao da coluna.

Portanto, quaisquer das duas linhas com mnimo elemento a e mximo A so equivalentes.
Prova do teorema 3. Pelo Lema 3 suficiente para considerar pares (a, A) com

a
a

lugar de linhas. Aplicando a convexidade axioma (9) para a matriz

dispomos de (a, A)

(a,

1
(a A)
2

(a A)

1
(a A)
2
a

, no

(a A)
2

) pela aplicao repetida desta regra, em conjunto com

o axioma de continuidade, dispomos de (a, A)

(a, a), portanto, (a, A)

(a,

a). Segue-se facilmente que o critrio como de Wald.

Teorema 4. O hurwicz caracterizado pelos axiomas 1,2,3,4,5,6,8. Novamente basta
considerar pares (a, A) com a A. Deixe um ser o supremo de todos os nmeros de um tal
que (A ', A') <(0,1). At o axioma dominao segue-se que 0 4 a 4 1. Em con- tinuidade
segue-se que (, ) - (0,1). por linearidade
a, A
( A +(1) a , A +(1)a) )
sempre que

a< A . Segue-se facilmente que o critrio dado apenas o referido critrio de

hurwicz que corresponde ao parmetro valorizar .

Teorema 5. O critrio Savage caracterizado por axiomas 1,2,3,4,7,8,9,10. A matriz ser

chamado normalizado se contiver uma linha

ro

que consiste inteiramente de zeros, e se

ele no conter componentes positivos. Qualquer dada matriz pode ser normalizado pela

10

primeira subtraindo o elemento mximo de cada coluna, e em seguida, adicionar linha

ro

.
Por axiomas 7 e 10 dessas operaes no alteram a relao de ordem entre as linhas antigas.
Em um matriz normalizada somos livres, pelo axioma 10, para adcionar qualquer linha que
no contm elementos positivos e para eliminar qualquer outra linha que

r o . A prova est

agora completamente paralelo prova de Teorema 3. S necessrio exigir que todas as

matrizes ponderada seja normalizada.

5. CRTICA DOS CRITRIOS

H um princpio fundamental, que ainda no tenha sido mencionado: O da dominao (ou
admissibilidade). Uma estratgia diz a dominar outra, se to bom em todos os estados de
natureza e definitivamente melhor em, pelo menos, um. natural para requerer que o
seguinte axioma seja satisfeita.
3 . Se r domina r' ento r >r ' .
Este axioma no compatvel com os critrios de Wald, Hurwicz, e Savage. Cada um desses
critrios poderia ser modificado em um caminho trivial de modo a satisfazer a

, mas o

resultado violaria o igualmente axioma fundamental da continuidade. Esta dificuldade

ilustrada pelos dois exemplos a seguir.
Exemplo 1. Considere a famlia de matrizes
2 1 1

2 2 k

onde

0 k 1

. Estratgias mistas so permitidas. No caso k = 1, a segunda fileira domina o

primeiro. , portanto natural esperar que a segunda linha deve ser escolhido exclusivamente
para k = 1, e deve ser escolhida com alta probabilidade para k prximo de 1. Mas de acordo
com os critrios de Wald e Hurwicz (

1) a primeira linha deve ser escolhida, sempre

que K<1. (Comparar diagrama 2). Neste exemplo, o critrio Savage tem o esperado
11

comportamento, mas no que se segue, mais complicado, examinar o critrio Savage tambm
no satisfatria.

Exemplo 2. Considere as matrizes

1

0
1

0
1
1
1

1
0
k
0

1
0

onde 0 k 1 . Para k = 1 as duas primeiras linhas so dominadas, Ainda de acordo com os

critrios de Wald e Savage essas duas linhas devem ser escolhidas exclusivamente sempre
que

K <1 . (Compare diagrama 3). Apenas o critrio de Laplace d uma soluo

satisfatria neste exemplo.

O critrio de Laplace tem sido bem-sucedida sob todos os testes que foram feitos, com a
nica excepo do axioma 8 (duplicao da coluna). Parece que, se estamos dispostos a
sacrificar este axioma, ento o critrio de Laplace definitivamente o melhor. No entanto, em
muitas aplicaes, desejvel a preservao do axioma 8. Isto particularmente verdadeiro
nos casos em que no h uma separao ntida e natural dos possveis estados de Natureza em
um nmero finito de alternativas distintas.

12

Assim, todos os critrios em anlise parecem insatisfatrios em que eles no conseguem

satisfazer certos axiomas bsicos.

6. POSSIBILIDADES DE OUTROS CRITRIOS

Tornou-se aparente que no possvel um critrio ter todas as propriedades que se desejaria.
Por conseguinte, natural tentar construir uma lista das propriedades que so mais
fundamentais e importante, para ver se, pelo menos, estes podem ser satisfeitos. O seguinte
uma tentativa dos autores para a construo de tal lista.
Outros sem dvida, devem ter dado listas bastante diferentes. Deixe nos denotar S como o
simplex de estratgias mistas sobre as linhas da matriz.
I.
II.
III.
IV.
V.

Para cada matriz corresponde uma escolha no-vazia do Conjunto C contido em S.

(A ordem completa de 2 da realmente mais informaes do que foi necessrio.)
Simetria. C no dependem da numerao da linhas e colunas.
Dominao. Cada elemento de C na dominado (= admissvel).
(k )
( k)
(k)
(k )
Continuidade. Se aij a ij , s C(aij ) , e s s , ento, S C (aij ) .
Adjuno da Linha. O conjunto de escolha no alterado pela adjuno de uma nova
linha que dominado por uma linha antiga. (Algumas linhas de adjuno mais forte
do axioma ser desejvel, mas pelo menos isso parece indispensvel.) Os trs axiomas
seguintes tambm so desejveis, embora no seja to bsico como os primeiros

VI.

cinco.
Duplicao da coluna. C no alterada pela adjuno da duplicao de alguma

VII.
VIII.

coluna.
Linearidade de coluna. C no modificado pela adio de uma constante a coluna.
Convexidade. C convexa. Evidentemente nenhum critrio que foi mencionado at
agora satisfaz todos estes axiomas.
Teorema 6. Existem critrios que simultaneamente satisfazem os precedentes oito
axiomas.
Primeiro, considere a seguinte ligeira modificao do critrio de Savage. Seja S um
poliedro convexo de estratgias mistas para o jogador, e seja
recompensa (payoff) lineares sobre

P1 , , Pn , ser funes de

S , correspondentes aos possveis estados de

Natureza.

13

O pesar negativo definida por

conjunto

C( S)

Min r j (s , S)
j

C (S)

r j ( s , S )=P j ( s )Max P j ( s )

s S

. O Savage escolhe o

que consiste no conjunto de todas as estratgias

s S

para que cada

atinge o seu mximo M. Em vez disso, vamos considerar o conjunto

consistindo de todo s S tal que

Min r j ( s , S ) M .
j

O critrio necessrio agora construdo como se segue. Escolher como parmetros uma
sequncia infinita de nmeros positivos
os conjuntos

S 0 S1

por

1 , 2 ,

que convergem para zero. Definir

S 0=S , S i=C i (Si1)

. Como conjunto de escolha

C ( 1 , 2 , ) ( S ) nos levamos a interseco do S i .

Os axiomas I a VIII podem agora ser verificados. As provas no ir ser realizada, uma vez
que elas so bastante envolvido (pelo menos para dominao e continuidade). Em
qualquer caso, estes critrios so provavelmente muito difcil computacionalmente para
ser de interesse prtico.
Uma outra propriedade interessante que possuda por estes critrios a seguinte. As
funes de recompensa

so todos constantes na escolha do conjunto. Assim,

quaisquer dois elementos no conjunto de escolha so completamente equivalentes.

interessante perguntar se existe algum simples, computvel critrio que satisfaz todas as
condies anteriores.

14

7.CONCLUSES
Os critrios matemticos de deciso para escolha de natureza que podem ser utilizados
quando no se deseja lanar mo das probabilidades subjectivas e/ou dos conceitos da
utilidade descritos anteriormente. Correspondem a uma abordagem tradicional da anlise de
deciso na incerteza.
Mostra-se aos decisores que a subjectividade seja um factor dosconsideravel na deciso,
como tomar decises na incerteza tendo em mos mtodos capazes de ajudar na escolha de
alternativas, utilizando para tanto, as racionalizaes propostas por alguns autores
especializados no assunto.
Ao contrrio do que discutiu-se anteriormente, mostra-se seis dos principais critrios
desenvolvidos sob um raciocnio logico e matemtico de anlise de deciso na incerteza.
Nota-se no decorrer da explanao dos mesmos que, as decises conduzidas por estes
critrios no levam em considerao a atitude do decisor em relao ao risco, o que
certamente ocasionar uma diferenciao nas decises encontradas via procedimento e uso da
funo utilidade do decisor.
Os critrios descritos no trabalho so: 1. Critrio de Laplace; 2. Criterio de Wald (Maximin);
3. Criterio do Maximax; 4. Criterio de Hurwicz; 5. Criterio de Savage (Perda por
Oportunidade); 6. Estratgias Mistas.

15

8.BIBLIOGRAFIA
1. Herstein, I. N. and Milnor, J., An Axiomatic Approach to Measurable
Utility, Econometrica, 21 (1953), 291-297.
2. Savage, L. J., The Theory of Statistical Decision, Journal of the American
Statistical Association, 48 (1947), 238-24T
3.

von Neumann, J., and Morgenstern, 0., Theory of Games and Economic Behavior,
Princeton, 1944.

4.

Wald, A., Statistical Decision Functions, New York, 1950.

16