Inteligência Artificial

Tamanho: px
Começar a partir da página:

Download "Inteligência Artificial"

Transcrição

1 Inteligência Artificial Segundo Teste 16 de Janeiro de :00-18:30 Este teste é composto por 12 páginas contendo 7 perguntas. Identifique já todas as folhas do teste com o seu nome e número. Na mesa em que está a fazer o exame deve ter apenas lápis/caneta, identificação e este exame. Pode utilizar o verso das folhas como rascunho. Deve responder às perguntas no espaço deixado para o efeito. Para as perguntas de escolha múltipla é dada uma cotação negativa no caso de a resposta estar errada: se existirem n alternativas e a cotação for c, então respostas erradas contribuem negativamente para a classificação final com c/(n-1). Cotações Perguntas 1) Pergunta 6 de escolha múltipla (deve ser respondida aqui): Pergunta a b c d e f Classificação Nome: Número: 1

2 1. (2.5) Considere a seguinte árvore de procura de um jogo: Suponha que o triângulo com o vértice virado para cima quer maximizar e o triângulo com o vértice virado para baixo quer minimizar. Aplique o algoritmo minimax com cortes alfa-beta da esquerda para a direita, escurecendo os nós terminais visitados, e indicando os cortes e tipos de cortes. Indique a jogada escolhida. Nome: Número: 2

3 2. (3.0) Considere a seguinte base de conhecimento: 1. mulher(x) usa_faca(x) 2. estava_cozinha(x) usa_faca(x) matou(x, Dr.Neves) 3. homem(x) médico(x) usa_faca(x) 4. cozinheira(x) estava_cozinha(x) 5. cozinheira(x) mulher(x) 6. homem(dr.pacheco) 7. médico(dr.pacheco) 8. homem(prof.brandão) a. (1,5) Acrescentando à base de conhecimento que A Ana é cozinheira (usando apenas os predicados das proposições já na BC), recorra ao Modus Ponens Generalizado (MPG) e à inferência progressiva para indicar que conclusões permite a proposição inferir. Não se esqueça de indicar as cláusulas que lhe permitiram aplicar o MPG, bem como as substituições realizadas. Nome: Número: 3

4 b. (1,5) Utilizando inferência regressiva na BC original mais a proposição A Ana é cozinheira responda à pergunta Quem matou o Dr. Neves?. Nome: Número: 4

5 3. (3.0) Há muitas maneiras de caracterizar planeadores. Para cada uma das seguintes dicotomias, explique o que significam as características contrapostas e como a escolha entre elas afecta a eficiência e a completude de um planeador: a. (0.6) Espaço de situações face a espaço de planos. b. (0.6) Progressivo face a regressivo. c. (0.6) Comprometimento mínimo face a mais comprometimento. d. (0.6) Variáveis ligadas face a variáveis desligadas. e. (0.6) Ordem total face a ordem parcial. Nome: Número: 5

6 4. (4.0) Qualquer fã de filmes de terror para adolescentes é capaz de acertar nas personagens que vão ser assassinadas ao longo do filme. Observando um conjunto de características das personagens deve ser possível construir uma árvore de decisão que permita prever quem são as personagens que vão ter esse destino. a) (3.0) Recorrendo aos dados da tabela abaixo e ao algoritmo Decision Tree Learning crie o primeiro nó de uma tal árvore de decisão. Não se esqueça de indicar os cálculos efectuados e de justificar a sua escolha para o nó. P ersonagem Cor do cabelo Capacidade de gritar histericamente Idade Assassinada 1 Ruivo Sim 18 x 35 Sim 2 Castanho/Preto Sim x < 18 Não 3 Castanho/Preto Sim 18 x 35 Não 4 Castanho/Preto Não x > 35 Não 5 Loiro Sim 18 x 35 Sim 6 Loiro Não x < 18 Não 7 Loiro Sim x > 35 Sim 8 Loiro Não x > 35 Não A seguir fornecem-se alguns valores que podem ser úteis para os cálculos: I(0, 1) = 0; I(1/2, 1/2) = 1; I(2/3, 1/3) = 0.918; I(3/5, 2/5) = 0.97; I(3/8, 5/8) = 0.955; Nome: Número: 6

7 b) (1.0) Sem efectuar mais cálculos indique ainda o que teria de fazer para completar a sua árvore de decisão. Nome: Número: 7

8 5) (2,5) Considere a seguinte gramática para expressões aritméticas, aumentada com semântica: Exp(x) Exp(x1) Operator(op) Exp(x2) {x=apply(op, x1,x2)} Exp(x) ( Exp(x) ) Exp(x) Number(x) Number(x) Digit(x) Number(x) Number(x1) Digit(x2) {x=10 * x1 + x2} Digit(x) x {0 x 9} Operator(x) x {x {+,-,:,*}} a) (1,5) Desenhe a árvore analítica com interpretação semântica para a cadeia de caracteres 4 * (5-3) b) (1,0) As regras da gramática obedecem ao princípio da semântica composicional. Diga em que consiste este princípio. Nome: Número: 8

