INTELIGÊNCIA ARTIFICIAL

DOSSIER 2003/2004

DATA DE ACTUALIZAÇÃO 7/31/04

Manuel Filipe Santos mfs@dsi.uminho.pt


 

ÍNDICE

Historial da Disciplina

Identificação

Equipa Docente e Horário

Programa Sucinto

Programa Detalhado

Método de Avaliação

Bibliografia

Material de Apoio Pedagógico

Sumários das Aulas

Enunciados das Provas de Avaliação

Enunciados dos Projectos

Pautas de Avaliação

Software

Recursos WEB


HISTORIAL DA DISCIPLINA

 

A disciplina de Inteligência Artificial encontra-se incluída no 4º ano do plano curricular da Licenciatura em Informática de Gestão da Universidade do Minho e começou a funcionar no ano lectivo de 1993/94, em regime anual. A sua escolaridade corresponde a 2 horas semanais de carácter teórico, 1 hora semanal de carácter teórico-prático e 2 horas semanais de carácter prático (a turma divide-se em três turnos).

Desde o ano lectivo de 1996/1997 que a disciplina de Inteligência Artificial é da responsabilidade de Manuel Filipe Vieira Torres dos Santos, professor auxiliar do departamento de Sistemas de Informação, docente que assegura desde essa data a leccionação de todas as aulas.

Pedagogicamente as aulas teóricas são utilizadas para, através do método expositivo, apresentar os fundamentos teóricos da disciplina, sempre que possível acompanhados de exemplos demonstrativos. As aulas teórico-práticas são utilizadas na aplicação e sistematização da matéria estudada. A consolidação do conhecimento é completada nas aulas práticas através da resolução de exercícios práticos. Tem sido um ponto de esforço a utilização cada vez mas alargada de apresentações electrónicas que servem também como elemento orientador de estudo para os alunos. O apoio pedagógico é reforçado com a disponibilização dos materiais de exposição e textos escritos pelo docente sobre as matérias abordadas. 

Para além das aulas os alunos, em grupos de 4 elementos no máximo, resolvem dois projectos relacionados respectivamente com as matérias abordadas no primeiro e segundo semestre.

Desde o ano lectivo de 1998/1999 que toda a informação sobre a disciplina é coligida e disponibilizada a partir de uma página WEB no endereço:

www.dsi.uminho.pt/disciplinas/LIGIA.

 

A seguir apresentam-se alguns indicadores relativamente aos alunos que frequentaram esta disciplina desde o ano lectivo de 1996/1997.

A seguir apresentam-se alguns índices de sucesso relativamente aos alunos que frequentaram esta disciplina desde o ano lectivo de 1996/1997.

 

 


IDENTIFICAÇÃO

 

CURSO

4º Ano da Licenciatura em Informática de Gestão

Escolaridade

2 H Teóricas + 1 H Teórico-prática + 3 Turnos de 2 H Práticas

Regime

Anual


EQUIPA DOCENTE E HORÁRIO

 

Prof. Doutor Manuel Filipe Santos (MFS)

Professor Auxiliar

Departamento de Sistemas de Informação

Escola de Engenharia

Universidade do Minho

Campus de Azurém

4800 Guimarães

mfs@dsi.uminho.pt

 

Seg

Ter

Qua

Qui

Sex

9-10

 

 

Atendimento

 

 

10-11

 

 

Atendimento

 

Teórico Prática TP (MFS)

11-12

 

 

Teórica T (MFS)

 

Prática P3 (MFS)

12-13

 

 

Teórica T (MFS)

 

Prática P3 (MFS)

13-14

 

 

 

 

 

14-15

 

Prática P1 (MFS)

 

 

Atendimento

15-16

 

Prática P1 (MFS)

 

 

Atendimento

16-17

 

Prática P2 (MFS)

 

 

Atendimento

17-18

 

Prática P2 (MFS)

 

 

Atendimento

18-19

 

 

 

 

 

 


PROGRAMA SUCINTO

 

SISTEMAS DE CONHECIMENTO (1º SEMESTRE)

           

Introdução à Inteligência Artificial

