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

8 Março 2021, 21:00 • Rita Sousa

---

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

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

8 Março 2021, 13:00 • Rita Sousa

---

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

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

8 Março 2021, 11:00 • Rita Sousa

---

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

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

3 Março 2021, 19:30 • Rita Sousa

---

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

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

3 Março 2021, 16:00 • Rita Sousa

---

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