9 6. (3.0) Pergunta de escolha múltipla (responder na primeira página) 1. (0,25) As funções de avaliação (EVAL) e de teste de corte (CUTOFF-TEST) são usadas no MINIMAX: a. Quando há tempo para procurar todo o espaço de estados. b. Quando se pretende usar os cortes ALFA e BETA. c. Quando se pretende melhorar a qualidade das soluções encontradas. d. Face à necessidade de tomar decisões imperfeitas. e. Todas as respostas acima são verdadeiras. f. Nenhuma das resposta acima é verdadeira. 2. (0,25) No cálculo situacional, cada acção é descrita pelos seguintes axiomas: a. Um axioma de possibilidade, um axioma de efeito e um axioma de quiescência. b. Um axioma de possibilidade, um axioma de efeito e vários axiomas de quiescência. c. Um axioma de impossibilidade, um axioma de efeito e vários axiomas de quiescência. d. Vários axiomas de possibilidade, um axioma de efeito e um axioma de quiescência. e. Vários axiomas de possibilidade, vários axiomas de efeito e vários axiomas de quiescência. f. Nenhuma das respostas acima é verdadeira. 3. (0,25) O planeamento: a. Tem sido objecto de diferentes abordagens. b. É um tipo de resolução de problemas alternativo à procura. c. Usa conhecimento explícito das acções e dos seus efeitos para procurar uma solução num espaço mais abstracto de planos em vez de situações. d. Usa algoritmos de planeamento regressivo cujas soluções são planos parcialmente ordenados. e. Todas as respostas acima são verdadeiras. f. Nenhuma das respostas acima é verdadeira. 4. (0,25) A análise gramatical ( parsing, em Inglês) permite: a. Encontrar uma árvore analítica para uma gramática. b. Encontrar uma cadeia de símbolos a partir de uma árvore analítica. c. Levantar o conhecimento e informação (análise) do domínio de língua natural. d. Recuperar a estrutura semântica a partir de uma elocução. e. Todas as respostas acima são verdadeiras. f. Nenhuma das respostas acima é verdadeira. Nome: Número: 9

10 5. (0,25) As gramáticas aumentadas de cláusulas definidas: a. Crescem exponencialmente com o número de categorias. b. Permitem falar de análise sintáctica como inferência lógica. c. Não permitem usar a mesma gramática para análise e geração. d. Apresentam problemas de sobre-geração. e. Todas as respostas acima são verdadeiras. f. Nenhuma das respostas acima é verdadeira. 6. (0,25) A aprendizagem: a. É uma forma de gerar novo conhecimento. b. É uma forma de dotar um agente com autonomia de forma a poder lidar com ambientes desconhecidos. c. É uma forma de permitir a um agente melhorar o seu desempenho com a experiência. d. Pode ser realizada com o auxílio de diferentes algoritmos. e. Todas as respostas acima são verdadeiras. f. Nenhuma das respostas acima é verdadeira. 7. (0,25) Numa árvore de decisão: a. Um nó interno corresponde a um teste do valor de um dos atributos de um objecto ou situação. b. Os ramos de um nó são rotulados com os possíveis valores do teste representado pelo nó. c. Uma folha especifica o valor a ser devolvido se a folha for atingida. d. Todas as respostas acima são verdadeiras. 8. (0,25) Na indução de árvores de decisão a partir de exemplos, o que se deve fazer quando um teste tem como resultado apenas exemplos positivos ou apenas exemplos negativos? a. Escolhe-se, recursivamente, o melhor atributo dos restantes para os separar. b. Devolve-se sim ou não, respectivamente. c. Usa-se o voto de maioria consoante haja mais exemplos positivos ou negativos, respectivamente, no nó pai. d. Nenhuma das respostas acima é verdadeira. Nome: Número: 10

11 9. (0,25) Na indução de árvores de decisão a partir de exemplos, o que se deve fazer quando um teste tem como resultado exemplos positivos e negativos? a. Escolhe-se, recursivamente, o melhor atributo dos restantes para separar os exemplos, caso haja mais atributos. b. Usa-se o voto de maioria se não existirem mais atributos, consoante haja mais exemplos positivos ou negativos, respectivamente, no nó pai. c. Nenhuma das respostas a) e b) é verdadeira. d. Ambas as respostas a) e b) são verdadeiras. 10. (0,25) Na indução de árvores de decisão a partir de exemplos, o que se deve fazer quando um teste tem como resultado um conjunto vazio de exemplos? a. Escolhe-se, recursivamente, o melhor atributo dos restantes. b. Usa-se o voto de maioria, consoante haja mais exemplos positivos ou negativos, respectivamente, no nó pai. c. Nenhuma das respostas a) e b) é verdadeira. d. Ambas as respostas a) e b) são verdadeiras. 11. (0,25) A análise gramatical ( parsing, em Inglês) consiste em: a. Encontrar uma árvore analítica para uma dada cadeia de símbolos. b. Recuperar a estrutura sintáctica a partir de uma elocução, dada uma gramática. c. Nenhuma das respostas a) e b) é verdadeira. d. Ambas as respostas a) e b) são verdadeiras. 12. (0,25) As Gramáticas de Cláusulas Definidas (DCGs) permitem: a. Falar de análise sintática como inferência lógica. b. Usar a mesma gramática para análise e geração. c. Nenhuma das respostas a) e b) é verdadeira. d. Ambas as respostas a) e b) são verdadeiras. Nome: Número: 11