Lógica de Predicados de Primeira Ordem e Programação em Lógica

            Regras de Produção

            Grafos

            Redes semânticas

            Frames (enquadramentos)

            Grafos conceptuais

            Scripts (guiões)

            Padrões

 

 

SISTEMAS INTELIGENTES (2º SEMESTRE)

            Sistemas Evolutivos

            Sistemas de Aprendizagem

                        Sistemas de Classificação

                        Aprendizagem por Indução

                        Redes Neuronais

                        Sistemas Baseados em Agentes

            Sistemas Periciais

            Descoberta de Conhecimento em Bases de Dados


PROGRAMA DETALHADO

 

1º SEMESTRE – SISTEMAS DE CONHECIMENTO

 

Unidade Temática

Objectivos

Conteúdo Programático

Duração

Bibliografia

1 - Conhecimento e Raciocínio

Estudar e aplicar formas de estruturar e representar o conhecimento

Estudar e desenvolver procedimentos de inferência ou dedução através da programação em lógica

Construir bases de conhecimento

Noções Introdutórias

Lógica de Predicados de Primeira Ordem e Programação em Lógica

Lógica

Introdução,

Lógica proposicional, Raciocínio automático,

Lógica de predicados,

Prova de teoremas,       

Princípio da resolução,  

Cláusulas de Horn,        

SLD/LBS,

Árvores de prova

Revisões sobre Prolog (SICSTUS Prolog)

            Introdução,

            Sintaxe e Semântica,

            Listas,

            Operadores e Aritmética,             Estruturas

            Cut e Backtracking,

            Input e Output,

            Outros procedimentos embebidos,

            Técnica e Estilo de programação, Operações

                        nas Estruturas de Dados

            O paradigma LINDA para programação                distribuída

Lógica versus Bases de Dados Relacionais

            Bases de dados dedutiveis

            Álgebra relacional: União, Diferença, Produto

                        cartesiano, Projecção, Selecção, Join

            Propriedades:                                                                Reflexividade, Simetria,                                      Transitividade, Assimetria,                                  Fechos

            Hipótese do mundo fechado

Regras de Produção

            Introdução,

            Redes de inferência,

            Backward chaining / Forward

                        Chaining,

            Geração de provas (explicação),

            Incerteza

            Sistemas de raciocínio probabilístico

Redes semânticas

Frames (enquadramentos)

Padrões

Sistemas de raciocínio sob incerteza e informação incompleta

            Representação de informação incompleta             através de nulos, Consistência/Invariantes,

            Manutenção de consistência

Exercícios

6 Semanas

(1) Stuart Russel, Peter Norvig, Artificial Intelligence A Modern Approach, Prentice Hall, 1995

 

(2) Ivan Brakto, Prolog - Programming for Aritficial Intelligence, Second Edition,Addison Wesley, 1990.

 

(3) Elaine Rich, Kevin Knight, Articial Intelligence, Second Edition, McGrawHill, 1991.

 

(4) George F Luger, William A Stubblefield, Artificial Intelligence Structures and Strategies for Complex Problem Solving, Third Edition, Addison-Wesley, 1998

 

(5) Helder Coelho, Inteligência Artificial em 25 Lições, Fund. Calouste Gulbenkian, 1994.

 

2 - Representação, Procura, Resolução de Problemas e Planeamento

Estudar formas de especificar problemas através de objectivos a atingir

Representar espaços de estados e soluções

Estudar técnicas de procura em espaços de soluções como forma de definir a sequência de passos a executar para atingir o objectivo

Grafos

            Representação,

            Inferência,

            Procura num espaço de estados/soluções,

            Breath-first/Depth-first

Outras técnicas de procura

Exercícios

2 Semanas

(2), (3), (4), (5)

3 - Processamento da Linguagem

Representar e interpretar frases escritas em linguagem natural

Realçar o uso da linguagem natural na interacção entre agentes inteligentes e entre estes e os seres humanos

Grafos conceptuais

Scripts (guiões)

