Sumários

Representação de conhecimento em lógica de predicados de 1ª ordem.

10 Abril 2024, 14:30 Filipa Ribeiro Sá da Costa


Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.

Ver enunciados no moodle.

Sistemas baseados em conhecimento

10 Abril 2024, 08:00 Ana Rita Henrique Peixoto


Introdução aos sistemas baseados em conhecimento.

Representação de conhecimento.
Lógica de predicados de 1ª ordem.
Representação de conhecimento em lógica de predicados de 1ª ordem.

Representação de conhecimento em lógica de predicados de 1ª ordem.

9 Abril 2024, 14:30 Sancho Moura Oliveira


Lógica de predicados de 1ª ordem.
Representação de conhecimento em lógica de predicados de 1ª ordem.
Exemplos de representação de conhecimento em lógica de predicados de 1ª ordem.

Representação de conhecimento em lógica de predicados de 1ª ordem.

9 Abril 2024, 09:30 Sancho Moura Oliveira


Lógica de predicados de 1ª ordem.
Representação de conhecimento em lógica de predicados de 1ª ordem.
Exemplos de representação de conhecimento em lógica de predicados de 1ª ordem.

Sistemas baseados em conhecimento

8 Abril 2024, 19:30 Sancho Moura Oliveira


Introdução aos sistemas baseados em conhecimento.

Representação de conhecimento.
Lógica de predicados de 1ª ordem.
Representação de conhecimento em lógica de predicados de 1ª ordem.