Sumários
Raciocínio em lógica de predicados de primeira ordem - 1ª parte
15 Abril 2024, 11:00 • Sancho Moura Oliveira
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .
Representação de conhecimento em lógica de predicados de 1ª ordem.
12 Abril 2024, 21:00 • Mariana Catela Jacob Rodrigues
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.
Representação de conhecimento em lógica de predicados de 1ª ordem.
12 Abril 2024, 18:00 • Mariana Catela Jacob Rodrigues
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.
Representação de conhecimento em lógica de predicados de 1ª ordem.
12 Abril 2024, 11:00 • Filipa Ribeiro Sá da Costa
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.
Representação de conhecimento em lógica de predicados de 1ª ordem.
12 Abril 2024, 11:00 • Mariana Catela Jacob Rodrigues
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.