Sumários
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.
Introdução a conhecimento e Lógica
29 Setembro 2025, 14: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.
Introdução a conhecimento e Lógica
29 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.