Sumários
Lógica e conhecimento
10 novembro 2026, 14:00 • Luís Manuel Nobre de Brito Elvas
1. Agentes Baseados em Conhecimento;
2. Lógica proposicional: proposições, operadores lógicos;
3. Inferência;
4. Regras de inferência;
5. Resolução;
6. Exercícios de aplicação.
Lógica e Conhecimento
10 novembro 2026, 09:30 • Ana Catarina dos Santos Martins
1. Agentes Baseados em Conhecimento;
2. Lógica proposicional: proposições, operadores lógicos;
3. Inferência;
4. Regras de inferência;
5. Resolução;
6. Exercícios de aplicação.
Incerteza
3 novembro 2026, 09:30 • Ana Catarina dos Santos Martins
1. Introdução à Probabilidade: espaço amostral, eventos, axiomas de probabilidades, Teorema de Bayes;
2. Eventos complementares, eventos mutuamente exclusivos, independência entre eventos;
3. Marginalização com eventos independentes e dependentes;
4. Exercícios de aplicação da teoria;
5. Redes Bayesianas;
6. Exercícios com Redes Bayesianas.