Davi Romero de Vasconcelos. Lógica Modal de Primeira-ordem para Raciocinar sobre Jogos. Tese de Doutorado
|
|
- João Pedro Salazar
- 5 Há anos
- Visualizações:
Transcrição
1 Davi Romero de Vasconcelos Lógica Modal de Primeira-ordem para Raciocinar sobre Jogos Tese de Doutorado Tese apresentada ao Programa de Informática do Departamento de Informática da PUC Rio como requisito parcial para obtenção do título de Doutor em Informática. Orientador: Prof. Edward Hermann Haeusler Rio de Janeiro Abril de 2007
2 Davi Romero de Vasconcelos Lógica Modal de Primeira-ordem para Raciocinar sobre Jogos Tese apresentada ao Programa de Informática do Departamento de Informática do Centro Técnico Científico da PUC Rio como requisito parcial para obtenção do título de Doutor em Informática. Aprovada pela Comissão Examinadora abaixo assinada. Prof. Edward Hermann Haeusler Orientador Departamento de Informática PUC Rio Prof. Eduardo Sany Laber PUC-Rio Prof. Paulo Blauth Menezes UFRGS Prof. Mario R. Folhadela Benevides UFRJ Prof. Paulo Augusto Veloso UFRJ Prof. Marcelo da Silva Corrêa UFF Prof. Geiza M. Hamazaki da Silva PUC-Rio Prof. José Eugenio Leal Coordenador Setorial do Centro Técnico Científico PUC Rio Rio de Janeiro, 02 de Abril de 2007
3 Todos os direitos reservados. É proibida a reprodução total ou parcial do trabalho sem autorização da universidade, do autor e do orientador. Davi Romero de Vasconcelos Graduou se em Ciência da Computação pela Universidade Federal do Ceará. Obteve título de Mestre em Informática pela Pontifícia Universidade Católica do Rio de Janeiro. Vasconcelos, Davi Romero de Ficha Catalográfica Lógica Modal de Primeira-ordem para Raciocinar sobre Jogos / Davi Romero de Vasconcelos; orientador: Edward Hermann Haeusler f. ; 30 cm 1. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Inclui bibliografia. 1. Informática Teses. 2. Ciência da Computação. 3. Lógica Modal de Primeira-Ordem. 4. Teoria dos Jogos. 5. Lógica para Jogos. 6. Sistemas Multi-Agentes. 7. Verificação de Modelos. I. Haeusler, Edward Hermann. II. Pontifícia Universidade Católica do Rio de Janeiro. Departamento de Informática. III. Título. CDD: 004
4 Agradecimentos À minha mãe, Nadja Rodrigues Romero, ao meu pai, Luis Cruz de Vasconcelos Junior, à minha irmã, Marina Romero de Vasconcelos, e ao meu irmão, Eneas Romero de Vasconcelos, pelo eterno apoio, carinho e amor que sempre me dedicaram. À minha namorada Cilana Rabelo pelo apoio, carinho, amor e por ter me ajudado na revisão do texto desta tese. Ao Hermann pela amizade, orientação e oportunidade de realizar estágio na Alemanha. Ao professor Mario Benevides por participar no desenvolvimento deste trabalho em diversas oportunidades. À Geiza pela amizade e carinho durante todo este período aqui no Rio de Janeiro. Ao Marcelo Corrêa pela amizade, carinho e convivência durante o período em que estive na Alemanha. Ao Christian Rentería pela amizade, conselhos e ajuda durante a minha permanência na Alemanha. Ao professor Peter Schroeder-Heister por ter me orientado na Alemanha. Ao Thomas Piecha pela amizade e por todo o auxilio durante o período na Alemanha. Aos professores Paulo Veloso, Paulo Blauth e Laber por terem participado da banca de defesa desta tese. Aos meus amigos do TecMF: Bazilio, Vaston, Christiano e Alexandre. Ao Alexandre Pigatti pela amizade e apoio durante todo este período aqui no Rio de Janeiro. Aos meus amigos de convívio durante o doutorado: Frederico Guth, Alessandro Garcia, João, Amanda, Karina, Juliana e Rodnei. Aos professores da Pontifícia Universidade Católica do Rio de Janeiro por terem me dado a base necessária para o desenvolvimento do meu trabalho. Em especial, aos professores Luiz Carlos e Poggi. Ao professor Marcelo José Braga do departamento de Economia Rural da Universidade Federal de Viçosa por diversas conversas sobre economia, meio acadêmico, entre outros assuntos. À CAPES e ao CNPq pelo apoio financeiro.
5 Resumo Vasconcelos, Davi Romero de; Haeusler, Edward Hermann. Lógica Modal de Primeira-ordem para Raciocinar sobre Jogos. Rio de Janeiro, p. Tese de Doutorado Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro. O termo jogo tem sido utilizado como uma metáfora, em várias áreas do conhecimento, para modelar e analisar situações onde agentes (jogadores) interagem em ambientes compartilhados para a realização de seus objetivos sejam eles individuais ou coletivos. Existem diversos modelos propostos para jogos por diferentes áreas do conhecimento, tais como matemática, ciência da computação, ciência política e social, entre outras. Dentre as diversas formas de modelar jogos examinamos a Teoria dos Jogos e as lógicas para jogos. Neste trabalho apresentamos uma lógica modal de primeira-ordem baseada na lógica CTL, chamada de Game Analysis Logic, para raciocinar sobre jogos. Relacionamos os principais modelos da Teoria dos Jogos (jogo estratégico, extensivo, e de coalizão) e seus principais conceitos de soluções (equilíbrio de Nash, equilíbrio de subjogo perfeito, e core) aos modelos de GAL e às fórmulas de GAL, respectivamente. Além disso, estudamos as alternativas de quantificação De Re e De Dicto no contexto dos jogos extensivos, caracterizando o conceito de equilíbrio de Nash e equilíbrio de subjogo perfeito de acordo com as alternativas de quantificação. Relacionamos as lógicas Alternating-time Temporal Logic (ATL) e Coalitional Game Logic (CGL) com a lógica GAL, demonstrando que ambas as lógicas são fragmentos da lógica GAL. Outro resultado deste trabalho é caracterizar uma classe de sistemas multi-agentes, que é baseada na arquitetura de agentes Belief-Desire-Intention (BDI), para a qual existem jogos extensivos e vice-versa. Como conseqüência, os critérios de racionalidade da Teoria dos Jogos podem ser aplicados diretamente para agentes BDI e vice-versa. Assim, a abordagem deste trabalho pode ser utilizada para analisar sistemas multi-agentes. Do ponto de vista prático, apresentamos um verificador de modelos para a lógica GAL. Diversos estudos de casos são realizados utilizando o verificador de modelos. Palavras chave Ciência da Computação. Lógica Modal de Primeira-Ordem. Teoria dos Jogos. Lógica para Jogos. Sistemas Multi-Agentes. Verificação de Modelos.
6 Abstract Vasconcelos, Davi Romero de; Haeusler, Edward Hermann. First- Order Modal Logic for Reasoning about Games. Rio de Janeiro, p. PhD Thesis Department of Informática, Pontifícia Universidade Católica do Rio de Janeiro. Games are abstract models of decision-making in which decisionmakers (players) interact in a shared environment to accomplish their goals. Several models have been proposed to analyze a wide variety of applications in many disciplines such as mathematics, computer science and even political and social sciences among others. In this work, we focus on Game Theory and Game Logics. We present a first-order modal logic based on CTL, namely Game Analysis Logic (GAL), to model and reason about games. The standard models of Game Theory (strategic games, extensive games and coalition games) as well as their solution concepts (Nash equilibrium, subgame perfect equilibrium and core), respectively, are express as models of GAL and formulas of GAL. Moreover, we study the alternatives of De Re and De Dicto quantification in the context of extensive games. We also show that two of the most representative game logics, namely Alternating-time Temporal Logic (ATL) and Coalitional Game Logic (CGL), are fragments of GAL. We also characterize a class of multi-agent systems, which is based on the architecture Belief-Desire-Intention (BDI), for which there is a somehow equivalent class of games and vice-versa. As a consequence, criteria of rationality for agents can be directly applied to players and vice-versa. Game analysis formal tools can be applied to MAS as well. From a practical point of view, we provide and develop a model-checker for GAL. In addition, we perform case studies using our prototype. Keywords Computer Science. First-Order Modal Logic. Game Theory. Game Logics. Multi-Agent Systems. Model Checking.
7 Sumário 1 Introdução Por quê CTL de primeira-ordem? Organização da Tese 21 2 Teoria dos Jogos Jogo Estratégico Jogo Extensivo com Informação Perfeita Jogo Extensivo com Informação Quase Perfeita Jogo Extensivo com Informação Imperfeita Jogo Extensivo Reduzido e Informação Imperfeita Equivalente Jogo de Coalizão com Utilidades Transferíveis Jogo de Coalizão sem Utilidades Transferíveis 55 3 Lógicas Temporais para a Validação de Sistemas Lógicas Temporais Verificação de Modelos em CTL 69 4 Lógicas para Jogos Alternating-temporal logic (ATL) Coalitional Game Logic (CGL) 87 5 Game Analysis Logic (GAL) Propriedades de GAL Propriedades de alguns tipos de jogos Verificação de Modelos em GAL Teoria dos Jogos em GAL Jogo Estratégico em GAL Jogo Extensivo com Informação Perfeita em GAL Jogo Extensivo com Informação Quase Perfeita em GAL Jogo Extensivo com Informação Imperfeita em GAL Jogo de Coalizão com Utilidades Transferíveis em GAL Jogo Evolutivo de Coalizão com Utilidades Transferíveis Jogo Extensivo de Coalizão com Utilidades Transferíveis Jogo de Coalizão sem Utilidades Transferíveis em GAL GAL versus Lógicas para Jogos GAL versus ATL GAL versus CGL Experimentos Teoria dos Jogos no GALV SMV vs. GALV Jogos em computação no GALV Leilão no GALV 181
8 9 Conclusão 183 A Provas das Interações entre Quantificação De Re e De Dicto 197 B Provas dos Teoremas de Teoria dos Jogos em GAL 204 B.1 Jogo Estratégico 204 B.2 Jogo Extensivo na Versão Matricial 207 B.3 Jogo Extensivo Versão Extensiva 210 B.4 Quantificando em Jogos Extensivos 214 B.5 Jogo Extensivo com Informação Imperfeita 220 B.6 Jogo de Coalizão Com Utilidades Transferíveis 222 B.7 Jogo de Coalizão Sem Utilidades Transferíveis 222 C Defining Agents via Strategies: Towards a view of MASs as Games 225 C.1 Introduction 225 C.2 The background theories: BDI and Game Theory 229 C.3 Agents as Players 236 C.4 Players as Agents 239 C.5 Conclusion 241
9 Lista de figuras 1.1 Relacionamento entre a Teoria dos Jogos e GAL Relacionamento entre LORA, Teoria dos Jogos e GAL Uma rede de computadores com custos compartilhados Jogo estratégico com dois jogadores Duas representações do jogo estratégico Batalha dos Sexos Duas representações do jogo estratégico Dilema do Prisioneiro Uma representação do jogo estratégico Matching Pennies Jogo Extensivo na versão matricial e extensiva do exemplo Dilema do Prisioneiro na versão extensiva Exemplo de uma instância do jogo Centipede Versão do Dilema do Prisioneiro em Jogo de Informação Quase Perfeita Jogo Extensivo com informação imperfeita (Exemplo 2.16) Jogo Extensivo com informação imperfeita (Selten s Horse) Representação matricial do jogo Selten s Horse Jogo Extensivo com informação imperfeita e lembrança imperfeita Representação do jogo Representação do jogo Estrutura de Kripke Árvore de Computação Infinita Operadores temporais X, F, G e U Operadores de CTL Complexidade de CTL*, LTL e CTL Árvore de decisão binária da fórmula (a 1 b 1 ) (a 2 b 2 ) OBDD da fórmula (a 1 b 1 ) (a 2 b 2 ) Exclusão mútua na linguagem do SMV Estrutura de jogo concorrente do exemplo Representações do jogo estratégico Batalha dos Sexos Estrutura de GAL para o jogo do casamento Conectivos modais de GAL Estruturas de GAL Relação entre De Re e De Dicto em GAL Tela principal do GALV com o exemplo do jogo da velha Jogo estratégico Batalha dos Sexos Jogo extensivo do exemplo Exemplo Exemplo de um jogo extensivo Exemplo de um jogo extensivo de soma zero Dilema do Prisioneiro na versão extensiva com informação perfeita Exemplo de um jogo extensivo Exemplos de um jogo extensivo com diferentes utilidades. 137
10 Lista de figuras Tabela das soluções (estratégias) do exemplo Dilema do Prisioneiro como Jogo Extensivo com Informação Quase Perfeita Dilema do Prisioneiro como Jogo Extensivos com Informação Imperfeita Estrutura de GAL para o jogo do casamento Estrutura de ATL para o jogo do casamento Jogo Concorrente vs. Estrutura de GAL para o exemplo Jogos estratégicos com dois jogadores Solução core para o exemplo Tela para cadastrar o planejamento dos agentes. 182 C.1 Extensive Games 235 C.2 Example of the transformation of SIT M (P lan a ) in a tree without simultaneous moves 238 C.3 The Prisoner s Dilemma 241
Davi Romero de Vasconcelos. Análise de Estratégias Utilizando Verificação Formal de Modelos. Dissertação de Mestrado
Davi Romero de Vasconcelos Análise de Estratégias Utilizando Verificação Formal de Modelos Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa
Leia maisCapítulo 9. Conclusão 184
9 Conclusão Esperamos com este trabalho ter demonstrado que a lógica Game Analysis Logic GAL, que é uma lógica modal de primeira-ordem baseada na lógica Computation Tree Logic, pode ser usada para representar
Leia maisDavi Romero de Vasconcelos. Lógica Modal de Primeira-ordem para Raciocinar sobre Jogos. Tese de Doutorado
Davi Romero de Vasconcelos Lógica Modal de Primeira-ordem para Raciocinar sobre Jogos Tese de Doutorado Tese apresentada ao Programa de Informática do Departamento de Informática da PUC Rio como requisito
Leia maisIam Vita Jabour. O Impacto de Atributos Estruturais na Identificação de Tabelas e Listas em Documentos HTML. Dissertação de Mestrado
Iam Vita Jabour O Impacto de Atributos Estruturais na Identificação de Tabelas e Listas em Documentos HTML Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de
Leia maisCálculo de seqüentes de sucedente múltiplo para lógica intuicionista de primeira ordem
María Fernanda Pallares Colomar Cálculo de seqüentes de sucedente múltiplo para lógica intuicionista de primeira ordem Tese de Doutorado Tese apresentada ao Programa de Pós graduação em Filosofia do Departamento
Leia maisUm ambiente de suporte para uma linguagem de modelagem de sistemas multi-agentes
Richard Werneck de Carvalho Um ambiente de suporte para uma linguagem de modelagem de sistemas multi-agentes Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título
Leia maisAdriano Medeiros dos Santos. Suporte a Componentes Compostos Para o Middleware SCS. Dissertação de Mestrado
Adriano Medeiros dos Santos Suporte a Componentes Compostos Para o Middleware SCS Dissertação de Mestrado Dissertação apresentada ao Programa de Pós graduação em Informática do Departamento de Informática
Leia maisJaqueline Engelmann. Teoria da Definição. Das definições reais às definições predicativas. Tese de Doutorado
Jaqueline Engelmann Teoria da Definição Das definições reais às definições predicativas Tese de Doutorado Tese apresentada ao Programa de Pós-graduação em Filosofia da PUC-Rio como requisito parcial para
Leia maisGerenciando Conflitos em Reuniões: Uma Estratégia para a Elicitação de Requisitos de Software
Cecilia Camacho Gerenciando Conflitos em Reuniões: Uma Estratégia para a Elicitação de Requisitos de Software Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-graduação em Informática
Leia maisUm Estudo Sobre Middlewares Adaptáveis
Luiz Gustavo Couri Nogara Um Estudo Sobre Middlewares Adaptáveis Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa de Pós graduação em
Leia maisBruno Loureiro Rezende. Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO
Bruno Loureiro Rezende Um Framework para a Automação de Testes com Linguagens de Especificação Configuráveis DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós-graduação em Informática
Leia maisUma abordagem baseada em SPH para animação interativa de águas rasas em jogos
Algemiro Augusto da Silva Neto Uma abordagem baseada em SPH para animação interativa de águas rasas em jogos Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau
Leia maisBruno Baère Pederassi Lomba de Araujo. Um estudo sobre adaptatividade dinâmica de dificuldade em jogos. Dissertação de Mestrado
Bruno Baère Pederassi Lomba de Araujo Um estudo sobre adaptatividade dinâmica de dificuldade em jogos Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre
Leia maisUma Trajetória do Pensamento Clássico às Questões Contemporâneas
Khalid Fernandes Braga Salomão Reflexões sobre a Soberania Uma Trajetória do Pensamento Clássico às Questões Contemporâneas Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-Graduação
Leia maisElicitação de requisitos de software através da utilização de questionários
Paulo Roberto de Oliveira Bastos Junior Elicitação de requisitos de software através da utilização de questionários Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-graduação em Informática
Leia maisCriação Automática de Visões Materializadas em SGBDs Relacionais
Andréa Weberling Carvalho Criação Automática de Visões Materializadas em SGBDs Relacionais Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo
Leia maisJoão Paulo de Freitas Araujo. Algoritmos para acelerar a computação de Árvores de corte de Gomory e Hu. Dissertação de Mestrado
João Paulo de Freitas Araujo Algoritmos para acelerar a computação de Árvores de corte de Gomory e Hu Dissertação de Mestrado Dissertação apresentada ao Programa de Pós- Graduação em Engenharia de Produção
Leia maisLuzia da Costa Tonon. O Teorema de Cramér-Lundberg via martingais DISSERTAÇÃO DE MESTRADO. Programa de Pós Graduação em Matemática
Luzia da Costa Tonon O Teorema de Cramér-Lundberg via martingais DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE MATEMÁTICA Programa de Pós Graduação em Matemática Rio de Janeiro Fevereiro de 2005 Luzia da Costa
Leia maisMarcelo de Mattos Bezerra. Interações no Ensino e na Prática do Design e da Arquitetura. Dissertação de Mestrado
Marcelo de Mattos Bezerra Interações no Ensino e na Prática do Design e da Arquitetura Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa
Leia maisControle da Execução e Disponibilização de Dados para Aplicativos sobre Seqüências Biológicas: o Caso BLAST
Maíra Ferreira de Noronha Controle da Execução e Disponibilização de Dados para Aplicativos sobre Seqüências Biológicas: o Caso BLAST Dissertação de Mestrado Dissertação apresentada como requisito parcial
Leia maisAvaliação da Licitação de Lotes de Frequência para LTE Utilizando a Teoria de Opções Reais
Alain Monteiro de Mello Avaliação da Licitação de Lotes de Frequência para LTE Utilizando a Teoria de Opções Reais Dissertação de Mestrado (Opção profissional) Dissertação apresentada como requisito parcial
Leia maisSérgio Queiroz de Medeiros. Correspondência entre PEGs e Classes de Gramáticas Livres de Contexto. Tese de Doutorado
Sérgio Queiroz de Medeiros Correspondência entre PEGs e Classes de Gramáticas Livres de Contexto Tese de Doutorado Tese apresentada ao Programa de Pós graduação em Informática do Departamento de Informática
Leia maisRegysane Botelho Cutrim Alves. A crítica de traduções na teoria e na prática: o caso da Versão Brasileira. Dissertação de mestrado
Regysane Botelho Cutrim Alves A crítica de traduções na teoria e na prática: o caso da Versão Brasileira Dissertação de mestrado Dissertação apresentada ao programa de Pós-graduação em Letras da PUC-Rio
Leia maisUm Framework de Jogos Sérios para Mercado de Informações com Aplicação em Ética Empresarial
Khalid Fernandes Braga Salomão Um Framework de Jogos Sérios para Mercado de Informações com Aplicação em Ética Empresarial Dissertação de Mestrado Dissertação apresentada ao Programa de Pósgraduação em
Leia maisUMA IMPLEMENTAÇÃO DO SERVIÇO WMS SOBRE A BIBLIOTECA TERRALIB
Marconi de Arruda Pereira UMA IMPLEMENTAÇÃO DO SERVIÇO WMS SOBRE A BIBLIOTECA TERRALIB Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo Programa
Leia maisAlexandre Roberto Rentería ESTIMAÇÃO DE PROBABILIDADE FUZZY A PARTIR DE DADOS IMPRECISOS. Tese de Doutorado
1 Alexandre Roberto Rentería ESTIMAÇÃO DE PROBABILIDADE FUZZY A PARTIR DE DADOS IMPRECISOS Tese de Doutorado Tese apresentada ao Programa de Pós-graduação em Engenharia Elétrica da PUC-Rio como requisito
Leia maisEstudo Comparativo de Estratégias de Classificação de Páginas Web
Thoran Araguez Rodrigues Estudo Comparativo de Estratégias de Classificação de Páginas Web Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-Graduação em Informática da Pontifícia Universidade
Leia maisCapítulo 1. Introdução 12
1 Introdução A percepção humana, em geral, parece se dar através da observação do mundo e da geração de abstrações do mesmo. O que se busca fazer é construir modelos, sejam eles modelos mentais ou definidos
Leia maisIntegração de Ontologia com Modelagem de Processo: Um Método para Facilitar a Elicitação de Requisitos
Ana Luiza Ávila Cerqueira Integração de Ontologia com Modelagem de Processo: Um Método para Facilitar a Elicitação de Requisitos Dissertação de Mestrado Dissertação apresentada como requisito parcial para
Leia maisAplicação da Análise de Sistemas à Definição de Processos de Desenvolvimento de Software
Glória Maria de Paula Oliveira Aplicação da Análise de Sistemas à Definição de Processos de Desenvolvimento de Software Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisPedro Tiago Barbosa do Couto. Resolução de problemas de transporte rodoviário de cargas utilizando programação inteira DISSERTAÇÃO DE MESTRADO
Pedro Tiago Barbosa do Couto Resolução de problemas de transporte rodoviário de cargas utilizando programação inteira DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE ENGENHARIA ELÉTRICA Programa de Pós graduação
Leia maisMarcos Vidal Costa. A escrita diarística de José Gomes Ferreira: a iluminação por dentro das palavras de todos os dias.
Marcos Vidal Costa A escrita diarística de José Gomes Ferreira: a iluminação por dentro das palavras de todos os dias Tese de Doutorado Tese apresentada ao Programa de Pós- Graduação em Letras da PUC-Rio
Leia maisMatemática e Conhecimento na República de Platão
Alexandre Jordão Baptista Matemática e Conhecimento na República de Platão Tese de Doutorado Tese apresentada ao Programa de Pósgraduação em Filosofia da Puc Rio como requisito parcial para obtenção do
Leia maisMatchmaking Uma infraestrutura para alinhamento de esquemas
Raphael do Vale Amaral Gomes Matchmaking Uma infraestrutura para alinhamento de esquemas Dissertação de mestrado Dissertação apresentada como requisito parcial para a obtenção do grau de Mestre pelo Programa
Leia maisUma Interpretação Dedekindiana do Conceito de Número Ordinal Transfinito de Cantor
Walter Gomide do Nascimento Júnior O INFINITO CONTADO POR DEUS Uma Interpretação Dedekindiana do Conceito de Número Ordinal Transfinito de Cantor Tese de Doutorado Tese apresentada ao Programa de Pós-graduação
Leia maisConsiderações sobre a terceirização da logística e uma metodologia de classificação para os Party Logistics
Rafael Brasil Ferro Costa Considerações sobre a terceirização da logística e uma metodologia de classificação para os Party Logistics Dissertação de Mestrado Dissertação apresentada como requisito parcial
Leia maisCapital Requerido via Simulação Estocástica aplicado ao Seguro de Vida e Fundo de Pensão
Tayana Aparecida Rigueira Capital Requerido via Simulação Estocástica aplicado ao Seguro de Vida e Fundo de Pensão Dissertação de Mestrado Dissertação apresentada ao Programa de Pósgraduação em Ciências
Leia maisLeonardo Correa do Carmo. Finanças Comportamentais: uma análise das diferenças de comportamento entre investidores institucionais e individuais.
Leonardo Correa do Carmo Finanças Comportamentais: uma análise das diferenças de comportamento entre investidores institucionais e individuais. Dissertação de Mestrado (Opção profissional) Dissertação
Leia maisAnálise da satisfação dos clientes de serviços de cabotagem no Brasil: Um estudo de caso
Marianna Campos Pereira de Souza Análise da satisfação dos clientes de serviços de cabotagem no Brasil: Um estudo de caso Dissertação de Mestrado (Opção profissional) Dissertação apresentada como requisito
Leia maisO número de transições de uma estrutura de jogo concorrente é
4 Lógicas para Jogos Dentre as diversas lógicas existentes para raciocinar sobre jogos, escolhemos apresentar as seguintes lógicas: Alternating-time Temporal Logic ATL AHK02 e sua variante Counterfactual
Leia maisAnálise e Avaliação do Equity Premium Puzzle no Mercado Acionário Brasileiro sob diferentes Contextos Econômicos
Robson Cabral dos Santos Análise e Avaliação do Equity Premium Puzzle no Mercado Acionário Brasileiro sob diferentes Contextos Econômicos Dissertação de Mestrado Dissertação apresentada como requisito
Leia maisMônica Nogueira de Assis. Cancioneiro Transgressor Um estudo sobre a poética da canção em Renato Russo e Cazuza. Dissertação de Mestrado
Mônica Nogueira de Assis Cancioneiro Transgressor Um estudo sobre a poética da canção em Renato Russo e Cazuza Dissertação de Mestrado Dissertação apresentada ao Programa de Pósgraduação em Letras da PUC-Rio
Leia maisMetáforas para linguagem no Curso de Saussure
Elisângela Nogueira Teixeira Metáforas para linguagem no Curso de Saussure Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa de Pós- Graduação
Leia maisEntre as memórias, a memória do desconforto
Rodrigo Ordine Graça Entre as memórias, a memória do desconforto Tese de Doutorado Tese apresentada ao Programa de Pós-graduação em Letras da PUC-Rio como requisito parcial para a obtenção do título de
Leia maisAvaliação Preliminar dos Movimentos Aéreos no Aeroporto Internacional Antônio Carlos Jobim Galeão
Íris Firmino Cardoso Avaliação Preliminar dos Movimentos Aéreos no Aeroporto Internacional Antônio Carlos Jobim Galeão Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisRenato Figueiró Maia. Um Framework para Sistemas Baseados em Componentes Distribuídos. Informática DEPARTAMENTO DE INFORMÁTICA
Renato Figueiró Maia Um Framework para Adaptação Dinâmica de Sistemas Baseados em Componentes Distribuídos DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós graduação em Informática Rio
Leia maisBruno de Figueiredo Melo e Souza. Modelos de fatoração matricial para recomendação de vídeos. Dissertação de Mestrado
Bruno de Figueiredo Melo e Souza Modelos de fatoração matricial para recomendação de vídeos Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa
Leia maisIPOs no Novo Mercado: Estratégias de Capitalização ou de Saída?
Aline Carli Lex IPOs no Novo Mercado: Estratégias de Capitalização ou de Saída? DISSERTAÇÃO DE MESTRADO Departamento de Economia Programa de Pós-Graduação em Economia Rio de Janeiro Março de 2007 Aline
Leia maisInfluência do BNDES na Governança das Empresas Brasileiras Listadas
Fernanda Farah de Abreu Zorman Influência do BNDES na Governança das Empresas Brasileiras Listadas Dissertação de Mestrado Dissertação apresentada ao Programa de Pósgraduação em Administração de Empresas
Leia maisRicardo Fukasawa. Resolução de problemas de logística ferroviária utilizando programação inteira DISSERTAÇÃO DE MESTRADO
Ricardo Fukasawa Resolução de problemas de logística ferroviária utilizando programação inteira DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE ENGENHARIA ELÉTRICA Programa de Pós graduação em Engenharia Elétrica
Leia maisOtávio de Pinho Forin Braga. Uma Arquitetura para Síntese de Imagens Fotorrealistas baseada em Técnicas de Monte Carlo DISSERTAÇÃO DE MESTRADO
Otávio de Pinho Forin Braga Uma Arquitetura para Síntese de Imagens Fotorrealistas baseada em Técnicas de Monte Carlo DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós graduação em Informática
Leia maisVinci Pegoretti Amorim. Uma Arquitetura Flexível para Replicação de Bases Distribuídas Heterogêneas. Dissertação de Mestrado
Vinci Pegoretti Amorim Uma Arquitetura Flexível para Replicação de Bases Distribuídas Heterogêneas Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre
Leia maisFrancisco Benjamim Filho. XHITS: Estendendo o Algoritmo HITS para Extração de Tópicos na WWW DISSERTAÇÃO DE MESTRADO
Francisco Benjamim Filho XHITS: Estendendo o Algoritmo HITS para Extração de Tópicos na WWW DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de Pós-Graduação em Informática Rio de Janeiro,
Leia maisO Design de Sinalização no Brasil: a introdução de novos conceitos de 1970 a 2000
Ana Lucia de Oliveira Leite Velho O Design de Sinalização no Brasil: a introdução de novos conceitos de 1970 a 2000 Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisMauricio Kreczmarsky Guimarães Meinicke. Opacidade 3D na Visualização Volumétrica de Dados Sísmicos
Mauricio Kreczmarsky Guimarães Meinicke Opacidade 3D na Visualização Volumétrica de Dados Sísmicos Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre
Leia maisUma Proposta de Sistema de Dependência a Distância Usando a Plataforma Moodle
Bruno Hirle Nunes Uma Proposta de Sistema de Dependência a Distância Usando a Plataforma Moodle Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo
Leia maisGheisa Roberta Telles Esteves. Modelos de Previsão de Carga de Curto Prazo. Dissertação de Mestrado
Gheisa Roberta Telles Esteves Modelos de Previsão de Carga de Curto Prazo Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa de Pós-graduação
Leia maisFernanda Magalhães Rumenos Guardado. Estudo sobre a IS Intertemporal na Economia Brasileira
Fernanda Magalhães Rumenos Guardado Estudo sobre a IS Intertemporal na Economia Brasileira Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo
Leia maisMarcelo Ribeiro de Carvalho. Modelagem da Operação de um Recinto Especial para Despacho Aduaneiro de Exportação (Redex) Dissertação de Mestrado
Marcelo Ribeiro de Carvalho Modelagem da Operação de um Recinto Especial para Despacho Aduaneiro de Exportação (Redex) Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisGeração semi-automática de massas de testes funcionais a partir da composição de casos de uso e tabelas de decisão
Luiz Rodolfo Neves Caldeira Geração semi-automática de massas de testes funcionais a partir da composição de casos de uso e tabelas de decisão Dissertação de Mestrado Dissertação apresentada como requisito
Leia maisMarcos Borges Pessoa. Geração e execução automática de scripts de teste para aplicações web a partir de casos de uso direcionados por comportamento
Marcos Borges Pessoa Geração e execução automática de scripts de teste para aplicações web a partir de casos de uso direcionados por comportamento Dissertação de mestrado Dissertação apresentada como requisito
Leia maisAtos de fala, atos falhos: uma aproximação entre as teorias linguísticas de Austin e de Wittgenstein e a psicanálise de Freud e Lacan
Claudio Eduardo Moura de Oliveira Atos de fala, atos falhos: uma aproximação entre as teorias linguísticas de Austin e de Wittgenstein e a psicanálise de Freud e Lacan Dissertação de Mestrado Dissertação
Leia maisMemes: Conceito de Conteúdo de Informação Como Alternativa de Pesquisa de Posicionamento de Marca
Nathan Scortegagna de Medeiros Memes: Conceito de Conteúdo de Informação Como Alternativa de Pesquisa de Posicionamento de Marca Dissertação de Mestrado Dissertação apresentada ao Programa de Pósgraduação
Leia maisOPERADORES LOGÍSTICOS E SEUS CLIENTES: UM ESTUDO EMPÍRICO
Nádia do Amor Divino de Lima OPERADORES LOGÍSTICOS E SEUS CLIENTES: UM ESTUDO EMPÍRICO Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa
Leia maisCompras de itens não críticos: implementação no nível operacional e práticas em uma empresa de petróleo
Alice Maria Silva Teixeira de Souza Compras de itens não críticos: implementação no nível operacional e práticas em uma empresa de petróleo Dissertação de Mestrado Dissertação apresentada como requisito
Leia maisAvaliação Probabilística de Reservas de Óleo e Gás Considerando o Efeito da Variação do Preço do Óleo
Livia Hastenreiter Avaliação Probabilística de Reservas de Óleo e Gás Considerando o Efeito da Variação do Preço do Óleo Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisConsiderações sobre o Afeto em Psicanálise
Fabrício da Costa Trotta Considerações sobre o Afeto em Psicanálise Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa de Pósgraduação
Leia maisEducação, Experiência e o Hiato Salarial entre o Setor Público e Privado no Brasil
Breno Gomide Braga Educação, Experiência e o Hiato Salarial entre o Setor Público e Privado no Brasil Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre
Leia maisA ironia como estratégia narrativa: uma análise do Regresso Adiado de Manuel Rui
Jarcélen Thaís Teixeira Ribeiro A ironia como estratégia narrativa: uma análise do Regresso Adiado de Manuel Rui Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo Programa
Leia maisSistema para Consultas sobre Banco de Dados Relacional Baseado em Palavras-Chave
Leandro dos Santos Nazareth Sistema para Consultas sobre Banco de Dados Relacional Baseado em Palavras-Chave Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-Graduação em Informática
Leia maisMarcos José Gomes Cristovão
Marcos José Gomes Cristovão A perspectiva de Tarso Mazzotti sobre o uso da argumentação e da análise retórica para o desenvolvimento, a crítica e a compreensão das teorias pedagógicas Dissertação de Mestrado
Leia maisGuilherme de Sousa Neves. Previsão de estoque de peças eletrônicas sobressalentes. Dissertação de Mestrado
Guilherme de Sousa Neves Previsão de estoque de peças eletrônicas sobressalentes Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre (opção profissional)
Leia maisVariação semântica nas construções adverbiais temporais introduzidas por quando na língua portuguesa
Eduardo Orgler Variação semântica nas construções adverbiais temporais introduzidas por quando na língua portuguesa Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisCrime e Poupança: Teoria e Evidências para o Brasil
Eduardo Zilberman Crime e Poupança: Teoria e Evidências para o Brasil Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo Programa de Pós- Graduação
Leia maisAposentadoria e o Trade-off entre Renda e Lazer: Implicações para o Valor do Capital Humano de Funcionários Públicos
Cecilia Caraciki Muruci Machado Aposentadoria e o Trade-off entre Renda e Lazer: Implicações para o Valor do Capital Humano de Funcionários Públicos Dissertação de Mestrado Dissertação apresentada como
Leia maisProposta de um sistema de suporte à decisão para programação de navios baseado em otimização: um caso prático
Gustavo Souto dos Santos Diz Proposta de um sistema de suporte à decisão para programação de navios baseado em otimização: um caso prático Dissertação de Mestrado Dissertação apresentada como requisito
Leia maisRealce de Imagens no Domínio da Transformada
Eduardo Esteves Vale Realce de Imagens no Domínio da Transformada Dissertação de Mestrado Dissertação apresentada ao Programa de Pós- Graduação em Engenharia Elétrica do Departamento de Engenharia Elétrica
Leia maisUma Análise de Cenário Legislativo e Operacional dos Operadores de Transporte Multimodal (OTM) no Brasil
Filipe de Oliveira Lima Uma Análise de Cenário Legislativo e Operacional dos Operadores de Transporte Multimodal (OTM) no Brasil Dissertação de Mestrado (Opção profissional) Dissertação apresentada como
Leia maisRebecca Coscarelli Cardoso Bastos
Rebecca Coscarelli Cardoso Bastos A crise do mundo moderno e o desconforto contemporâneo: uma leitura dos conceitos de história, trabalho, ação e alienação em Hannah Arendt. Dissertação de Mestrado Dissertação
Leia maisBianca Novaes de Mello. As Teorias da Linguagem em Lacan. Tese de Doutorado
Bianca Novaes de Mello As Teorias da Linguagem em Lacan Tese de Doutorado Tese apresentada ao Programa de Pós-Graduação em Psicologia do Departamento de Psicologia da PUC-Rio como requisito parcial para
Leia maisPatrícia Teixeira de Sá
Patrícia Teixeira de Sá A Socialização Profissional de Professores de História de duas gerações: os anos de 1970 e de 2000 Dissertação de Mestrado Dissertação apresentada ao Programa de Pós- Graduação
Leia maisLeonardo Lucena Pereira Azevedo da Silveira
Leonardo Lucena Pereira Azevedo da Silveira Em busca do tempo querido: um estudo antropológico da Saudade Dissertação de Mestrado Dissertação apresentada ao Programa de Pós-Graduação em Ciências Sociais
Leia maisRemo Mannarino Filho. O método das divisões: a última proposta dialética de Platão. Dissertação de mestrado
Remo Mannarino Filho O método das divisões: a última proposta dialética de Platão Dissertação de mestrado Dissertação apresentada ao Programa de Pós-graduação em Filosofia da PUC-Rio como requisito parcial
Leia maisRegina Maria de Britto Figueiredo. Uma Teoria Literária em Expansão. Tese de Doutorado
Regina Maria de Britto Figueiredo Uma Teoria Literária em Expansão Tese de Doutorado Tese apresentada ao Programa de Pós-graduação em Letras do Departamento de Letras da PUC-Rio como parte dos requisitos
Leia maisFinanças Comportamentais: Uma Aplicação da Teoria do Prospecto na Tomada de Decisão de Investidores no Brasil
Flávia Montarroyos Côrtes Finanças Comportamentais: Uma Aplicação da Teoria do Prospecto na Tomada de Decisão de Investidores no Brasil Dissertação de Mestrado Dissertação apresentada ao Programa de Pósgraduação
Leia maisAs notícias sobre crime e a construção da realidade:
Tatiana Bastos de Sousa As notícias sobre crime e a construção da realidade: Uma análise da cobertura dos ataques vinculados ao grupo Primeiro Comando da Capital, em maio de 2006 Dissertação de Mestrado
Leia maisRogério Miguel Coelho
Rogério Miguel Coelho Integração de Ferramentas Gráficas e Declarativas na Autoria de Arquiteturas Modeladas através de Grafos Compostos DISSERTAÇÃO DE MESTRADO DEPARTAMENTO DE INFORMÁTICA Programa de
Leia maisA Individuação Como Fenômeno Estético: Arte, Corpo e Linguagem no Jovem Nietzsche
André Luiz Bentes Ferreira da Cruz A Individuação Como Fenômeno Estético: Arte, Corpo e Linguagem no Jovem Nietzsche Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo
Leia maisCarlos Frederico Delage Junqueira de Oliveira
Carlos Frederico Delage Junqueira de Oliveira Identidade do direito, individualização de disposições jurídicas e o caráter peremptório das razões para a ação Um estudo sobre teoria dos sistemas jurídicos
Leia maisRelação entre Governança Corporativa e Remuneração de Executivos no Brasil
André Carvalho Foster Vidal Relação entre Governança Corporativa e Remuneração de Executivos no Brasil Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de
Leia maisO conceito de terrorismo nos jornais americanos
Aline Louro de Souza e Silva Rabello O conceito de terrorismo nos jornais americanos Uma análise de textos do New York Times e do Washington Post, logo após os atentados de 11 de setembro Dissertação de
Leia maisJoão Clemente A. Quaresma de Moura. O poder na obra de Foucault e as Estratégias do Contemporâneo. Dissertação de Mestrado
João Clemente A. Quaresma de Moura O poder na obra de Foucault e as Estratégias do Contemporâneo Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo
Leia maisEstudo de Viabilidade da Implementação de Software de Roteamento para Transporte de Funcionários de Refinaria da Petrobras
Claudio Roberto Lima do Rego Estudo de Viabilidade da Implementação de Software de Roteamento para Transporte de Funcionários de Refinaria da Petrobras Dissertação de Mestrado Dissertação apresentada como
Leia maisSQLLOMining: Obtenção de Objetos de Aprendizagem utilizando técnicas de Aprendizado de Máquina
Susana Rosich Soares Velloso SQLLOMining: Obtenção de Objetos de Aprendizagem utilizando técnicas de Aprendizado de Máquina Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção
Leia maisA eternidade na obra de Jorge Luis Borges
Paula Marchesini de Souza Mendes A eternidade na obra de Jorge Luis Borges Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre pelo Programa de Pós-Graduação
Leia maisAnálise das Estratégias Competitivas na Indústria Automobilística
Fabio Veloso Vicente da Silva Análise das Estratégias Competitivas na Indústria Automobilística Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre
Leia maisLiquidez e Formação de Preço: Evidência do mercado acionário brasileiro
Marcos Martins Pinheiro Liquidez e Formação de Preço: Evidência do mercado acionário brasileiro Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do título de Mestre
Leia maisMercados Futuros Agropecuários no Brasil: Análise dos Contratos e da Formação dos Preços Futuros
Luis Fernando Teixeira Horta Vieira Mercados Futuros Agropecuários no Brasil: Análise dos Contratos e da Formação dos Preços Futuros Dissertação de Mestrado Dissertação apresentada como requisito parcial
Leia mais