Sumários

28 Outubro 2025, 09:00 • António Sérgio Lima 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

21 Outubro 2025, 09:00 • António Sérgio Lima Raimundo

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

14 Outubro 2025, 09:00 • António Sérgio Lima Raimundo

Algoritmos Informados de Procura - Parte #3

- Dijkstra

- Exercícios de aplicação

7 Outubro 2025, 09:00 • António Sérgio Lima Raimundo

Algoritmos Informados de Procura - Parte #2

- A* (A-Star)

- Exercícios de Aplicação

30 Setembro 2025, 09:00 • António Sérgio Lima Raimundo

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

Algoritmos Informados de Procura - Parte #1

- Greedy BFS

- Exercícios de Aplicação