Linguagem Natural

            Sintaxe

                        Gramáticas livres de contexto

                        Gramáticas de cláusulas definidas

                        Árvores de parsing

            Semântica

                        Representação baseada na lógica

Exercícios

2 Semanas

(5)

4 - Sistemas de Conhecimento

Estudar os processos envolvidos na engenharia do conhecimento

Estudar e desenvolver sistemas de conhecimento utilizando as estruturas de representação e os mecanismos de inferência estudados

 

Fases no desenvolvimento de um sistema de conhecimento:

            Preparação;

            Construção;

            Desenvolvimento;

            Avaliação

Estrutura hierárquica de um sistema de conhecimento:

            Nível do Conhecimento;

            Nível Simbólico;

            Nível Físico

Desenvolvimento de um sistema de conhecimento (sistema pericial)

2 Semanas

(5)

 

 

Escolaridade (semanal)

Avaliação

Recursos Necessários

Pré-requisitos

2 H Teóricas

1H Teórico-prática

3 x 2 H Práticas

1 Projecto desenvolvido em grupo NP

1 Teste escrito NT

 

Nota final = 25% NP + 75% NT

PC MS Windows 9X ou MS NT

SICStus Prolog V.3XX

 

Os alunos devem possuir conhecimentos nas áreas de:

Programação em lógica

Algoritmia

Técnicas e Linguagens de programação

Análise de sistemas

Teoria de Conjuntos

Matemática Discreta

Cálculo Matemático

 

2º SEMESTRE - SISTEMAS INTELIGENTES

Unidade Temática

Objectivos

Conteúdo Programático

Duração

Bibliografia

1 - Introdução à Inteligência Artificial

Explicar o que é a inteligência artificial.

Explicar o que faz um agente inteligente, como se relaciona com o seu ambiente, como evolui e como se estrutura.

Introdução à IA

            O que é a IA (abordagem            AIMA)

            Fundamentos da IA

            Breve História da IA

            O Estado da Arte

Agentes Inteligentes

            Introdução

            Como deve actuar um agente

            Estrutura dos Agentes Inteligentes

            Ambientes

Exercícios

1 Semana

(1)

2 - Computação Evolutiva

Estudar técnicas evolutivas baseadas na genética e selecção natural para resolver problemas de procura e optimização

Sistemas Evolutivos

            Características de um programa                          evolutivo/adaptativo,

            Estrutura,

Algoritmos genéticos

            Estrutura e funcionamento, Operadores

                        genéticos,

            Função de avaliação,

Exercícios

3 Semanas

(6) David Goldberg, Genetic Algorithms in Search, Optimization and Machine Learning, Addison-Wesley, 1989.

 

 

3 - Aprendizagem Automática e Adaptação

Estudar técnicas de aprendizagem que permitem construir agentes adaptativos

Conhecer os vários paradigmas de aprendizagem

Estudar o data mining como uma aplicação de algumas das técnicas estudadas

Introdução aos Sistemas de Aprendizagem

Sistemas de classificação

                        Estrutura e funcionamento,                                 Sub-sistema de regras e                                                 mensagens,     

Sub-sistema de distribuição de               créditos,

Sub-sistema de descoberta de                regras (Algoritmo                                 genético)

Aprendizagem por indução

            Aprendizagem de conceitos através de                exemplos

            Representação de objectos através de                 redes semânticas

            Representação de objectos através de                 atributos

            Indução e poda de árvores de decisão

Redes Neuronais

            Constituição e funcionamento,

            Funções de activação,

            Estruturas de redes neuronais,

            Aprendizagem por incremento fixo,             Aprendizagem por backpropagation

            Redes de competição

Data Mining: definição, objectivos e técnicas mais             utilizadas

Exercícios

6 Semanas

(1), (3), (6)

 

(7) Usama M. Fayyad, et al, Advances in Knwledge Discovery and Data Mining, AAAI Press, 1996

4 - Sistemas Baseados em Agentes

Estudar os sistemas de processamento distribuído e os sistemas multi-agente com ênfase na caracterização dos agentes, comunicação e negociação entre estes e por fim os ambientes

Inteligência artificial paralela e distribuída

