Sumários
Semana 4: Algoritmos Informados de Procura - Parte #2
24 Junho 2024, 19:30 • Silvia José
Algoritmos Informados de Procura - Parte #1
- Greedy BFS
- Exercícios de Aplicação
Semana 8 - Lógica de Predicados - Parte #1
24 Junho 2024, 19:30 • Silvia 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 11 - Programação em Lógica - Parte #2
24 Junho 2024, 19:30 • Silvia José
•Programação em Lógica – Parte 2
•Negação
por Falha
•Closed
World Assumption
•Mecanismo
Iterativo (Loop)
•Exercícios de Aplicação
Realização do Mini-teste #2
Semana 10 - Programação em Lógica - Parte #1
24 Junho 2024, 19:30 • Silvia José
•Programação em Lógica – Parte 1
•Factos
•Regras
•Perguntas
•Cláusulas de Horn
•Representação de Conhecimento em Prolog
•Fluxo Sequencial
•Exercícios de Aplicação
Semana 13 - Apoio ao Trabalho Prático
24 Junho 2024, 19:30 • Silvia José
- Aula de Apoio ao Trabalho Prático
-- Explanação do enunciado do projeto