Sumários

10 novembro 2026, 14:00 • Ana Catarina dos Santos Martins

Resolução de exercícios.

3 novembro 2026, 14:00 • Ana Catarina dos Santos Martins

1. Exposição de conteúdo;

2. Exercícios práticos de programação lógica utilizando Prolog.

27 outubro 2026, 14:00 • Ana Catarina dos Santos Martins

1. Lógica e Inferência: axiomas, regras de inferência e teoremas;

2. Sintaxe de lógica de predicados: constantes e variáveis, operadores e quantificadores.

3. Exercícios de aplicação.

20 outubro 2026, 14:00 • Ana Catarina dos Santos Martins

1. Dados vs. Informação vs. Conhecimento;

2. Bases de Conhecimento;

3. Motor de Inferência;

4. Sistemas Especialistas;

5. Representação de Conhecimento;

6. Estratégias de raciocínio: backward chaining e forward chaining.

13 outubro 2026, 14:00 • Ana Catarina dos Santos Martins

Explicação do algoritmo de procura Dijkstra;

Realização de exercícios de aplicação.