Sumários

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.

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

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

Apresentação e breve história da IA

10 Fevereiro 2025, 14:30 • Sancho Moura Oliveira

Apresentação da UC

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