Sumários
Semana #9 - Lógica de Predicados - Parte 2
13 Abril 2023, 14:00 • António Raimundo
- Sintaxe da Lógica de Predicados
- Revisão de conteúdos da aula passada
- Operadores e Quantificadores
- 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
30 Março 2023, 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
Semana #7 - Sistemas Baseados em Conhecimento (SBCs)
23 Março 2023, 14:00 • António Raimundo
- 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 2
16 Março 2023, 14:00 • António Raimundo
Algoritmos Informados de Procura - Parte 2
--- A* (A-Star)
--- Exercícios de aplicação
Semana #3 - Algoritmos Informados de Procura - Parte 1
2 Março 2023, 14:00 • António Raimundo
- Realização da Mini-ficha 1
- Algoritmos Informados de Procura
- --- Greedy Search
- --- Exercícios de aplicação