Sumários
Aula 7 - Lógica de Predicados - Parte #1
28 Outubro 2025, 09: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
Aula 6: MTP2 + Sistemas Baseados em Conhecimento (SBCs)
21 Outubro 2025, 09:00 • António Raimundo
Realização do Mini-teste Prático #2
- 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
Aula 5: Algoritmos Informados de Procura - Parte #3
14 Outubro 2025, 09:00 • António Raimundo
Algoritmos Informados de Procura - Parte #3
- Dijkstra
- Exercícios de aplicação
Aula 4: Algoritmos Informados de Procura - Parte #2
7 Outubro 2025, 09:00 • António Raimundo
Algoritmos Informados de Procura - Parte #2
- A* (A-Star)
- Exercícios de Aplicação
Aula 3: MTP1 + Algoritmos Informados de Procura - Parte #1
30 Setembro 2025, 09: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