Sumários

Aula 8: Lógica de Predicados - Parte #2

8 Abril 2025, 14:00 • António Raimundo

Realização do Mini-teste #1
•Sintaxe da Lógica de Predicados
•Revisão de conteúdos da aula passada
 •Operadores e Quantificadores
•Universais
 •Existenciais
•Semântica na Lógica de Predicados
•Leis de Morgan e Negações
•Formalização na Lógica de Predicados
•Exercícios de aplicação

Aula 7 - Lógica de Predicados - Parte #1

1 Abril 2025, 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

Aula 6: Sistemas Baseados em Conhecimento (SBCs)

25 Março 2025, 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

Aula 5: Algoritmos Informados de Procura - Parte #3

18 Março 2025, 14:00 • António Raimundo

Algoritmos Informados de Procura - Parte #3

- Dijkstra
- Exercícios de aplicação

Aula 4: Algoritmos Informados de Procura - Parte #2

11 Março 2025, 14:00 • António Raimundo

Algoritmos Informados de Procura - Parte #2

- A*
- Exercícios de Aplicação