Sistemas Paralelos, Distribuídos e sistemas             Multi-agente

Arquitecturas paralelas

Sistemas distribuídos

            Definição,

            Granularidade,

            Coordenação e cooperação,

            Planemento multi-agente,

            Negociação,

            Comunicação: Mensagens, Quadros-                  negros, Matrizes de recompensa

Agentes Inteligentes

            Definição e estrutura. Percepções,                                  acções, objectivos e ambientes.

            Agentes racionais e autónomos.

            Programação de agentes: reflexivos,                    reflexivos com estado interno,                 orientados por objectivos e                                  orientados pela utilidade.

            Tipos de ambientes: acessíveis,                          determínisticos, episódicos,                                estático/dinâmicos,

                        discretos/contínuos.

Exercícios

2 Semanas

(1), (3), (5)

 

(8) Gheorghe Tecuci, Building Intelligent Agents, Na Apprenticeship Multistrategy Learning Theory, Methodology, Tool and Case Studies, Academic Press, 1998

 

 Escolaridade (semanal)

Avaliação

Recursos Necessários

Pré-requisitos

2 H Teóricas

1H Teórico-prática

3 x 2 H Práticas

1 Projecto desenvolvido em grupo NP

1 Teste escrito NT

 

Nota final = 25% NP + 75% NT

PC MS Windows 9X ou MS NT em rede

SICStus Prolog V.3XX

 

 

Os alunos devem possuir conhecimentos nas áreas de:

Representação de conhecimento e inferência

Programação em lógica

Programação distribuída

Algoritmia

Técnicas e Linguagens de programação

Análise de sistemas

Sistema binário e álgebra Booleana

Matemática Discreta

Cálculo Matemático

 


MÉTODO DE AVALIAÇÃO

 

CONDIÇÕES PARA A PASSAGEM À DISCIPLINA

 

Presença obrigatória a pelo menos 2/3 das aulas práticas.

Realização de 2 testes escritos ou um exame completo com média (NT) superior ou igual a 9.5 valores.

A nota mínima admitida nos testes é de 8 valores.

Realização de dois projectos em grupos de 3 ou 4 elementos no máximo cuja nota média é de NP.

A nota final à disciplina é dada pela expressão: Nota Final = 25% NP + 75% NT.


BIBLIOGRAFIA

 

*****

(1) Stuart Russel, Peter Norvig, Artificial Intelligence A Modern Approach, Prentice Hall, 1995

*****

(2) Ivan Brakto, Prolog - Programming for Aritficial Intelligence, Second Edition,Addison Wesley, 1990.

**

(3) Elaine Rich, Kevin Knight, Articial Intelligence, Second Edition, McGrawHill, 1991.

****

(4) George F Luger, William A Stubblefield, Artificial Intelligence Structures and Strategies for Complex Problem Solving, Third Edition, Addison-Wesley, 1998.

**

(5) Helder Coelho, Inteligência Artificial em 25 Lições, Fund. Calouste Gulbenkian, 1994.

*****

(6) David Goldberg, Genetic Algorithms in Search, Optimization and Machine Learning, Addison-Wesley, 1989.

 *****

(7) Usama M. Fayyad, et al, Advances in Knwledge Discovery and Data Mining, AAAI Press, 1996

*

(8) Gheorghe Tecuci, Building Intelligent Agents, An Apprenticeship Multistrategy Learning Theory, Methodology, Tool and Case Studies, Academic Press, 1998

 


MATERIAL DE APOIO PEDAGÓGICO

 

APRESENTAÇÕES

Inteligência Artificial

Matéria Teórica 1º Semestre

Matéria Prática 1º Semestre

Matéria Teórica 2º Semestre

Matéria Prática 2º Semestre

 

Algoritmos Genéticos

Sistemas de Classificação

Árvores de Decisão

Redes Neuronais

Agentes

Descoberta de Conhecimento em Bases de Dados e Data Mining

Data Mining Tuturial com Clementine

Estudo de Caso Data Mining 1

Estudo de Caso Data Mining 2

Mercado de Data Mining

Metodologias de Data Mining

