Sumários
Representação de conhecimento em lógica de predicados de 1ª ordem.
18 Abril 2024, 14:30 • Ana Rita Henrique Peixoto
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.
18 Abril 2024, 11:00 • Ana Rita Henrique Peixoto
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.
Raciocínio em lógica de predicados de primeira ordem - 2ª parte
18 Abril 2024, 08:00 • Ana Rita Henrique Peixoto
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 - 2ª parte
17 Abril 2024, 19:30 • Sancho Moura Oliveira
Inferência de lógica de predicados de 1ª ordem (Dedução)
17 Abril 2024, 14:30 • Filipa Ribeiro Sá da Costa