12 7. (2.0) Usando ANSI Common LISP: 1. (1,0) Escreva a função recursiva substituir-elemento que substitui o elemento dado como primeiro argumento pelo elemento dado como segundo argumento na lista dada como terceiro elemento: > (substituir-elemento b y (a b c d)) (A Y C D) e. (1,0) Escreva a função recursiva uniao que recebe duas listas e devolve a união entre elas: > ((uniao (a b c d) (b d j)) (A C B D J) Nome: Número: 12

INTELIGÊNCIA ARTIFICIAL

INTELIGÊNCIA ARTIFICIAL INTELIGÊNCIA ARTIFICIAL Primeiro Exame 20 de Junho de 2006 9:00-11:00 Este exame é composto por 11 páginas contendo 8 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

INTELIGÊNCIA ARTIFICIAL

INTELIGÊNCIA ARTIFICIAL INTELIGÊNCIA ARTIFICIAL Primeiro Exame 20 de Junho de 2006 9:00-11:00 Este exame é composto por 11 páginas contendo 8 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Segundo Teste 20 de Janeiro de 2012 8:00-9:30 Este teste é composto por 12 páginas contendo 9 perguntas. Identifique já todas as folhas do teste com o seu nome e número. Na mesa

Leia mais

INTELIGÊNCIA ARTIFICIAL

INTELIGÊNCIA ARTIFICIAL INTELIGÊNCIA ARTIFICIAL Primeiro Exame 7 de Julho de 2005 9:00-11:00 Este exame é composto por 9 págínas contendo 8 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Repescagem Segundo Teste 2 de Fevereiro de 2013 9:00-10:30 Este teste é composto por 13 páginas contendo 6 perguntas. Identifique já todas as folhas do teste com o seu nome e número.

Leia mais

INTELIGÊNCIA ARTIFICIAL

INTELIGÊNCIA ARTIFICIAL INTELIGÊNCIA ARTIFICIAL Segundo Exame 11 de Julho de 2006 9:00-11:00 Este exame é composto por 11 páginas contendo 8 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

Inteligência Artificial Alameda e Taguspark

Inteligência Artificial Alameda e Taguspark Inteligência Artificial Alameda e Taguspark Segundo Teste 05 de Janeiro de 2009 9H00-10H30 Nome: Número: Este teste tem 8 perguntas e 6 páginas. Escreva o número em todas as páginas. Deve ter na mesa apenas

Leia mais

Inteligência Artificial

Inteligência Artificial Repescagem Segundo Teste 31 de Janeiro de 2014 10:30-12:00 1.º Enunciado Esta prova é constituída por 5 enunciados separados. Preencha cuidadosamente o nome e número na primeira página de cada um dos enunciados.

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Segundo Teste 15 de Janeiro de 2015 18:00-19:30 Este teste é composto por 9 páginas contendo 8 grupos de perguntas. Identifique já todas as folhas do teste com o seu nome e número.

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Repescagem do Segundo Teste 4 de Feveiro de 2012 9:00-10:30 Este teste é composto por 11 páginas contendo 7 perguntas. Identifique já todas as folhas do teste com o seu nome e número.

Leia mais

INTELIGÊNCIA ARTIFICIAL

INTELIGÊNCIA ARTIFICIAL INTELIGÊNCIA ARTIFICIAL Primeiro Teste 7 de Novembro de 2011 17:00-18:30 Este teste é composto por 11 páginas contendo 8 perguntas. Identifique já todas as folhas do teste com o seu nome e número. Na mesa

Leia mais

PROCURA E PLANEAMENTO

PROCURA E PLANEAMENTO PROCURA E PLANEAMENTO Primeiro Exame 12 de Janeiro de 2006 17:00-19:00 Este exame é composto por 13 páginas contendo 6 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Primeiro Teste 28 de Outubro de 2013 18:00-19:30 Este teste é composto por 10 páginas contendo 6 grupos de perguntas. Para perguntas com resposta de escolha mu ltipla, respostas

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Segundo Teste 15 de Janeiro de 2014 9:00-10:30 Este teste é composto por 11 páginas contendo 7 grupos de perguntas. Para perguntas com resposta de escolha mu ltipla, respostas erradas

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Segundo Teste 31 de Janeiro de 2014 08:00-11:00 A 1.º Enunciado Esta prova é constituída por 3 enunciados separados. Preencha cuidadosamente o nome e número na primeira página de

Leia mais

INTELIGÊNCIA ARTIFICIAL

INTELIGÊNCIA ARTIFICIAL INTELIGÊNCIA ARTIFICIAL Primeiro Teste 29 de Outubro de 2011 17:00-18:30 Este teste é composto por 9 páginas contendo 11 perguntas. Para perguntas com resposta de escolha múltipla, respostas erradas com

Leia mais

Inteligência Artificial Alameda e Taguspark

Inteligência Artificial Alameda e Taguspark Inteligência Artificial Alameda e Taguspark Primeiro Teste 31 de Outubro de 2008 19H00-20H30 Nome: Número: Este teste tem 7 perguntas e 7 páginas. Escreva o número em todas as páginas. Deve ter na mesa

Leia mais

Inteligência Artificial Taguspark

Inteligência Artificial Taguspark Inteligência Artificial Taguspark Repescagem do Primeiro Teste 22 de Julho de 2006 9H00-10H30 Nome: Número: Este teste tem 7 perguntas e 12 páginas. Escreva o número em todas as páginas. Deve ter na mesa

Leia mais

PROCURA E PLANEAMENTO

PROCURA E PLANEAMENTO PROCURA E PLANEAMENTO Primeiro Exame 31 de Janeiro de 2006 17:00-19:00 Este exame é composto por 12 páginas contendo 6 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Taguspark Segundo Teste 14 de Junho de 006 9H00-10H30 Nome: Número: Este teste tem 8 perguntas e 11 páginas. Escreva o número em todas as páginas. Deve ter na mesa apenas o enunciado

Leia mais

PROCURA E PLANEAMENTO

PROCURA E PLANEAMENTO PROCURA E PLANEAMENTO Primeiro Exame 10 de Janeiro de 2012 9:00-11:30 Este exame é composto por 16 páginas contendo 6 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

PROCURA E PLANEAMENTO

PROCURA E PLANEAMENTO PROCURA E PLANEAMENTO Primeiro Exame 13 de Janeiro de 2007 11:00-13:30 Este exame é composto por 13 páginas contendo 6 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

Inteligência Artificial Alameda e Taguspark

Inteligência Artificial Alameda e Taguspark Inteligência Artificial Alameda e Taguspark Repescagem do Primeiro Teste 13 de Fevereiro de 2009 17H00-18H30 Nome: Número: Este teste tem 7 perguntas e 5 páginas. Escreva o número em todas as páginas.

Leia mais

Inteligência Artificial Taguspark

Inteligência Artificial Taguspark Inteligência Artificial Taguspark Repescagem do Segundo Teste 22 de Julho de 2006 9H00-10H30 Nome: Número: Este teste tem 10 perguntas e 10 páginas. Escreva o número em todas as páginas. Deve ter na mesa

Leia mais

INTELIGÊNCIA ARTIFICIAL 2008/09

INTELIGÊNCIA ARTIFICIAL 2008/09 INTELIGÊNCIA ARTIFICIAL 2008/09 JOGOS Ex. 1) ( Teste 2005/06) Considere a seguinte árvore de procura de dois agentes. Reordene as folhas de modo a maximizar o número de cortes com uma procura da esquerda