Sistemas Periciais

 

TEXTOS

Sistemas de Classificação


SUMÁRIOS DAS AULAS

 

1º SEMESTRE

 

Data

Tipo

Horário

Sumário

 

16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

 

 

 

 

 

 16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

16/9/2003

P1

14-16

 

16/9/2003

P2

16-18

 

17/9/2003

T

11-13

 

19/9/2003

TP

10-11

 

19/9/2003

P3

11-13

 

 

 

 

 

 

2º SEMESTRE

 

 


PAUTAS DE AVALIAÇÃO

 

7107A2 INTELIGENCIA ARTIFICIAL - 2003/2004

 

 

 

 

 

 

 

 

 

 

 

 

 

 

       Informática de Gestão 4º Ano

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

NOTA

1ª CHAMADA

 

NOTA

2ª CHAMADA

 

NOTA

NOTA

NOTA

NOTA

NOTA

NOTA

Exame

Nota

 

 

TESTE 1

Exame

Exame

PARCIAL

Exame

Exame

PARCIAL

PARC. Ep.

TRAB 1

TRAB 2

Média

Final Ep.

Época

Final Ep.

Número

NOME

 

Parcial

Completo

 

Parcial

Completo

 

Normal

 

 

TRAB.

Normal

Recurso

Recurso

33460

Adriano Joaquim Gomes Marques

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

10

11

33461

Alfredo Miguel Vitória Pereira

16

Inferior a 7

Inferior a 7

Reprov

17

Inferior a 7

17

17

2

2

2

17

0

17

27926

Ana Luisa Fernandes Franco

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

34534

Ana Magda Miranda Barroso

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Desistiu

Reprov

Reprov

2

2

2

Reprov

12

13

33465

Ana Margarida Pereira de Moura

11

Inferior a 7

Inferior a 7

Reprov

11

Inferior a 7

11

11

2

2

2

12

0

12

30495

André José Carvalho Guimarães

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

30497

Ângelo Rafael Duarte Simões

15

Inferior a 7

Inferior a 7

Reprov

7

Inferior a 7

11

11

1

1

1

11

0

11

22971

Antero Mesquita Rebelo

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

35630

Armando Daniel Costa da Silva

13

Inferior a 7

Inferior a 7

Reprov

8

Inferior a 7

11

11

2

2

2

12

0

12

36872

Artur Jorge Ribeiro da Cunha

17

Inferior a 7

Inferior a 7

Reprov

10

Inferior a 7

14

14

2

2

2

15

0

15

33467

Bárbara Andreia Tábuas Moreira

16

Inferior a 7

Inferior a 7

Reprov

17

Inferior a 7

17

17

2

2

2

17

0

17

32711

Bruno José Freitas do Rego

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

6

Reprov

32037

Bruno Quesado Afonso

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

3

3

3

Reprov

10

11

33470

Carina Videira Aldeia

15

Inferior a 7

Inferior a 7

Reprov

16

Inferior a 7

16

16

2

2

2

17

0

17

15178

Carla Margarida Ferreira Gonçalves Côncio da Fonseca

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33472

Carlos Manuel Vieira da Silva

13

16

Inferior a 7

15

Inferior a 7

Inferior a 7

Reprov

15

2

2

2

16

0

16

27936

Carlos Romão de Oliveira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

Desistiu

Reprov

33475

Cláudia Sofia Marques

11

Inferior a 7

Inferior a 7

Reprov

9

Inferior a 7

10

10

3

3

3

11

0

11

28861

Claudio Alexandre Morais Pinto

12

Inferior a 7

Inferior a 7

Reprov

11

Inferior a 7

12

12

1

1

1

12

0

12

25150

Clemente Henrique Magalhães Lima

Inferior a 7

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

5

Reprov

21520

Daniel Filipe Marto Pereira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

3

3

3

Reprov

10

11

12721

Domingos Carlos Barros Pereira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

22980

Eduardo Daniel Pereira de Melo

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

27946

Eduardo Miguel Fernandes Pereira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

3

Reprov

39570

Fábio Miguel Cacho Teixeira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33480

