Sumários

3 Novembro 2021, 11:30 • Graça Gaspar

Formulação de problemas de satisfação de restrições em Python.

29 Outubro 2021, 11:30 • Graça Gaspar

Resolução de exercícios de procura adversarial e problemas de satisfação de restrições.

(aula dada pelo Prof. Paulo Urbano)

29 Outubro 2021, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Aula de exercícios em papel e caneta de procura adversarial e formulação e resolução de CSPs (Constraint Satisfaction Problems).

Resoluções de exercícios de:

procura minimax alfabeta

formulação de CSPs

Resolução usando o backtracking search. A Inferência Forward checking e o seu uso no backtracking search.

Consistência dos arcos e forçar a sua consistência

O algoritmo AC3

29 Outubro 2021, 09:30 • Luís Miguel Parreira e Correia

Planeamento hierárquico e de semântica angélica

Planos com tempo e recursos

Planeamento "online"

28 Outubro 2021, 12:00 • Helena Aidos

Resolução de exercícios de procura adversarial e problemas de satisfação de restrições.