Leia mais

Inteligência Artificial

Inteligência Artificial Licenciatura em Engenharia Informática e de Computadores Inteligência Artificial Primeiro Teste 31 de Outubro de 2009 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 9 páginas com

Leia mais

Ex. 1) Considere que a árvore seguinte corresponde a uma parte do espaço de estados de um jogo de dois agentes: f=7 f=7 f=1 f=2

Ex. 1) Considere que a árvore seguinte corresponde a uma parte do espaço de estados de um jogo de dois agentes: f=7 f=7 f=1 f=2 LERCI/LEIC Tagus 2005/06 Inteligência Artificial Exercícios sobre Minimax: Ex. 1) Considere que a árvore seguinte corresponde a uma parte do espaço de estados de um jogo de dois agentes: Max Min f=4 f=7

Leia mais

Inteligência Artificial Alameda e Taguspark

Inteligência Artificial Alameda e Taguspark Inteligência Artificial Alameda e Taguspark Repescagem do Segundo Teste 13 de Feveiro de 2009 17H00-17H30 Nome: Número: Este teste tem 8 perguntas e 7 páginas. Escreva o número em todas as páginas. Deve

Leia mais

INTELIGÊNCIA ARTIFICIAL E SISTEMAS DE DECISÃO Ano Lectivo 2005/2006 Semestre de Inverno. 1º Exame, 13/Janeiro/2006

INTELIGÊNCIA ARTIFICIAL E SISTEMAS DE DECISÃO Ano Lectivo 2005/2006 Semestre de Inverno. 1º Exame, 13/Janeiro/2006 Mestrado em Engenharia Electrotécnica e de Computadores Licenciatura em Engenharia Electrotécnica e de Computadores Licenciatura em Engenharia Aeroespacial INTELIGÊNCIA ARTIFICIAL E SISTEMAS DE DECISÃO

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Primeiro Teste 29 de Outubro de 2014 18:00-19:30 Este teste é composto por 8 páginas contendo 7 grupos de perguntas. Para perguntas com resposta de escolha múltipla, respostas erradas

Leia mais

ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO

ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO 2. Linguagens Livres-do-Contexto Referência: SIPSER, M. Introdução à Teoria da Computação. 2ª edição, Ed. Thomson Prof. Marcelo S. Lauretto marcelolauretto@usp.br

Leia mais

U.C Raciocínio e Representação do Conhecimento. 26 de setembro de INSTRUÇÕES --

U.C Raciocínio e Representação do Conhecimento. 26 de setembro de INSTRUÇÕES -- Ministério da Educação e Ciência U.C. 21097 Raciocínio e Representação do Conhecimento 26 de setembro de 2013 -- INSTRUÇÕES -- O estudante deverá responder à prova na folha de ponto e preencher o cabeçalho

Leia mais

1) Considere a gramática constituída pelas seguintes regras e em que F é o símbolo inicial.

1) Considere a gramática constituída pelas seguintes regras e em que F é o símbolo inicial. Inteligência Artificial 2009/10 Comunicação 1) Considere a gramática constituída pelas seguintes regras e em que F é o símbolo inicial. F -> SN SV SP SN SV SN -> det nc det np nc np SV -> vt SN vi adv

