Sumários
Semana 13 - Apoio ao Trabalho Prático
4 Dezembro 2023, 14:00 • António Raimundo
- Aula de Apoio ao Trabalho Prático
-- Explanação do enunciado do projeto
Semana 12 - Introdução aos Algoritmos Genéticos
27 Novembro 2023, 14:00 • António Raimundo
•Algoritmos Genéticos - Introdução
•Indivíduo vs. População
•Função de Avaliação (fitness function)
•Operadores Genéticos
•Seleção
•Recombinação
e Cruzamento (crossover)
•Mutação
•Critérios de Finalização
Semana 11 - Programação em Lógica - Parte #2
20 Novembro 2023, 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
Semana 10 - Programação em Lógica - Parte #1
13 Novembro 2023, 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
Semana 9 - Lógica de Predicados - Parte #2
6 Novembro 2023, 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