Capítulo 9. Conclusão 184
|
|
- Elisa Fartaria Graça
- 6 Há anos
- Visualizações:
Transcrição
1 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 e analisar diversos tipos de interações entre agentes. No capítulo 6, relacionamos os principais modelos não-cooperativos e cooperativos da Teoria dos Jogos aos modelos de GAL, e relacionamos também os critérios de racionalidade conceitos de solução da Teoria dos Jogos às fórmulas de GAL. Listamos abaixo os modelos e conceitos de soluções que foram representados em GAL. Jogo estratégico e os conceitos de soluções de equilíbrio de Nash, ótimo de Pareto, e equilíbrio de estratégias mistas. Jogo extensivo com informação perfeita quase e imperfeita e os conceitos de soluções equilíbrio de Nash, equilíbrio de subjogo perfeito, equilíbrio de estratégias mistas e comportamentais. Jogo de coalizão com e sem utilidades transferíveis e o conceito de solução de core. Ilustramos que GAL pode representar novos modelos e conceitos de soluções de uma forma fácil e intuitiva. Na seção 6.2.8, consideramos soluções alternativas para jogos extensivos, e apresentamos, nas seções 6.6 e 6.7, variações dos jogos de coalizão, quando consideramos uma seqüência e uma árvore de jogos de coalizão. É sabido que a quantificação em contextos modais é problemática. Na seção 5.1.1, mostramos as relações entre as alternativas de quantificação De Re e De Dicto para GAL. Estudamos a quantificação no contexto dos jogos extensivos na seção 6.2.7, onde também caracterizamos os conceitos de equilíbrio de Nash e de subjogo perfeito de acordo com as alternativas de quantificação, levando em consideração a estrutura do jogo extensivo. Para o conceito de equilíbrio de subjogo perfeito as alternativas de quantificação são equivalentes em GAL. Por outro lado, as alternativas para equilíbrio de Nash não são equivalente em GAL. Contudo, demonstramos que, em particular, para
2 Capítulo 9. Conclusão 184 o caso de equilíbrio de Nash, as fórmulas são equivalentes. De forma resumida, temos que as alternativas de quantificação, De Re e De Dicto, no contexto dos jogos extensivos, são equivalentes para os principais conceitos de soluções, equilíbrio de Nash e equilíbrio de subjogo perfeito. Caracterizamos uma classe de sistemas multi-agentes, os modelos de LORA, para a qual existem jogos extensivos e vice-versa em VHB06. Como conseqüência, os critérios de racionalidade da Teoria dos Jogos equilíbrio de Nash, de subjogo perfeito, etc podem ser aplicadas diretamente para os sistema multi-agentes baseados na arquitetura BDI e vice-versa. Por outro lado, relacionamos os jogos extensivos aos modelos de GAL. Desta forma, podemos utilizar a abordagem deste trabalho para os sistema multi-agentes via o relacionamento com os jogos. Vale a pena ressaltar que a lógica LORA, que estende a lógica GAL, não possui verificação de modelos, sendo utilizada apenas como um ferramental teórico para o estudo dos relacionamentos e da racionalidade dos agentes. Assim, utilizando a lógica GAL, podemos raciocinar sobre os agentes de forma automática. Comparamos a lógica GAL com as lógicas ATL e CGL, que são utilizadas para raciocinar sobre situações não-cooperativas e cooperativas, respectivamente. Demonstramos que ambas as lógicas são fragmentos de GAL. Isto já era esperado, uma vez que GAL é uma lógica de primeira-ordem, enquanto que as outras são proposicionais. Lógicas como ATL, CATL e CGL embutem características de primeiraordem em suas linguagens, utilizando operadores modais para representá-las. Assim, as fórmulas que expressam propriedades, tais como os conceitos de equilíbrio de Nash e core, são, usualmente, grandes e de difícil entendimento. Por exemplo, a fórmula 9-3 de CATL abaixo apresentada na seção expressa equilíbrio de Nash para o jogo Batalha dos Sexos. O mesmo problema ocorre com a fórmula de CGL abaixo apresentada na seção 4.2, que expressa o conceito de core, para o exemplo Por outro lado, as representações em GAL são bem mais simples. Veja as fórmulas 9-1 e 9-2 de GAL abaixo que expressam equilíbrio de Nash e core, respectivamente. v A1 u 1 a 1, a 2 u 1 v A1, a 2 v A2 u 2 a 1, a 2 u 2 a 1, v A Na verdade, a fórmula 9-4 é 5 vezes maior do que esta.
3 Capítulo 9. Conclusão 185 x vi N v I v y v y vv I 1 vi x 1 v y 2 v I x 2 v y 9-2 C 2 s 2, {1} Xu 1 0 C 1 s 1, Xu 1 0 {1} Xu 1 1 C 1 s 1, Xu 1 1 {1} Xu 1 2 C 1 s 1, Xu 1 2 C 1 s 1, {2} Xu 2 0 C 2 s 2, Xu 2 0 {2} Xu 2 1 C 2 s 2, Xu 2 1 {2} Xu 2 2 C 2 s 2, Xu N w {1} w 1 w 1 1 w {1} w 2 w 2 1 w {1} w 3 w 3 1 w {1} w 4 w 4 1 w {1} w 5 w 5 1 w {2} w 1 w 1 2 w {2} w 2 w 2 2 w {2} w 3 w 3 2 w {2} w 4 w 4 2 w {2} w 5 w 5 2 w {1, 2} w 1 w 1 1 w w 1 2 w {1, 2} w 2 w 2 1 w w 2 2 w {1, 2} w 3 w 3 1 w w 3 2 w {1, 2} w 4 w 4 1 w w 4 2 w {1, 2} w 5 w 5 1 w w 5 2 w 9-4 Do ponto de vista prático, apresentamos um verificador de modelos para GAL, chamado de Game Analysis Logic Verifier GALV, e realizamos diversos estudos de casos. Em particular, utilizamos o GALV para encontrar diversos
4 Capítulo 9. Conclusão 186 dos conceitos de soluções da Teoria dos Jogos. Utilizamos o verificador de modelos GALV e o SMV para modelarmos o jogo da velha e o jogo da guerra. Em ambos os casos, a verificação no GALV foi muito mais eficiente, uma vez que a representação explícita destes jogos são bem menores do que a representação implícita através de OBDDs. Vale lembrar que diversos dos problemas desta tese não podem ser tratados com o SMV, uma vez que a lógica do SMV é proposicional. Além disso, verificadores como o SMV não possuem tipos abstratos de dados, enquanto que o GALV possui. Em situações mais parecidas com os problemas reais, os tipos abstratos são essenciais. Esperamos ter demonstrado isto através do exemplo de leilão considerado na seção 8.4. Outro ponto que vale a pena mencionar é que o GALV permite aspectos computacionais em sua linguagem de descrição de jogos, o que nos permitiu implementar as estratégias dos jogadores utilizando algoritmos conhecidos da ciência da computação, como o minimax. Como conseqüência, podemos verificar propriedades destes algoritmos em relação a outros jogadores que podem possuir estratégias ou não. Listamos abaixo alguns dos trabalhos futuros desta tese. Relacionar outros modelos e conceitos de soluções da Teoria dos Jogos em GAL. Em particular, o conceito de solução de eliminação iterada de estratégias dominadas não parece ser facilmente definível em GAL, uma vez que o mesmo utiliza ponto-fixo nos conjuntos das estratégias. Tentar simulá-lo através dos operadores modais de GAL parece ser uma alternativa. Estudar os conceitos de soluções para jogos repetitivos um caso especial de jogo extensivo também seria interessante dado a importância dos folk theorems. Caracterizar o conceito de solução de eliminação iterada de estratégias dominada de acordo com a estrutura de um jogo extensivo. A partir daí, estudar as alternativas de quantificação. Vimos que, para equilíbrio de Nash e de subjogo perfeito, as alternativas são equivalentes. Estudar estas possibilidades para outros conceitos ajudaria a entender se este é um fenômeno geral dos conceitos da Teoria dos Jogos. Utilizar o GALV para jogos mais complexos do que o jogo da velha. Para tanto, devemos ter um conhecimento mais profundo sobre o tipo de jogo tratado. Por exemplo, o jogo de xadrez tem uma vasta literatura sobre quais são as ações razoáveis em determinadas condições. A idéia seria: utilizar o GAL para analisar tais possíveis evoluções do jogo e verificar se, de fato, tais soluções são boas ou não, levando em consideração apenas as
5 Capítulo 9. Conclusão 187 possíveis evoluções razoáveis. Este trabalho é puramente experimental, e como falamos depende muito do conhecimento sobre o problema específico tratado. Implementar as estratégias dos jogadores através da verificação de fórmulas lógicas, onde consideramos parte do jogo, ou seja, utilizar heurísticas através das fórmulas. Por exemplo, vimos que o conceito do algoritmo minimax é baseado em equilíbrio de subjogo perfeito, que foi também caracterizado como uma fórmula de GAL, assim poderíamos utilizar a verificação de modelos para encontrar o equilíbrio. De forma heurística, podemos limitar a busca até um nível de profundidade, utilizando as funções de avaliações, obtendo assim uma solução que não é necessariamente ótima. O que ganharíamos com a abordagem do GALV é que descrever outras propriedades de uma forma lógica, em geral, é mais fácil do que implementar novos algoritmos. Por exemplo, como estamos utilizando as funções de avaliações heurísticas, podemos requerer que a fórmula de equilíbrio seja satisfeita conjuntamente com outra condição, tal como ótimo de Pareto de subjogo perfeito como definido na seção 6.2.8, ou ainda que o caminho realizado pela solução garanta a menor perda possível caso o outro jogador não haja de forma racional. Definir um sistema de prova correto para GAL que seja capaz de provar teoremas interessantes para jogos, tais como a existência de equilíbrio de Nash de estratégias mistas ou a existência de equilíbrio de subjogo perfeito para jogos extensivos com informação perfeita. Um tópico de pesquisa bastante interessante da Teoria dos Jogos, chamado de Implementation Theory, é, ao invés de fixarmos o jogo e encontrarmos o conjunto de soluções deste jogo através de algum conceito de solução equilíbrio de Nash, de subjogo perfeito, etc, fixarmos o conjunto de soluções e encontrar um jogo que leve a este conjunto como os equilíbrios do jogo. Esta abordagem em GAL poderia ser feito especificando o conjunto de soluções em GAL juntamente com as relações de preferências dos jogadores, e então encontrarmos uma estrutura que implemente esta correspondência. Infelizmente, para a lógica GAL este problema é indecidível. Encontrar um fragmento decidível de GAL que seja capaz de gerar tais jogos será um dos próximos passos deste trabalho.
Tópicos Especiais em Redes: Introdução a Teoria dos Jogos com Aplicações a Redes de Computadores
Tópicos Especiais em Redes: Introdução a Teoria dos Jogos com Aplicações a Redes de Computadores Aula passada: Discussão sobre situações de conflito Exemplos de jogos Jogo em aula Aula de hoje: Introdução
Leia maisUniversidade Católica Portuguesa. Faculdade de Ciências Económicas e Empresariais. Tel.: 351217270250. Fax: 351217270252
Comportamento estratégico Fernando ranco Ano lectivo 2003-2004 Trimestre de Inverno As questões estratégicas são relevantes em muitos casos para além do oligopólio. Interacção entre partidos; negociações
Leia maisIA: Busca Competitiva. Ricardo Britto DIE-UFPI rbritto@ufpi.edu.br
IA: Busca Competitiva Ricardo Britto DIE-UFPI rbritto@ufpi.edu.br Sumário Introdução Árvores de Jogos Minimax Antecipação Limitada Poda Alfa-beta Introdução Jogos têm sido continuamente uma importante
Leia maisJogos Equilíbrio de Nash
Jogos Equilíbrio de Nash Redes Sociais e Econômicas Prof. André Vignatti Aula Passada Definição de Jogos Jogos do tipo Dilema do Prisioneiro Estratégias dominantes fácil entender o resultado do jogo Exemplos
Leia maisProva de Microeconomia
UNIVERSIDADE FEDERAL DO PARÁ CURSO DE MESTRADO EM ECONOMIA PROCESSO SELETIVO 2010 Prova de Microeconomia INSTRUÇÕES PARA A PROVA Leia atentamente as questões. A interpretação das questões faz parte da
Leia maisFátima Barros Organização Industrial
Teoria de Jogos Organização Industrial 1 Sumário Introdução: o que é a Teoria de Jogos Concorrência como um Jogo O jogo da negociação Organização Industrial 2 Os gestores tomam decisões estratégicas a
Leia maisJogo de balanceamento de carga
Jogo de balanceamento de carga Dados: n tarefas m máquinas w i : peso da tarefa i s j : velocidade da máquina j Teoria dos Jogos p. 1 Jogo de balanceamento de carga Dados: n tarefas m máquinas w i : peso
Leia maisFaculdade de Computação
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação Professora : Sandra de Amo Solução da Lista de Exercícios n o 6 - Problemas Indecidiveis Exercicio 7-5.5 do
Leia maisColégio de Nossa Senhora da Bonança
HORÁRIO 1.º A 30 9h15 10h30 115 115 12h00 ao do Meio 10h30 100 100 12h00 do Meio 130 14h30 14h15 15h30 14h15 15h15 ao 15h30 16h30 30min - XADREZ 25h 2 x 45min HORÁRIO 1.º B 30 9h15 10h30 115 115 12h00
Leia maisUma Versão Intervalar do Método de Segmentação de Imagens Utilizando o K-means
TEMA Tend. Mat. Apl. Comput., 6, No. 2 (2005), 315-324. c Uma Publicação da Sociedade Brasileira de Matemática Aplicada e Computacional. Uma Versão Intervalar do Método de Segmentação de Imagens Utilizando
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO. Relatório Perfil Curricular
PERÍODO: 1º AD431- ADMINISTRAÇÃO CONTEMPORÂNEA OBRIG 60 0 60 4.0 Fórmula: AD001 AD001- INTRODUCAO A ADMINISTRACAO FUNDAMENTOS TEÓRICOS. DESIGN ORGANIZACIONAL - ESTRUTURA ORGANIZACIONAIS E PROCESSOS ORGANIZACIONAIS.
Leia maisEMENTAS. ANO 1 Módulo 1
Curso de Bacharelado em Administração EAD EMENTAS ANO 1 Módulo 1 Educação a Distância 60 horas 4 créditos Fundamentos da EAD. Organização de sistemas de EAD: processo de comunicação, processo de tutoria,
Leia maisMercados de Publicidade
Mercados de Publicidade em Busca Web Redes Sociais e Econômicas Prof. André Vignatti O Princípio da VCG para um Mercado de Emparelhamento Geral Vamos generalizar o exemplo para obtermos um método genérico
Leia maisAula 17. B) Teoria Do Valor: Mercados Equilibrados 1. Concorrência Perfeita Samuelson 8 Sousa V.1
Aula 17 B) Teoria Do Valor: Mercados Equilibrados 1. Concorrência Perfeita Samuelson 8 Sousa V.1 Concorrência perfeita Condições para a concorrência perfeita Grande número de produtores Produto homogéneo
Leia maisFACULDADE DE COMPUTAÇÃO E INFORMÁTICA
1ª ETAPA - MATUTINO ENEC00035 COMPUTACAO APLICADA 2 2 01 G11 ENEC00035 COMPUTACAO APLICADA 2 2 01 G12 P 01-02 ENEC00050 LABORATORIO DE PROGRAMACAO 4 4 01 G11 P 01-02 ENEC00050 LABORATORIO DE PROGRAMACAO
Leia maisMINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO
MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO Ano Semestre letivo 2015 1º 1. Identificação Código 1.1 Disciplina: Microeconomia III 760.223 1.2 Unidade:
Leia maisExercício sobre Estratégias Mistas
ELE 2005: Análise Estratégica de Investimentos e de Decisões es com Teoria dos Jogos e Jogos de Opçõ ções Reais Teoria dos Jogos - Parte 2. Marco Antonio Guimarães Dias, E-mail: marcoagd@pobox.com Professor
Leia maisAnálise Estratégica de Investimentos com Teoria dos Jogos
Opções Reais: Teoria e Prática de Análise de Investimentos sob Incertezas Análise Estratégica de Investimentos com Teoria dos Jogos Marco Antonio Guimarães Dias, Professor Adjunto, tempo parcial Rio de
Leia maisAnálise Estratégica de Investimentos com Teoria dos Jogos
Opções Reais: Teoria e Prática de Análise de Investimentos sob Incertezas Análise stratégica de Investimentos com Teoria dos Jogos Marco Antonio Guimarães Dias, Professor Adjunto, tempo parcial Rio de
Leia maisComplemento III Noções Introdutórias em Lógica Nebulosa
Complemento III Noções Introdutórias em Lógica Nebulosa Esse documento é parte integrante do material fornecido pela WEB para a 2ª edição do livro Data Mining: Conceitos, técnicas, algoritmos, orientações
Leia maisAnálise do Jogo Induzido pelo Mecanismo SiSU de Alocação de Estudantes em Universidades
Análise do Jogo Induzido pelo Mecanismo SiSU de Alocação de Estudantes em Universidades Luis Abreu * José Raimundo Carvalho Resumo No Brasil, a busca pela redução das ineficiências observadas na alocação
Leia maisPesquisa Operacional: 170 aplicações em estratégia, finanças, logística, produção, marketing e vendas
Pesquisa Operacional: 170 aplicações em estratégia, finanças, logística, produção, marketing e vendas Com enfoque em programação matemática Emerson C. Colin emerson.colin@veraxc.com eccolin@hotmail.com
Leia maisMicroeconomia NATÉRCIA MIRA EDIÇÕES SÍLABO
Microeconomia NATÉRCIA MIRA EDIÇÕES SÍLABO É expressamente proibido reproduzir, no todo ou em parte, sob qualquer forma ou meio, NOMEADAMENTE FOTOCÓPIA, esta obra. As transgressões serão passíveis das
Leia maisBalanceamento de Carga
40 4. Balanceamento de Carga Pode-se entender por balanceamento de carga uma política a ser adotada para minimizar tanto a ociosidade de utilização de alguns equipamentos quanto a super utilização de outros,
Leia maisGovernança da Informação BDQ: geração da PNI AV2 e AV3 GOVERNANÇA DA INFORMAÇÃO BDQ: GERAÇÃO DA PNI AV2 E AV3. Pá giná 1
GOVERNANÇA DA INFORMAÇÃO BDQ: GERAÇÃO DA PNI AV2 E AV3 Pá giná 1 Sumá rio 1. Recomendáço es iniciáis 3 1.1 Sobre o Internet Explorer 11 4 2. Ingressár no sistemá 5 3. Gerár provás impressás (PNI) 6 3.1
Leia mais(1). Este indivíduo é indiferente entre a loteria B e receber R$ 1,21 com certeza.
AVESSO E PROPENSO Questão 2/97. Um indivíduo tem função de utilidade esperada definida por u( w )= w(onde w é a sua riqueza). Seja: - A: a loteria que paga R$ 36 com probabilidade 1/6 e zero com probabilidade
Leia maisPorque precisamos ensinar lógica e como devemos ensiná-la?
Porque precisamos ensinar lógica e como devemos ensiná-la? Mária Bakó Tradução parcial do texto: BAKÓ, Mária. Why we need to teach logic and how can we teach it? Disponível em: .
Leia maisPindyck & Rubinfeld, Capítulo 13, Teoria dos Jogos :: EXERCÍCIOS Página 1 de 14
Pindyck & Rubinfeld, Capítulo 3, Teoria dos Jogos :: EXERCÍCIOS Página de 4 Pindyck & Rubinfeld, Capítulo 3, Teoria dos Jogos :: EXERCÍCIOS. Em muitos setores oligopolísticos, as mesmas empresas concorrem
Leia maisAbdução exemplos. Um jogo de abdução. Apartment 13 O objetivo do Jogo é descobrir como se deu um assassinato.
1 Aula 4 Interação Humano-Computador (com foco em métodos de pesquisa) Prof. Dr. Osvaldo Luiz de Oliveira 2 Abdução exemplos Um jogo de abdução Apartment 13 O objetivo do Jogo é descobrir como se deu um
Leia maisTeoria dos Jogos e Estratégia Empresarial
Teoria dos Jogos e Estratégia Empresarial Docente: Prof. Humberto Ribeiro Trabalho elaborado por: Luís Gonçalves nº 7366 Alícia Prada nº 17580 Ana Gonçalves nº 15412 Mestrado em Gestão das Organizações
Leia maisEMPRESA BRASILEIRA DE CORREIOS E TELÉGRAFOS DIRETORIA REGIONAL DO PARÁ GERÊNCIA DE ADMINISTRAÇÃO SEÇÃO DE PATRIMÔNIO SETOR BENS MÓVEIS
Comissão Especial de Licitação- DR/PA Leilão-001/2015 DR/PA EMPRESA BRASILEIRA DE CORREIOS E TELÉGRAFOS DIRETORIA REGIONAL DO PARÁ GERÊNCIA DE ADMINISTRAÇÃO SEÇÃO DE PATRIMÔNIO SETOR BENS MÓVEIS LOTE 01
Leia maisANÁLISE DAS DEMONSTRAÇÕES FINANCEIRAS
Bertolo CAPÍTULO 3 ANÁLISE DAS DEMONSTRAÇÕES FINANCEIRAS CONCEITOS PARA REVISÃO Devido aos investidores basearem as suas decisões de compra e venda em suas expectativas sobre a performance futura da empresa,
Leia maisIA364 MÉTODOS DE PESQUISA FACULDADE DE ENGENHARIA ELÉTRICA E COMUPTAÇÃO UNIVERSIDADE ESTADUAL DE CAMPINAS
IA364 MÉTODOS DE PESQUISA FACULDADE DE ENGENHARIA ELÉTRICA E COMUPTAÇÃO UNIVERSIDADE ESTADUAL DE CAMPINAS ATIVIDADE 07 REVISÃO DE LITERATURA A OBRA COMPLETA Felipe Perez de Oliveira Dias - RA 043423 Prof.
Leia maisGestão de Projetos GNG- 103
Gestão de Projetos GNG- 103 GNG-103 Gestão de Projetos Definir metas e objetivos do projeto Conciliar entregas Descobrir requisitos Determinar premissas e restrições Compilando a declaracao do escopo do
Leia maisJogos - aula 2. Prof. Luis Otavio Alvares II / UFRGS
Jogos - aula 2 Prof. Luis Otavio Alvares II / UFRGS 1 Função de avaliação: Xadrez chines 2 Xadrez chinês Exemplo de função de avaliação: o valor das peças é de acordo com a sua posição: 12 para a última
Leia maisBCC202 - Estrutura de Dados I
BCC202 - Estrutura de Dados I Aula 04: Análise de Algoritmos (Parte 1) Reinaldo Fortes Universidade Federal de Ouro Preto, UFOP Departamento de Ciência da Computação, DECOM Website: www.decom.ufop.br/reifortes
Leia maisRelatório Iniciação Científica
Relatório Iniciação Científica Ambientes Para Ensaios Computacionais no Ensino de Neurocomputação e Reconhecimento de Padrões Bolsa: Programa Ensinar com Pesquisa-Pró-Reitoria de Graduação Departamento:
Leia maisJogos - aula 2. Xadrez chinês. Exemplo de função de avaliação:
Exemplo de jogo: Xadrez chinês Jogos - aula 2 Função de avaliação? Prof. Luis Otavio Alvares 1 2 Xadrez chinês Ligue 4 Exemplo de função de avaliação: o valor das peças é de acordo com a sua posição: 12
Leia maisINGLÊS 1º ANO MÉDIO RESOLUÇÃO DE MÓDULOS
Nome: Nº: 1º Ano Médio Disciplina: Inglês Professor: Eduardo Rodrigues Trabalho Bimestral Bimestre: 3º Data: Nota: INGLÊS 1º ANO MÉDIO RESOLUÇÃO DE MÓDULOS Neste bimestre vamos aprender a resolver as atividades
Leia maisMercados de Emparelhamento
Mercados de Emparelhamento Redes Sociais e Econômicas Prof. André Vignatti Aula Passada 1. Definições: grafos bipartidos e emparelhamentos perfeitos 2. Mercados com opções binárias (aceita ou não) Extensão
Leia mais4.1. Introdução. 4.2. Layout do DNS
MIT 18.996 Tópico da Teoria da Ciência da Computação: Problemas de Pesquisa na Internet Segundo Trimestre 2002 Aula 4 27de fevereiro de 2002 Palestrantes: T. Leighton, D. Shaw, R. Sudaran Redatores: K.
Leia mais2 SIGNIFICADO DA ADMINISTRAÇÃO
2 SIGNIFICADO DA ADMINISTRAÇÃO 2.1 IMPORTÂNCIA DA ADMINISTRAÇÃO Um ponto muito importante na administração é a sua fina relação com objetivos, decisões e recursos, como é ilustrado na Figura 2.1. Conforme
Leia maisDiferenciais Parciais
Capítulo Solução Numérica de Equações Diferenciais Parciais. Introdução Uma equações diferencial parcial (EDP) pode ser escrita na forma geral a φ x + b φ x y + φ c y + d φ x + e φ + fφ+ g = 0 (.) y onde
Leia maisBancos de Dados Paralelos. Alunos: ALLAN ROGER BELLO WILLIAN DIAS TAMAGI
Bancos de Dados Paralelos Alunos: ALLAN ROGER BELLO WILLIAN DIAS TAMAGI INTRODUÇÃO (SGBD) Sistema Gerenciador de Banco de Dados é um software que permite criar, manter e manipular bancos de dados para
Leia maisAula 03 Limite assintótico para a ordenação, Ordenação em tempo linear
MC3305 Algoritmos e Estruturas de Dados II Aula 03 Limite assintótico para a ordenação, Ordenação em tempo linear Prof. Jesús P. Mena-Chalco jesus.mena@ufabc.edu.br 2Q-2015 1 2 Ordenação Ordenar corresponde
Leia maisAPLICAÇÕES DA DERIVADA
Notas de Aula: Aplicações das Derivadas APLICAÇÕES DA DERIVADA Vimos, na seção anterior, que a derivada de uma função pode ser interpretada como o coeficiente angular da reta tangente ao seu gráfico. Nesta,
Leia maisDISCIPLINA CRED CH PRÉ - REQUISITOS 1ª FASE Geometria Analítica e Álgebra Linear
CURSO SUPERIOR DE TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS AUTORIZAÇÃO: Portaria UDESC nº 646/2001 RECONHECIMENTO: Decreto Estadual nº 3324/2005 renovado pelo Decreto Estadual nº 1664/2013 PERÍODO
Leia maisUNOESTE - Universidade do Oeste Paulista F I P P - Faculdade de Informática de Presidente Prudente
1º TERMO NOTURNO - 2013 23/09/13 2ª feira 08:20 h B1 (DP) ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO I 23/09/13 2ª feira 19:00 h A1 ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO I 24/09/13 3ª feira 19:00 h A COMUNICAÇÃO
Leia maisCAP. 3 - ANÁLISE DE INVESTIMENTOS EM SITUAÇÕES DE INCERTEZA
CAP. 3 - ANÁLISE DE INVESTIMENTOS EM SITUAÇÕES DE INCERTEZA 1. INTRODUÇÃO No fluxo de caixa esquemático mostrado na Figura 1, como se sabe na data zero, normalmente se tem o investimento necessário para
Leia maisMATEMÁTICA I AULA 03: LIMITES DE FUNÇÃO, CÁLCULO DE LIMITES E CONTINUIDADES TÓPICO 03: CONTINUIDADES Este tópico trata dos conceitos de continuidade de funções num valor e num intervalo, a compreensão
Leia maisMaíra Ribeiro Rodrigues
Seminário PPGINF - UCPel Maíra Ribeiro Rodrigues maira.r.rodrigues@gmail.com University of Southampton, UK Formação Bacharelado em Ciência da Computação UCPel, 2000. Tópico: Agentes Improvisacionais de
Leia maisGrade Curricular - Engenharia de Computação
Grade Curricular - Engenharia de Computação SEMESTRE 1 - Obrigatórias FCM0101 Física I 6 0 6 FFI0180 Laboratório de Física Geral I 2 0 2 SAP0678 Desenho 2 0 2 SAP0679 Humanidades e Ciências Sociais 2 0
Leia maisFACULDADES INTEGRADAS DE PEDRO LEOPOLDO MESTRADO PROFISSIONAL EM ADMINISTRAÇÃO 5RJHU0DLDGH&DUYDOKR. $$3/,&$d 2'$7(25,$&202)(55$0(17$(675$7e*,&$3$5$
FACULDADES INTEGRADAS DE PEDRO LEOPOLDO MESTRADO PROFISSIONAL EM ADMINISTRAÇÃO 5RJHU0DLDGH&DUYDOKR 7(25,$'26-2*26 $$3/,&$d 2'$7(25,$&202)(55$0(17$(675$7e*,&$3$5$ 720$'$'('(&,6 (6(0,167,78,d (6'((16,12
Leia mais2 Auto-sintonia de Bancos de Dados e Agentes de Software
2 Auto-sintonia de Bancos de Dados e Agentes de Software A uso da abordagem de agentes de software 1 pode trazer benefícios a áreas de aplicação em que é necessário construir sistemas autônomos, ou seja,
Leia mais17/05/2011. SMA = Agentes + Interação Social. Interação Social = Comunicação + Coordenação. 9ª Aula Negociação. Teoria dos Jogos
SMA = Agentes + Interação Social 9ª Aula Negociação Interação Social = Comunicação + Coordenação Coordenação entre agentes benevolentes ou com interesses comuns Coordenação entre agentes competitivos ou
Leia maisMobileMech: UM SOFTWARE EDUCACIONAL PARA O ENSINO DE MECÂNICA
EDMYLSON SILVA JÚNIOR MobileMech: UM SOFTWARE EDUCACIONAL PARA O ENSINO DE MECÂNICA LAVRAS-MG 2013 EDMYLSON SILVA JÚNIOR MOBILEMECH: UM SOFTWARE EDUCACIONAL PARA O ENSINO DE MECÃNICA Monografia de Graduação
Leia maisMódulo 3. O Ambiente de Marketing
Módulo 3. O Ambiente de Marketing O ambiente de marketing é constituído de atores e forças externas ao marketing que afetam a capacidade da administração de desenvolver e manter bons relacionamentos com
Leia maisPHC dsuporte Externo
PHC dsuporte Externo A assistência técnica pós-venda A solução remota para uma rápida interação com os Clientes, que permite aumentar a sua satisfação ao resolver os problemas de uma forma mais rápida
Leia mais1. Método Simplex. Faculdade de Engenharia Eng. Celso Daniel Engenharia de Produção. Pesquisa Operacional II Profa. Dra. Lílian Kátia de Oliveira
Faculdade de Engenharia Eng. Celso Daniel Engenharia de Produção. Método Simple.. Solução eata para os modelos de Programação Linear O modelo de Programação Linear (PL) reduz um sistema real a um conjunto
Leia maisIntrodução. Capítulo 1
Capítulo 1 Introdução Em computação, muitos problemas são resolvidos por meio da escrita de um algoritmo que especifica, passo a passo, como resolver um problema. No entanto, não é fácil escrever um programa
Leia maisCurso: Bacharelado em Informática. Instituto de Ciências Matemáticas e de Computação
Curso: Bacharelado em Informática Instituto de Ciências Matemáticas e de Computação Informações Básicas do Currículo Duração Ideal 8 semestres Mínima 6 semestres Máxima 14 semestres Carga Horária Aula
Leia maisUFV Catálogo de Graduação 2014 109 EMENTÁRIO
UFV Catálogo de Graduação 2014 109 EMENTÁRIO As disciplinas ministradas pelo Campus Rio Paranaíba são identificadas por um código composto por três letras maiúsculas, ligadas a cada instituto, seguidas
Leia maisProgramação de Computadores em C
Programação de Computadores em C Primeira edição Carlos Camarão Universidade Federal de Minas Gerais Doutor em Ciência da Computação pela Universidade de Manchester, Inglaterra Lucília Figueiredo Universidade
Leia maisModelagem de Processos. Prof.: Fernando Ascani
Modelagem de Processos Prof.: Fernando Ascani Modelagem da arquitetura de negócios Arquitetura Definições Aurélio: Informática: Estrutura e organização lógica de funcionamento de um sistema computacional.
Leia maisSem vocês nenhuma conquista valeria a pena. que dignamente me apresentaram à importância da família e ao caminho da honestidade e persistência.
DEDICATÓRIA Às mulheres da minha vida Neiliane e Wany pelo apoio incondicional em todos os momentos, principalmente nos de incerteza, muito comuns para quem tenta trilhar novos caminhos. Sem vocês nenhuma
Leia maisSELEÇÃO E UTILIZAÇÃO DE ATIVIDADES EXPERIMENTAIS EM AULAS DE BIOLOGIA E FÍSICA DO ENSINO MÉDIO
SELEÇÃO E UTILIZAÇÃO DE ATIVIDADES EXPERIMENTAIS EM AULAS DE BIOLOGIA E FÍSICA DO ENSINO MÉDIO Larissa Zancan Rodrigues UFSM Fernanda Sauzem Wesendonk UFSM Eduardo Adolfo Terrazzan UFSM Agência de financiamento:
Leia maisUma Estrutura Formal Normativa para Sistemas Computacionais
Uma Estrutura Formal Normativa para Sistemas Computacionais Antônio Carlos da Rocha Costa 1 Graçaliz Pereira Dimuro 1 1 ESIN/UCPel Escola de Informática Universidade Católica de Pelotas {rocha,liz}@atlas.ucpel.tche.br
Leia maisMANUAL DO USUÁRIO FINANCEIRO
SIGIO Sistema Integrad de Gestã de Imprensa Oficial MANUAL DO USUÁRIO FINANCEIRO S I G I O M A N U A L D O U S U Á R I O P á g i n a 2 Cnteúd 1 Intrduçã... 3 2 Acess restrit a sistema... 4 2.1 Tips de
Leia maisDiscursivas do Cespe Tema específico: resposta fácil, organização complicada.
Toque de Mestre 16 Discursivas do Cespe Tema específico: resposta fácil, organização complicada. Profa. Júnia Andrade Viana profajunia@gmail.com face: profajunia Autora do livro Redação para Concursos
Leia maisProgramação Linear com o Microsoft Excel R
Programação Linear com o Microsoft Excel R Adriano Verdério 1, Clezio A. Braga 1 1 Colegiado do Curso de Matemática - Centro de Ciências Exatas e Tecnológicas da Universidade Estadual do Oeste do Paraná
Leia maisO ÚLTIMO TEOREMA DE FERMAT
1 O ÚLTIMO TEOREMA DE FERMAT Jaime Ferreira Jacinto Segundo Sargento de Engenharia, Especialista no Ensino da Matemática pela Faculdade Estadual de Filosofia, Ciências e Letras - FAFI, União da Vitória
Leia maisEm meu entendimento, ela foi abaixo das expectativas. Prova fácil, cobrando conceitos básicos de Microeconomia, sem muita sofisticação.
Comentários Microeconomia (Área 3) Olá Pessoal. O que acharam das questões de micro (área 3)? Em meu entendimento, ela foi abaixo das expectativas. Prova fácil, cobrando conceitos básicos de Microeconomia,
Leia maisOTIMIZAÇÃO VETORIAL. Formulação do Problema
OTIMIZAÇÃO VETORIAL Formulação do Problema Otimização Multiobjetivo (também chamada otimização multicritério ou otimização vetorial) pode ser definida como o problema de encontrar: um vetor de variáveis
Leia maisUma introdução ao estudo de funções multivariáveis
Uma introdução ao estudo de funções multivariáveis Universidade Federal do Amazonas Instituto de Educação, Agricultura e Ambiente Janeiro de 2014 Bem-vindo Este material trata da introdução ao estudo de
Leia maisProgramação Modular. Alessandro Garcia. DI/PUC-Rio Março 2013
Programação Modular Alessandro Garcia DI/PUC-Rio Março 2013 Programação Modular Quem sou eu? Quem são vocês? Qual é o problema abordado no curso? Qual é o objetivo do curso Organização: aulas, avaliação
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 12 Aprendizado de Máquina Agentes Vistos Anteriormente Agentes baseados em busca: Busca cega Busca heurística Busca local
Leia maisILUSTRÍSSIMO PREGOEIRO JAMES HENRIQUE MACEDO PREGÃO ELETRÔNICO Nº. 0002/2006 EMPRESA INTERESSADA NO CERTAME IMPUGNAÇÃO
ILUSTRÍSSIMO PREGOEIRO JAMES HENRIQUE MACEDO PREGÃO ELETRÔNICO Nº. 0002/2006 EMPRESA INTERESSADA NO CERTAME IMPUGNAÇÃO Aos termos do Edital do Pregão Eletrônico nº. 0002/2006 do CNPq, o que faz na forma
Leia maisAlgoritmos e Complexidade para Dois Jogos de Blocos
Algoritmos e Complexidade para Dois Jogos de Blocos André Castro Ramos 1, Rudini Sampaio 1 Departamento de Computação, Universidade Federal do Ceará {andrecr,rudini}@lia.ufc.br Resumo É de conhecimento
Leia maisUMA CONDIÇÃO NECESSÁRIA E SUFICIENTE PARA A EXISTÊNCIA DE SOLUÇÃO PARA UM PROBLEMA SEMILINEAR COM EXPOENTE CRÍTICO DE SOBOLEV
UMA CONDIÇÃO NECESSÁRIA E SUFICIENTE PARA A EXISTÊNCIA DE SOLUÇÃO PARA UM PROBLEMA SEMILINEAR COM EXPOENTE CRÍTICO DE SOBOLEV Alex Jenaro Becker, Mestrando, alexjenaro@gmail.com Bolsista CAPES/FAPERGS
Leia maisExiste, mas não sei exibir!
Existe, mas não sei exibir! Você já teve aquela sensação do tipo ei, isso deve existir, mas não sei exibir um exemplo quando resolvia algum problema? O fato é que alguns problemas existenciais são resolvidos
Leia maisCOMUNICADO n o 001/2012 ÁREA DE CIÊNCIA DA COMPUTAÇÃO ORIENTAÇÕES PARA NOVOS APCNS 2012 Brasília, 22 de Maio de 2012
COMUNICADO n o 001/2012 ÁREA DE CIÊNCIA DA COMPUTAÇÃO ORIENTAÇÕES PARA NOVOS APCNS 2012 Brasília, 22 de Maio de 2012 IDENTIFICAÇÃO ÁREA DE AVALIAÇÃO: CIÊNCIA DA COMPUTAÇÃO PERÍODO DE AVALIAÇÃO: 2012 ANO
Leia maisOs limites da computação algorítmica
Capítulo 12 Os limites da computação algorítmica 12.1. Problemas que não podem ser resolvidos pelas MT. 12.2. Problemas indecidíveis para LRE 12.3. Problema da correspondência de Post 12.4. Problemas indecidíveis
Leia maisNOVO MODELO DE PRODUÇÃO
NOVO MODELO DE PRODUÇÃO UM AVANÇO NO CORTE DE COURO A tecnologia avançada é a chave para superar os desafios da indústria presentes em todos os níveis da cadeia de produção. A VersalisFurniture, VersalisAuto
Leia maisEmentas das Disciplinas do Bacharelado em Sistemas de Informação da UNIRIO
Ementas das Disciplinas do Bacharelado em Sistemas de Informação da UNIRIO 2 de junho de 2010 Sumário Administração de Bancos de Dados.................................. 3 Administração Financeira.......................................
Leia maisDisciplina de Projetos e Análise de Algoritmos. Aula 1 - Apresentação aos Algoritmos Computacionais
Aula 1 - Apresentação aos Algoritmos Computacionais O que é a Disciplina? Disciplina de Projeto e Análise de Algoritmos Esta é uma disciplina de Algoritmos em nível de Pós-Graduação! Temas a serem abordados:
Leia maisInteligência artificial: as máquinas pensantes
Inteligência artificial: as máquinas pensantes Denomina-se inteligência artificial ao ramo da ciência da computação que trata dos meios de representar o conhecimento com símbolos em lugar de números e
Leia maisInteligência Artificial
Inteligência Artificial Licenciatura em Computação Prof. Adriano Avelar Site: www.adrianoavelar.com Email: eam.avelar@gmail.com Agentes Inteligentes Um agente é algo capaz de perceber seu ambiente por
Leia maisDesenvolvimento de um Agente Inteligente para jogar Carcassonne
Departamento de Engenharia Informática Instituto Superior de Engenharia do Porto Instituto Politécnico do Porto Desenvolvimento de um Agente Inteligente para jogar Carcassonne Bruno Miguel Araújo Cardoso
Leia maisMinicurso SBSE 2012:
Campus de Ilha Solteira Faculdade de Engenharia de Ilha Solteira Departamento de Energia Elétrica Minicurso SBSE 2012: Metaheurísticas em sistemas elétricos de potência: introdução ao estudo e aplicações
Leia maisFUNDAÇÃO EDUCACIONAL DA REGIÃO DOS LAGOS FACULDADE DA REGIÃO DOS LAGOS INSTITUTO DE ADMINISTRAÇÃO E CIÊNCIAS ECONÔMICAS MANUAL DE PROJETO DE PESQUISA
FUNDAÇÃO EDUCACIONAL DA REGIÃO DOS LAGOS FACULDADE DA REGIÃO DOS LAGOS INSTITUTO DE ADMINISTRAÇÃO E CIÊNCIAS ECONÔMICAS MANUAL DE PROJETO DE PESQUISA 2014 FACULDADE DA REGIÃO DOS LAGOS NOME COMPLETO TÍTULO
Leia maisJogos Velhos, Regras Novas. João Pedro Neto & Jorge Nuno Silva
Jogos Velhos, Regras Novas João Pedro Neto & Jorge Nuno Silva Índice Introdução... 5 Mate...?? Sirva-se!....?? Padrões....?? Desafio....?? Gops....?? Poker....?? Poker Abertíssimo...?? Quinteto....?? Poker
Leia maisMarketing Estratégico
Marketing Estratégico Esta unidade curricular tem como objectivo principal proporcionar uma visão alargada das principais decisões estratégicas que são tomadas por um profissional de marketing. Numa primeira
Leia maisGESTÃO DE MÉTRICAS. Sistema de Gestão de Métricas
GESTÃO DE MÉTRICAS 2010 Sistema de Gestão de Métricas SUMÁRIO Sumá rio Introduçá o 1 Processos de Nego cios 2 Instáláçá o 3 Operáçá o 4 Mánutençá o 29 Informáço es de contáto 41 INTRODUÇÃO Introduçá o
Leia maisMercados Eficientes e Circuitos de Financiamento
Mercados Eficientes e Circuitos de Financiamento Departamento de Economia UFPR Professor Fabiano Abranches Silva Dalto SE 506 Economia Monetária e Financeira Bibliografia Utilizada: Peter Howells & Keith
Leia maisCURSO DE INFORMÁTICA LICENCIATURA 1 PERÍODO
CURSO DE INFORMÁTICA LICENCIATURA 1 PERÍODO DISCIPLINA: Metodologia Científica H111900 Finalidade da metodologia científica. Importância da metodologia no âmbito das ciências. Metodologia de estudos. O
Leia maisMICROECONOMIA Exercícios - CEAV
MICROECONOMIA Exercícios - CEAV Prof. Antonio Carlos Assumpção 1)BNDES Economista 2011-31 O valor monetário do custo total de produção (CT) de uma empresa, em determinado período, é dado pela expressão
Leia maisO Cortex e a sua participação no HAREM
Capítulo 9 O Cortex e a sua participação no HAREM Christian Nunes Aranha Diana Santos e Nuno Cardoso, editores, Reconhecimento de entidades mencionadas em português: Documentação e actas do HAREM, a primeira
Leia maisSão grandezas que para que a gente possa descrever 100%, basta dizer um número e a sua unidade.
Apostila de Vetores 1 INTRODUÇÃO Fala, galera! Essa é a primeira apostila do conteúdo de Física I. Os assuntos cobrados nas P1s são: Vetores, Cinemática Uni e Bidimensional, Leis de Newton, Conservação
Leia mais