Felisbela Pires Lopes

8

Inferior a 7

Inferior a 7

Reprov

11

Inferior a 7

10

10

3

3

3

11

0

11

33482

Filipe Aires Pereira Dias Martins

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33483

Filipe Manuel da Costa Ribeiro

13

11

Inferior a 7

12

Inferior a 7

Inferior a 7

Reprov

12

2

2

2

13

0

13

12087

Francisco Jorge Antunes Costa

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

30515

Francisco Sérgio de Faria e Silva Rodrigues

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

30516

Frederic Jean Meuret

Desistiu

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

11

12

33484

Frederico Granado Mota Garcia

12

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Desistiu

Reprov

Reprov

2

2

2

Reprov

15

16

37345

Gustavo Vaz Cacho

Faltou

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

11

12

33485

Hélder António Cerqueira Alves

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

3

3

3

Reprov

4

Reprov

22987

Hélder Filipe Teixeira Rodrigues

8

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

27953

Hugo Abel da Silva Vieira

Inferior a 7

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

1

Reprov

34537

Hugo Daniel de Sousa Reis

12

7

Inferior a 7

10

Inferior a 7

Inferior a 7

Reprov

10

2

2

2

11

6

11

32703

Ibraim Martins Verde da Silva

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Desistiu

Reprov

Reprov

 

 

0

Reprov

3

Reprov

27956

Joana Isabel Basto São Jorge Simões

9

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Desistiu

Reprov

Reprov

1

1

1

Reprov

5

Reprov

33491

João António Pereira Caridade

Inferior a 7

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

10

10

10

3

3

3

11

0

11

33493

João Fernando de Matos Correia

10

Inferior a 7

Inferior a 7

Reprov

13

Inferior a 7

12

12

3

3

3

13

0

13

32057

João Henrique Seabra Gonçalves Lecour

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

21161

João José Mingatos Tomásio

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

17100

João Tomás Aires de Morais

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33496

José Artur Ferreira da Costa

8

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

7

Reprov

33499

José Pedro Vasconcelos Carvalho

19

Inferior a 7

Inferior a 7

Reprov

19

Inferior a 7

19

19

3

3

3

19

0

19

32242

Liliana Maria Rodrigues da Cunha

8

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

10

10

27962

Liseta Gonçalves de Miranda

8

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

0

Reprov

33500

Luis Filipe dos Santos Carvalho Meireles

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

6

Reprov

30529

Luis Filipe Fernandes da Costa

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33501

Luis Miguel Baptista Rocha

14

Inferior a 7

Inferior a 7

Reprov

10

Inferior a 7

12

12

2

2

2

13

0

13

39422

Luís Miguel de Amorim Pereira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

0

Reprov

39580

Luís Miguel de Moura Teixeira

Inferior a 7

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

0

Reprov

33504

Luis Miguel Moura e Silva

14

Inferior a 7

Inferior a 7

Reprov

9

Inferior a 7

12

12

2

2

2

13

0

13

28161

Luís Miguel Parreira Bulhões

12

Inferior a 7

Inferior a 7

Reprov

13

Inferior a 7

13

13

1

1

1

13

0

13

33505

Luis Miguel Pires da Cunha Monteiro Pimentel

13

8

Inferior a 7

11

Inferior a 7

Inferior a 7

Reprov

11

1

1

1

11

0

11

33507

Luisa Daniela Ferreira Arieira

12

Inferior a 7

Inferior a 7

Reprov

13

Inferior a 7

13

13

2

2

2

14

0

14

32485

Lydis Quessia Sarea

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

10

27967

Manuel Pascoal Lopes Padrão

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

0

Reprov

33508

Marcelo Pires Moreira

16

Inferior a 7

Inferior a 7

Reprov

7

Inferior a 7

12

12

2

2

2

13

0

13

33510

Marco Sérgio de Amorim Abreu

17

Inferior a 7

Inferior a 7

Reprov

12

Inferior a 7

15

15

2

2

2

16

0

16

28623

Marco Silva Costa

11

Inferior a 7

Inferior a 7

Reprov

10

Inferior a 7