Leia mais

Fundamentos da Programação

Fundamentos da Programação Fundamentos da Programação Segundo Teste 10 de Janeiro de 2014 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 8 páginas com 12 perguntas. A cotação de cada pergunta está assinalada

Leia mais

Tratamento dos Erros de Sintaxe. Adriano Maranhão

Tratamento dos Erros de Sintaxe. Adriano Maranhão Tratamento dos Erros de Sintaxe Adriano Maranhão Introdução Se um compilador tivesse que processar somente programas corretos, seu projeto e sua implementação seriam grandemente simplificados. Mas os programadores

Leia mais

Departamento de Ciência de Computadores - FCUP Primeiro Teste de Inteligência Artificial / Sistemas Inteligentes (Duração: 2 horas)

Departamento de Ciência de Computadores - FCUP Primeiro Teste de Inteligência Artificial / Sistemas Inteligentes (Duração: 2 horas) Departamento de Ciência de Computadores - FCUP Primeiro Teste de Inteligência Artificial / Sistemas Inteligentes (Duração: horas) Nome: Data: 7 de Abril de 016 1) Considere a aplicação da busca em profundidade

Leia mais

CEFET/RJ Disciplina: Inteligência Artificial Professor: Eduardo Bezerra Lista de exercícios 02

CEFET/RJ Disciplina: Inteligência Artificial Professor: Eduardo Bezerra Lista de exercícios 02 . CEFET/RJ Disciplina: Inteligência Artificial Professor: Eduardo Bezerra Lista de exercícios 02 Créditos: alguns itens desta lista são adaptados do material da disciplina CS188 - Artificial Intelligence

Leia mais

PROCURA E PLANEAMENTO

PROCURA E PLANEAMENTO PROCURA E PLANEAMENTO Primeiro Exame 20 de Janeiro de 2009 17:00-19:30 Este exame é composto por 14 páginas contendo 6 grupos de perguntas. Identifique já todas as folhas do exame com o seu nome e número.

Leia mais

Exame de 1ª Época Introdução à Programação IGE e ETI 2003/02/25-1º semestre de 2002/2003 ISCTE

Exame de 1ª Época Introdução à Programação IGE e ETI 2003/02/25-1º semestre de 2002/2003 ISCTE Recibo do Exame de 1ª Época de Introdução à Programação (IGE e ETI), 2003/02/25 1º semestre de 2002/2003, ISCTE Nome do aluno:... Número do aluno:... Assinatura do docente:... Notas: Exame de 1ª Época

Leia mais

Introdução. Compiladores Análise Semântica. Introdução. Introdução. Introdução. Introdução 11/3/2008

Introdução. Compiladores Análise Semântica. Introdução. Introdução. Introdução. Introdução 11/3/2008 Compiladores Análise Semântica Fabiano Baldo Análise Semântica é por vezes referenciada como análise sensível ao contexto porque lida com algumas semânticas simples tais como o uso de uma variável somente

Leia mais

Inteligência Artificial Taguspark

Inteligência Artificial Taguspark Inteligência Artificial Taguspark Segundo Teste/ Exame Época Normal 7 de Julho de 2005 Esta prova tem 12 páginas. Preencha cuidadosamente o nome e número de cada página desta prova. Este teste/exame tem

Leia mais

Fundamentos de Programação

Fundamentos de Programação Fundamentos de Programação Segundo Teste 6 de Janeiro de 2010 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 8 páginas com 9 perguntas. A cotação de cada pergunta está assinalada

Leia mais

Alguns Exercícios de Inteligência Artificial

Alguns Exercícios de Inteligência Artificial Alguns Exercícios de Inteligência Artificial Ana Paula Tomás Nelma Moreira Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto email: {apt,nam}@ncc.up.pt 1997 1. Números

Leia mais

Lógica para Programação

Lógica para Programação Licenciatura Engenharia Informática e de Computadores Lógica para rogramação epescagem do rimeiro Teste 13 de Julho de 2010 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 9 páginas

Leia mais

Comunicação. Capítulo 22 (Secções 1-3)

Comunicação. Capítulo 22 (Secções 1-3) Comunicação Capítulo 22 (Secções 1-3) Sumário Comunicação Gramática Análise sintáctica (Parsing) Comunicação Perspectiva clássica (anterior a 1953) Linguagem consiste em frases que são V/F Wittgenstein

Leia mais

ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO

ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO 2. Linguagens Livres-do-Contexto Referência: SIPSER, M. Introdução à Teoria da Computação. 2ª edição, Ed. Thomson Prof. Marcelo S. Lauretto marcelolauretto@usp.br

Leia mais

Compiladores. Parser LL 10/13/2008

Compiladores. Parser LL 10/13/2008 Compiladores Fabiano Baldo Usa uma pilha explícita ao invés de chamadas recursivas para realizar a análise sintática. LL(k) parsing significa que ktokensà frente são utilizados. O primeiro L significa

Leia mais

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente 1 Bem-vindos ao Mundo do Wumpus Wumpus Agente caçador de tesouros 2 Codificação do Mundo do Wumpus 4 3 fedor

Leia mais

PROVA Duração da prova: 120 minutos

