Sumários

14 Abril 2026, 14:00 • António Raimundo

- Lógica e Inferência

-- Axiomas

-- Regras de Inferência

-- Teoremas

- Sintaxe da Lógica de Predicados

-- Constantes e Variáveis

-- Operadores e Quantificadores

24 Março 2026, 14:00 • Ricardo Teixeira da Costa Pereira

Realização do Mini Teste Prático 2

Sistemas Baseados em Conhecimento:

- Dados vs. Informação vs. Conhecimento

- Sistemas Baseados em Conhecimento (SBC)

-- Base de Conhecimento

-- Motor de Inferência

-- Sistemas Especialistas (Expert Systems)

-- Representação de Conhecimento

-- Estratégias de Raciocínio

---- Backward Chaining

---- Forward Chaining

17 Março 2026, 14:00 • Ricardo Teixeira da Costa Pereira

Algoritmos Informados de Procura - Parte #3

- Dijkstra

- Exercícios de aplicação

10 Março 2026, 14:00 • António Raimundo

Algoritmos Informados de Procura - Parte #2

- A-Star (A*)

- Exercícios de Aplicação

3 Março 2026, 14:00 • António Raimundo

Realização do Mini-teste Prático #1 (MTP1

Algoritmos Informados de Procura - Parte #1

- Greedy BFS

- Exercícios de Aplicação