Sumários
Aula 10 - Programação em Lógica - Parte #2
5 Maio 2026, 14:00 • António Raimundo
- 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
Aula 9 - Programação em Lógica - Parte #1
28 Abril 2026, 14:00 • António Raimundo
- 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
Aula 8 - Lógica de Predicados - Parte #2
21 Abril 2026, 14:00 • António Raimundo
- 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
- Realização do Mini-teste #1
Aula 7 - Lógica de Predicados - Parte #1
14 Abril 2026, 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)
24 Março 2026, 14:00 • Ricardo Teixeira da Costa Pereira
Realização do Mini Teste Prático 2
- 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