Sistemas Inteligentes

Departamento de Ciência de Computadores

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)

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

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