PROVA Duração da prova: 120 minutos Página 1 de 11 Prova escrita especialmente adequada destinada a avaliar a capacidade para a frequência do ensino superior dos maiores de 23 anos, Decreto-Lei n.º 64/2006, de 21 de março Prova de ingresso

Leia mais

a) Defina em Prolog iguais/1, um predicado que recebe um estado do jogo e que verifica que todas as pilhas têm o mesmo número de peças.

a) Defina em Prolog iguais/1, um predicado que recebe um estado do jogo e que verifica que todas as pilhas têm o mesmo número de peças. Introdução à Inteligência Artificial 2ª Época 29 Janeiro 2015 Nº Aluno: Nome Completo: Exame com consulta. Responda às perguntas nesta própria folha, nos espaços indicados. (I) O jogo do Nim (também chamado

Leia mais

Fundamentos de Programação

Fundamentos de Programação Fundamentos de Programação Primeiro Teste 16 de Abril de 2011 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 7 páginas com 9 perguntas. A cotação de cada pergunta está assinalada

Leia mais

Fundamentos da Programação

Fundamentos da Programação Fundamentos da Programação Solução da Repescagem do Primeiro Teste 31 de Janeiro de 2013 09:00 10:30 1. De um modo sucinto, (a) (0.5) Diga o que é um processo computacional. Um processo computacional é

Leia mais

Análise Sintática LL(1)

Análise Sintática LL(1) FACULDADE ANGLO AMERICANO FOZ DO IGUAÇU Curso de Ciência da Computação 7º Periodo Disciplina: Compiladores Prof. Erinaldo Sanches Nascimento Análise Sintática LL(1) Análise Sintática Descendente Introdução

Leia mais

Fundamentos de Programação

Fundamentos de Programação Fundamentos de Programação Primeiro Teste 21 de Abril de 2012 11:30 13:00 Nome: Número: Esta prova, individual e sem consulta, tem 5 páginas com 10 perguntas. A cotação de cada pergunta está assinalada

Leia mais

Escola Secundária Poeta António Aleixo

Escola Secundária Poeta António Aleixo Escola Secundária Poeta António Aleixo 6.º Teste de Matemática A.º Ano 0-06-00.ª Parte Para cada uma das sete questões desta primeira parte, seleccione a resposta correcta de entre as quatro alternativas

Leia mais

Fundamentos de Programação

Fundamentos de Programação Fundamentos de Programação Solução do Segundo Teste 23 de Janeiro de 2012 09:00 10:30 Nome: Número: 1. (1.0) Explique em que consiste a abstracção de dados, usando os termos barreiras de abstracção, encapsulação

Leia mais

Busca Competitiva. Inteligência Artificial. Até aqui... Jogos vs. busca. Decisões ótimas em jogos 9/22/2010

Busca Competitiva. Inteligência Artificial. Até aqui... Jogos vs. busca. Decisões ótimas em jogos 9/22/2010 Inteligência Artificial Busca Competitiva Aula 5 Profª Bianca Zadrozny http://www.ic.uff.br/~bianca/ia-pos Capítulo 6 Russell & Norvig Seção 6.1 a 6.5 2 Até aqui... Problemas sem interação com outro agente.

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 13: Dedução Natural em Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de

Leia mais

Fundamentos da Programação

Fundamentos da Programação Fundamentos da Programação Solução do Segundo Teste 18 de Janeiro de 2013 09:00 10:30 1. (2.0) Escolha a única resposta incorrecta para as seguintes questões. Cada resposta certa vale 1 valor e cada resposta

Leia mais

Fundamentos da Programação

Fundamentos da Programação Fundamentos da Programação Solução do Primeiro Teste 26 de Outubro de 2013 09:00 10:30 1. (1.0) O que é um processo computacional? Qual a relação entre um programa e um processo computacional? Um processo

Leia mais

2. Diga qual é a diferença entre tipos de informação elementares e tipos de informação estruturados.

2. Diga qual é a diferença entre tipos de informação elementares e tipos de informação estruturados. Capítulo 5 Abstracção de dados 5. Exercícios de revisão. Diga o que é um tipo abstracto de informação.. Diga qual é a diferença entre tipos de informação elementares e tipos de informação estruturados.

Leia mais

Lógica e prova de resolução Marco Henrique Terra

Lógica e prova de resolução Marco Henrique Terra Lógica e prova de resolução Marco Henrique Terra Introdução à Inteligência Artificial Introdução n Este capítulo trata de lógica. l Inicialmente discute-se se a notação empregada em lógica. l Depois mostra-se

Leia mais

Compiladores Ciência e Tecnologia da Computação Engenharia Informática e de Computadores

Compiladores Ciência e Tecnologia da Computação Engenharia Informática e de Computadores Compiladores Ciência e Tecnologia da Computação Engenharia Informática e de Computadores Análise Semântica Universidade dos Açores Departamento de Matemática www.uac.pt/~hguerra Análise semântica 3ª etapa

Leia mais

Linguagens de Domínio Específico

Linguagens de Domínio Específico Linguagens de Domínio Específico Fabio Mascarenhas 2016.1 http://www.dcc.ufrj.br/~fabiom/dsl Processamento de uma DSL Erros Uma falha em um parser de combinadores tem dois significados: A alternativa que

Leia mais

Linguagens Formais e Autômatos (LFA)

Linguagens Formais e Autômatos (LFA) Linguagens Formais e Autômatos (LFA) Aula de 16/09/2013 Conversões e Transformações 1 Conversões de Gramáticas LR em LL e vice-versa Qual é a ideia? S S a a a = a b c b c ε ε a a Seja GRD uma gramática

Leia mais

Fundamentos da Programação

Fundamentos da Programação Fundamentos da Programação Segundo Teste 18 de Junho de 2014 15:00 16:30 1. (1.0) Diga quais as fases por que passa o desenvolvimento de um programa no modelo estudado e o que se faz em cada uma delas.

Leia mais

Introdução à Programação. João Manuel R. S. Tavares

Introdução à Programação. João Manuel R. S. Tavares Introdução à Programação João Manuel R. S. Tavares Sumário 1. Ciclo de desenvolvimento de um programa; 2. Descrição de algoritmos; 3. Desenvolvimento modular de programas; 4. Estruturas de controlo de

Leia mais

Introdução à Programação

Introdução à Programação Introdução à Program João Manuel R. S. Tavares Sumário 1. Ciclo de desenvolvimento de um programa; 2. Descrição de algoritmos; 3. Desenvolvimento modular de programas; 4. Estruturas de controlo de um programa.

Leia mais

FUNDAMENTOS DA PROGRAMAÇÃO 1º Teste, 19 de abril de 2013, 1h30m

FUNDAMENTOS DA PROGRAMAÇÃO 1º Teste, 19 de abril de 2013, 1h30m FUNDAMENTOS DA PROGRAMAÇÃO 1º Teste, 19 de abril de 2013, 1h30m 1. (1.5) Considere a seguinte gramática em notação BNF: ::= , ::= ::=

Leia mais

PROVA MODELO. Duração da prova: 120 minutos

PROVA MODELO. Duração da prova: 120 minutos Página de Provas especialmente adequadas destinadas a avaliar a capacidade para a frequência do ensino superior dos maiores de 2 anos, Decreto-Lei n.º 6/2006, de 2 de Março AVALIAÇÃO DA CAPACIDADE PARA

Leia mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens Formais e Autômatos P. Blauth Menezes Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes

Leia mais

Teste de Matemática A 2016 / 2017

Teste de Matemática A 2016 / 2017 Teste de Matemática A 2016 / 2017 Teste N.º 5 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em

Leia mais

Inteligência Artificial

Inteligência Artificial Instituto Politécnico de Setúbal Escola Superior de Tecnologia de Setúbal Departamento de Sistemas e Informática Guia de Exercícios das Aulas Práticas Inteligência Artificial Prof Joaquim Filipe Eng. Adelaide

Leia mais

Lógica Proposicional

Lógica Proposicional Lógica Proposicional Lógica Computacional Carlos Bacelar Almeida Departmento de Informática Universidade do Minho 2007/2008 Carlos Bacelar Almeida, DIUM LÓGICA PROPOSICIONAL- LÓGICA COMPUTACIONAL 1/28

Leia mais

Fundamentos da Programação

Fundamentos da Programação Fundamentos da Programação Exame 9 de Janeiro de 2015 09:00 11:00 1. De um modo sucinto, explique o que é: (a) (0.5) Um processo computacional. Um ente imaterial que existe dentro de um computador durante

Leia mais

COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

COMPILADORES. Análise sintática. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Análise sintática Parte 02 Prof. geovanegriesang@unisc.br Data Conteúdo 23/09/2013 3. Análise Sintática: 3.1 analisadores

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Análise Sintática. Fabiano Baldo

Análise Sintática. Fabiano Baldo Compiladores Análise Sintática Fabiano Baldo Gramáticas Livre de Contexto (GLC) É utilizada na especificação formal lda sintaxe de uma linguagem de programação. É um conjunto de produções ou regras gramaticais

Leia mais

Sumário. Decisões óptimas em jogos (minimax) Cortes α-β Decisões imperfeitas em tempo real

Sumário. Decisões óptimas em jogos (minimax) Cortes α-β Decisões imperfeitas em tempo real Jogos Capítulo 6 Sumário Decisões óptimas em jogos (minimax) Cortes α-β Decisões imperfeitas em tempo real Jogos vs. Problemas de Procura Adversário imprevisível" necessidade de tomar em consideração todas

Leia mais

Fundamentos de Lógica Matemática

Fundamentos de Lógica Matemática Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível

Leia mais

AVALIAÇÃO DA CAPACIDADE PARA A FREQUÊNCIA DO CURSO DE LICENCIATURA EM

AVALIAÇÃO DA CAPACIDADE PARA A FREQUÊNCIA DO CURSO DE LICENCIATURA EM Página 1 de 10 Prova escrita especialmente adequada destinada a avaliar a capacidade para a frequência do ensino superior dos maiores de 23 anos, Decreto-Lei n.º 64/2006, de 21 de março Prova de ingresso

Leia mais

Tabelas de dispersão/hash

Tabelas de dispersão/hash Tabelas de dispersão/hash 1 Tabelas de dispersão/hash 1. Considere uma tabela de hash de tamanho m = 1000 e a função de hash h(k)= [m.(k.a % 1)], com A=( 5-1)/2. Calcule os valores de hash das chaves 61,

Leia mais

Teste de Matemática A 2016 / 2017

Teste de Matemática A 2016 / 2017 Teste de Matemática A 2016 / 2017 Teste N.º 5 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em

Leia mais

Sistemas Inteligentes

Sistemas Inteligentes Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.

Leia mais

Linguagens de Domínio Específico

Linguagens de Domínio Específico Linguagens de Domínio Específico Fabio Mascarenhas 2017.1 http://www.dcc.ufrj.br/~fabiom/dsl Combinadores scannerless Uma vez que adicionamos predicados sintáticos, podemos fazer nossos combinadores atuarem

Leia mais

Inteligência Artificial

Inteligência Artificial Instituto Politécnico de Setúbal Escola Superior de Tecnologia de Setúbal Departamento de Sistemas e Informática Guia de Exercícios Complementares de Lisp Inteligência Artificial Prof Joaquim Filipe Eng.

Leia mais

PROVA ESPECÍFICA MODELO. Duração da prova: 120 minutos

PROVA ESPECÍFICA MODELO. Duração da prova: 120 minutos Página 1 de 10 Provas especialmente adequadas destinadas a avaliar a capacidade para a frequência do ensino superior dos maiores de 23 anos, Decreto-Lei n.º 64/2006, de 21 de Março AVALIAÇÃO DA CAPACIDADE

Leia mais

CRITÉRIOS DE AVALIAÇÃO E CLASSIFICAÇÃO Disciplina: Português

CRITÉRIOS DE AVALIAÇÃO E CLASSIFICAÇÃO Disciplina: Português CRITÉRIOS DE AVALIAÇÃO E CLASSIFICAÇÃO Disciplina: Português Ensino Básico Ano letivo: 16/17 5º ANO Perfil de Aprendizagens Específicas O aluno é capaz: Domínios Interpretar discursos orais breves (Referir

Leia mais

Análise Sintática Introdução

Análise Sintática Introdução Análise Sintática Introdução Renato Ferreira Linguagens e Automatas Linguagens formais são importantes em Computação Especialmente em linguagens de programação Linguagens regulares A linguagem formal mais

Leia mais

Compiladores - Análise LL(1)

Compiladores - Análise LL(1) Compiladores - Análise LL(1) Fabio Mascarenhas - 2013.1 http://www.dcc.ufrj.br/~fabiom/comp Gramáticas LL(1) Uma gramática é LL(1) se toda predição pode ser feita examinando um único token à frente Muitas

Leia mais

COMPILADORES. Análise semântica. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática

COMPILADORES. Análise semântica. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Análise semântica Tradução dirigida pela sintaxe Parte 02 Prof. geovanegriesang@unisc.br Sumário Data 18/11/2013 Análise

Leia mais

AVALIAÇÃO DA CAPACIDADE PARA A FREQUÊNCIA DO CURSO DE LICENCIATURA EM ENGENHARIA ELETRÓNICA E TELECOMUNICAÇÕES E DE COMPUTADORES

AVALIAÇÃO DA CAPACIDADE PARA A FREQUÊNCIA DO CURSO DE LICENCIATURA EM ENGENHARIA ELETRÓNICA E TELECOMUNICAÇÕES E DE COMPUTADORES Página 1 de 12 Prova especialmente adequada destinada a avaliar a capacidade para a frequência do ensino superior dos maiores de 23 anos, Decreto-Lei n.º 113/2014, de 16 de julho Prova de ingresso escrita

Leia mais

LINGUAGEM LIVRE DE CONTEXTO GRAMÁTICA LIVRE DE CONTEXTO

LINGUAGEM LIVRE DE CONTEXTO GRAMÁTICA LIVRE DE CONTEXTO LINGUAGEM LIVRE DE CONTEXTO As Linguagens Livres de Contexto é um reconhecedor de linguagens, capaz de aceitar palavras corretas (cadeia, sentenças) da linguagem. Por exemplo, os autômatos. Um gerador

Leia mais

Fundamentos de Programação

Fundamentos de Programação Fundamentos de Programação Segundo Teste 9 de Junho de 2012 9:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 6 páginas com 12 perguntas. A cotação de cada pergunta está assinalada entre

Leia mais

Lema do Bombeamento Linguagens Livres de Contexto

Lema do Bombeamento Linguagens Livres de Contexto Lema do Bombeamento Linguagens Livres de Contexto Agenda Lema do Bombeamento para CFL s Motivação Teorema Prova Exemplos de provas usando o lema 0 Bombeando FA s 1 x y z 1 0 1 0 Strings de comprimento

Leia mais

Compiladores - Análise LL(1)

Compiladores - Análise LL(1) Compiladores - Análise LL(1) Fabio Mascarenhas 2017.1 http://www.dcc.ufrj.br/~fabiom/comp Gramáticas LL(1) Uma gramática é LL(1) se toda predição pode ser feita examinando um único token à frente Muitas

Leia mais

Aprendizado de Máquina (Machine Learning)

Aprendizado de Máquina (Machine Learning) Ciência da Computação (Machine Learning) Aula 01 Motivação, áreas de aplicação e fundamentos Max Pereira Nem todo conhecimento tem o mesmo valor. O que torna determinado conhecimento mais importante que

Leia mais