Sumários
Raciocínio em lógica de predicados de primeira ordem - 1ª parte
17 Fevereiro 2025, 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.
14 Fevereiro 2025, 21:00 • Eugénio Ribeiro
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.
14 Fevereiro 2025, 18:00 • Eugénio Ribeiro
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.
14 Fevereiro 2025, 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.
14 Fevereiro 2025, 09:30 • Filipa Ribeiro Sá da Costa
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.