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