Sumários
Semana 9 - Lógica de Predicados - Parte #2
5 Novembro 2024, 09:30 • 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
Semana 8 - Lógica de Predicados - Parte #1
29 Outubro 2024, 09:30 • 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
Semana 6: Sistemas Baseados em Conhecimento (SBCs)
22 Outubro 2024, 09:30 • 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
Semana 5: Algoritmos Informados de Procura - Parte #3
15 Outubro 2024, 09:30 • António Raimundo
Algoritmos Informados de Procura - Parte #3
- Dijkstra
- Exercícios de aplicação
Semana 4: Algoritmos Informados de Procura - Parte #2
8 Outubro 2024, 09:30 • António Raimundo
Algoritmos Informados de Procura - Parte #1
- Greedy BFS
- Exercícios de Aplicação