Sumários
Probabilidade e Modelos Probabilísticos
6 Outubro 2025, 09:00 • Ana Catarina dos Santos Martins
1. Conclusão da aula anterior: resolução de exercícios, regras de inferência e algoritmo de resolução;
2. Fundamentos de Probabilidade;
3. Redes Bayesianas;
4. Apresentação do enunciado do projeto final.
Introdução a conhecimento e Lógica
30 Setembro 2025, 09:00 • Ana Catarina dos Santos Martins
1. Introdução a Agentes Baseados em Conhecimento - Exemplos e arquiteturas dos mesmos;
2. Lógica proposicional: Símbolos proposicionais, operadores lógicos (conjunção, disjunção, disjunção exclusiva, implicação, bicondicionalidade e negação);
3. Exercício prático de lógica proposicional;
4. Modelos;
5. Introdução a algoritmos de verificação de modelos.