Sumários

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

10 Fevereiro 2026, 14:30 Ana Rita Henrique Peixoto


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.

10 Fevereiro 2026, 09: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.

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.

Apresentação, breve história da IA e sistemas baseados em conhecimento (SBCs)

9 Fevereiro 2026, 19:30 Ana Rita Henrique Peixoto


Apresentação da UC

Sistema de avaliação.
Breve história da IA.
Introdução aos sistemas baseados em conhecimento.

Apresentação, breve história da IA e sistemas baseados em conhecimento (SBCs)

9 Fevereiro 2026, 14:30 Ana Rita Henrique Peixoto


Apresentação da UC

Sistema de avaliação.
Breve história da IA.
Introdução aos sistemas baseados em conhecimento.

Apresentação e breve história da IA

9 Fevereiro 2026, 11:00 Sancho Moura Oliveira


Apresentação da UC

Sistema de avaliação.
Breve história da IA