11

11

1

1

1

11

0

11

34539

Margarida de Jesus Rodrigues da Rocha

15

Inferior a 7

Inferior a 7

Reprov

16

Inferior a 7

16

16

1

1

1

16

0

16

33511

Maria de Fátima Barbosa de Oliveira

14

Inferior a 7

Inferior a 7

Reprov

7

Inferior a 7

11

11

2

2

2

12

0

12

30499

Maria Goretti Ferreira Picoto

14

Inferior a 7

Inferior a 7

Reprov

17

Inferior a 7

16

16

2

2

2

17

0

17

15207

Maria Lelita Veloso

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

32720

Mário Rui Felgueiras Castro

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

3

3

3

Reprov

0

Reprov

33513

Marisa da Assunção Teixeira Casimiro

15

Inferior a 7

Inferior a 7

Reprov

10

Inferior a 7

13

13

1

1

1

13

0

13

30537

Marta Daniela Sá de Vasconcelos

12

Inferior a 7

Inferior a 7

Reprov

9

Inferior a 7

11

11

3

3

3

12

0

12

30744

Marta Maria Fonseca Falcão Ribeiro

17

Inferior a 7

Inferior a 7

Reprov

16

Inferior a 7

17

17

1

1

1

17

0

17

9859

Miguel Jorge Pires Corais

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33514

Mónia Sofia Crispim Lopes Domingues

18

Inferior a 7

Inferior a 7

Reprov

16

Inferior a 7

17

17

1

1

1

17

0

17

5159

Mónica Cristina da Silva Rebelo Alves

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

27975

Natália Gonçalves Andrade

Faltou

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

0

Reprov

27841

Neida Helena Morais Leite Gomes Martinho

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

30542

Nuno Borges de Araújo de Oliveira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

7

Reprov

27977

Nuno Filipe de Jesus Fernandes

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

0

Reprov

32274

Nuno Miguel de Sousa Cerqueira Pimenta

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

7

Reprov

Reprov

1

1

1

Reprov

10

10

33515

Nuno Miguel Pires Veiga Afonso

17

Inferior a 7

Inferior a 7

Reprov

17

Inferior a 7

17

17

1

1

1

17

0

17

29720

Nuno Miguel Teixeira Machado

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

30543

Paulo André Póvoa Alves Fontes

Faltou

Inferior a 7

7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

14

15

33517

Paulo Jorge Araújo Oliveira

12

Inferior a 7

Inferior a 7

Reprov

7

Inferior a 7

10

10

1

1

1

10

0

10

34427

Paulo Jorge Lobo Machado

8

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

10

10

33518

Paulo Jorge Rodrigues Rocha Santos

8

Inferior a 7

Inferior a 7

Reprov

7

Inferior a 7

Reprov

Reprov

3

3

3

Reprov

7

Reprov

33519

Paulo Manuel Fernandes Silva

17

Inferior a 7

Inferior a 7

Reprov

16

Inferior a 7

17

17

2

2

2

17

0

17

23011

Pedro Alexandre Ferreira Narciso

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

Desistiu

Reprov

27980

Pedro Filipe Almeida Alves

Faltou

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

4

Reprov

33522

Pedro Miguel da Costa Fernandes

13

Inferior a 7

Inferior a 7

Reprov

18

Inferior a 7

16

16

2

2

2

17

0

17

32734

Raymond Fortes Gonçalves

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

0

Reprov

30749

Remi André Mikalsen

19

Inferior a 7

Inferior a 7

Reprov

19

Inferior a 7

19

19

3

3

3

19

0

19

32595

Ricardo André Vilarinho Machado de Sousa Epifânio

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

30248

Ricardo Correia Gomes

13

Inferior a 7

Inferior a 7

Reprov

11

Inferior a 7

12

12

2

2

2

13

0

13

7703

Ricardo Jorge Rodrigues Alves

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33528

Ricardo Manuel Carrola Simões

18

Inferior a 7

Inferior a 7

Reprov

20

Inferior a 7

19

19

3

3

3

19

0

19

33529

Ricardo Miguel Gonçalves Teixeira da Silva

