Sumários

Semana 8 - Lógica de Predicados - Parte #1

30 Outubro 2023, 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

Semana 6: Sistemas Baseados em Conhecimento (SBCs)

16 Outubro 2023, 14:00 • António Raimundo

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

Semana 5: Algoritmos Informados de Procura - Parte #3

9 Outubro 2023, 14:00 • António Raimundo

Algoritmos Informados de Procura - Parte #3

- Dijkstra
- Exercícios de aplicação

Semana 4: Algoritmos Informados de Procura - Parte #2

2 Outubro 2023, 14:00 • António Raimundo

Algoritmos Informados de Procura - Parte #1

- Greedy BFS
- Exercícios de Aplicação

Semana 3: Algoritmos Informados de Procura - Parte #1

25 Setembro 2023, 14:00 • António Raimundo

Algoritmos Informados de Procura - Parte #1

- Greedy BFS
- Exercícios de Aplicação