Inteligência Artificial
Aulas Teóricas
As aulas teóricas são dadas pelo Prof. João Leite de acordo com o horário publicado aqui.
| Aula | Data | Matéria Prevista |
| 1 | 14/9 | Introdução |
| 2 | 15/9 | Agentes Inteligentes |
| 3 | 21/9 | Resolução de Problemas por Procura |
| 4 | 22/9 | Resolução de Problemas por Procura |
| 5 | 28/9 | Procura Local e Optimização |
| 6 | 29/9 | Procura com Adversários e Jogos |
| 7 | 6/10 | Procura com Adversários e Jogos / Problemas de Satisfação de Restrições |
| 8 | 7/10 (aula extra) | Problemas de Satisfação de Restrições |
| 9 | 12/10 | Agentes Lógicos |
| 10 | 13/10 | Inferência para Agentes Lógicos |
| 11 | 19/10 | Programação em Lógica Não Monotónica |
| 12 | 20/10 | Programação por Conjuntos de Resposta |
| 21/10 | 1º Teste (data e hora a confirmar no CLIP) | |
| 13 | 26/10 | Planeamento Automatizado |
| 14 | 27/10 | Planeamento Automatizado |
| 15 | 2/11 | Conhecimento e Raciocínio com Incerteza |
| 16 | 3/11 | Raciocínio Probabilístico |
| 17 | 9/11 | Raciocínio Probabilístico |
| 18 | 10/11 | Aprendizagem a partir de Exemplos |
| 19 | 16/11 | Aprendizagem a partir de Exemplos |
| 20 | 17/11 | Aprendizagem a partir de Exemplos |
| 21 | 23/11 | Aprendizagem a partir de Exemplos |
| 22 | 24/11 | Ética, Impacto Social e Futuro da IA |
| 23 | 30/11 | Conclusão |
| 9/12 | 2º Teste (data e hora a confirmar no CLIP) |