Raciocínio em lógica de predicados de primeira ordem - 1ª parte

4 Outubro 2021, 16:00 • Rita Sousa

---

Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .

Prática 3 - Representação do conhecimento em lógica de predicados de primeira ordem

1 Outubro 2021, 13:00 • Rita Sousa

---

Resolução de exercícios sobre representação do conhecimento. Ver enunciado no e-learninf

Prática 3 - Representação do conhecimento em lógica de predicados de primeira ordem

1 Outubro 2021, 13:00 • Rita Sousa

---

Resolução de exercícios sobre representação do conhecimento. Ver enunciado no e-learninf

Representação do conhecimento em lógica de predicados de primeira ordem

28 Setembro 2021, 14:30 • Rita Sousa

---

Representação : Sintaxe e semântica informal; Exemplos

Sistemas baseados em conhecimento

27 Setembro 2021, 16:00 • Rita Sousa

---

Conhecimento, representação de conhecimento e sistemas baseados em conhecimento (SBC)