13

Inferior a 7

Inferior a 7

Reprov

16

Inferior a 7

15

15

1

1

1

15

0

15

20096

Rodrigo Acácio Alves Costa

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

30550

Rogério Morais Gonçalves

8

Inferior a 7

Inferior a 7

Reprov

8

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

13

14

33530

Rogério Paulo do Espírito Santo Brás

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

0

Reprov

24872

Rui Fernando Ribeiro Magalhães

Desistiu

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

34542

Rui Manuel Vaz Lourenço

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

0

Reprov

8306

Rui Miguel Nunes Rosa Alves

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

32244

Rui Miguel Vieira Dias

Faltou

Inferior a 7

Desistiu

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

Desistiu

Reprov

29151

Sandra Manuela Freitas da Silva e Costa

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

10

10

33532

Sérgio José Coelho Pinto

13

Inferior a 7

Inferior a 7

Reprov

14

Inferior a 7

14

14

3

3

3

15

0

15

33533

Sílvia Pereira Vieira

12

Inferior a 7

Inferior a 7

Reprov

15

Inferior a 7

14

14

2

2

2

15

0

15

32255

Sílvio José Martins de Freitas

8

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

33535

Sofia da Costa Garim

13

Inferior a 7

Inferior a 7

Reprov

7

Inferior a 7

10

10

2

2

2

11

0

11

34754

Sofia Gorete Novais da Silva

13

Inferior a 7

Inferior a 7

Reprov

9

Inferior a 7

11

11

2

2

2

12

0

12

25208

Sónia Cláudia Maia de Carvalho

Inferior a 7

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Desistiu

Reprov

Reprov

2

2

2

Reprov

0

Reprov

34543

Sónia Emília Correia Quintas

15

Inferior a 7

Inferior a 7

Reprov

18

Inferior a 7

17

17

2

2

2

17

0

17

33537

Sónia Marlene Pereira de Sousa

10

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

12

12

32726

Sylvie Maria Afonso Silva

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

1

1

1

Reprov

7

Reprov

32727

Valter Filipe de Almeida Pereira

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

0

Reprov

33539

Valter Nuno Gomes Fráguas

Faltou

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

 

 

0

Reprov

0

Reprov

29214

Vasco Alexandre Marques Serranho

7

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Inferior a 7

Reprov

Reprov

2

2

2

Reprov

0

Reprov

39590

Vera Lúcia da Silva Marrão

12

7

Inferior a 7

10

Inferior a 7

Inferior a 7

Reprov

10

1

1

1

10

0

10

25401

Vital César Ventura Pinto

Inferior a 7

Inferior a 7

Inferior a 7

Reprov

Inferior a 7

Desistiu

Reprov

Reprov

2

2

2

Reprov

7

Reprov

34544

Vítor Joaquim Sampaio de Abreu

19

Inferior a 7

Inferior a 7

Reprov

9

Inferior a 7

14

14

2

2

2

15

0

15

 


SOFTWARE

Produto

Endereço

Sicstus PROLOG

AgentBuilder

SAS

www.sicstus.se

www.reticular.com

www.sas.com

 


RECURSOS WEB

 

http://www.kdnuggets.com/

http://www.cs.bham.ac.uk/~anp/TheDataMine.html

http://www.ics.uci.edu/AI/ML/Machine-Learning.html

http://www.gmd.de/ml-archive

http://info.gte.com/~kdd/software.html

http://www.cosmic.uga.edu/maincat.html

http://www.neuronet.ph.kcl.ac.uk/

http://www.ipd.ira.uka.de/~prechelt/FAQ/neural-net-faq.html

http://bashful.qub.ac.uk/tec/courses/datamining/


ENUNCIADOS DAS PROVAS

DE AVALIAÇÃO

 

Provas de Épocas Anteriores

 Época Normal de Fevereiro

Época Normal de Junho 1ª Chamada

Época de Recurso de Julho

Época Especial


ENUNCIADOS DOS PROJECTOS

 

Projecto 1 e 2 Versão 1

Projecto 1 e 2 Versão 2