Sumários

Inferência em lógica de primeira ordem

26 Outubro 2020, 09:30 • Luís Miguel Parreira e Correia

Encadeamento adiante
Encadeamento retrógrado
Eficiência dos dois modelos

Lógica de 1ª ordem, inferência

23 Outubro 2020, 09:30 • Luís Miguel Parreira e Correia

Recapitulação de lógica de 1ª ordem
Substituição, Unificação e Inferência
Apresentação do Prolog

Semana 6

21 Outubro 2020, 11:30 • Helena Aidos

Formulação de Problemas de Satisfação de Restrições. Resolução de exercícios.

Semana 6

19 Outubro 2020, 11:30 • Helena Aidos

Formulação de Problemas de Satisfação de Restrições. Resolução de exercícios.

Procura local e em ambientes realistas

19 Outubro 2020, 09:30 • Luís Miguel Parreira e Correia

Trepa-colinas
Procura de feixe
Recozimento simulado
Algoritmos genéticos
Procura em ambientes não determinísticos e parcialmente observáveis