Departamento de Ciência de Computadores

Curso: Sistemas Inteligentes / Inteligência Artificial

Theoretical classes

  • Class 1 Introdução (inclui bibliografia)
  • Class 2 Revisão de métodos de busca
  • Class 3 Métodos Informados de Busca
  • Class 4 Outros métodos de busca (melhoramento iterativo, algoritmos genéticos, restrições etc)
  • Class 5 Algoritmos de jogos (min-max e alfa-beta)
  • Class 6 Representação do Conhecimento
  • Class 7 Lógica Proposicional e de Predicados / Sistemas Dedutivos
  • Class 8 Programação em Prolog: exemplos
  • Class 9 Inferência em Lógica de Primeira Ordem
  • Class 10 Forward chaining x Backward chaining
  • Class 11 Aprendizagem de Máquina / Sistemas Indutivos
  • Class 12 Introdução ao Weka, pelo Prof. Alípio Jorge (amjorge@fc.up.pt)
  • Class 13 Árvores de Decisão
  • Class 14 Redes Neuronais
  • Class 15 Support Vector Machines (se houver tempo)

    Practical Classes

  • 24 Fev: Exercícios do livro do Russell:
  • 3, 10 e 17 Mar: Primeiro Trabalho de SI - BUSCAS
  • 24 e 31 Mar: Segundo Trabalho de SI - JOGOS e exercício sobre o corte alfa-beta
  • 7 Abr: Lógica: Exercícios 7.2 e 7.8 do Russell (segunda edição) OU continuar trabalho sobre minimax e alfa-beta
  • 14 Abr: Lista de Exercícios OU terminar trabalho sobre minimax e alfa-beta
  • 21 Abr: Páscoa
  • 28 Abr: Resolução das questões do teste 1
  • 5 Mai: semana da queima, não dei aulas
  • 12 Mai: Lista de Exercícios de Prolog
  • 19 Mai: Programação Lógica Indutiva com o sistema Aleph
  • 26 Mai: Exercícios de Prolog, Aleph ou WEKA
  • 2 Jun: Exercícios de Prolog, Aleph ou WEKA
  • Trabalho 1: Buscas

    Trabalho 2: Jogos

    Trabalho 3: Prolog e Sistemas Inteligentes (versão html) e (versão pdf)

    Trabalho 4: Análise de dados com o WEKA

    Primeiro Teste

    Exame da época normal - Parte 1

    Exame da época normal - Parte 2

    Links of interest

  • Artificial Intelligence: a Modern Approach
  • Livro sobre Programação Lógica disponível na web
  • Weka
  • RapidMiner
  • Yap Prolog
  • Aleph
  •