Sumários

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

13 Fevereiro 2025, 11:00 Eugénio Ribeiro


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

Ver enunciados no moodle.

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

13 Fevereiro 2025, 08:00 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.

12 Fevereiro 2025, 14:30 Eugénio Ribeiro


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

Ver enunciados no moodle.

Apresentação e breve história da IA

12 Fevereiro 2025, 08:00 Sancho Moura Oliveira


Apresentação da UC

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

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

11 Fevereiro 2025, 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.