Sumários

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

24 Junho 2024, 19:30 Sílvia Maria Dias Pires Lopes José


- 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 4: Algoritmos Informados de Procura - Parte #2

24 Junho 2024, 19:30 Sílvia Maria Dias Pires Lopes José


Algoritmos Informados de Procura - Parte #1

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

Semana 6: Sistemas Baseados em Conhecimento (SBCs)

24 Junho 2024, 19:30 Sílvia Maria Dias Pires Lopes José


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

24 Junho 2024, 19:30 Sílvia Maria Dias Pires Lopes José


Algoritmos Informados de Procura - Parte #3

- Dijkstra
- Exercícios de aplicação