Sumários

25 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

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

Linguagem PDDL

Esquema de ação

Solução pelo objetivo e solução pelos dados

Heurísticas

25 Outubro 2021, 08:00 • Helena Aidos

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

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

Exercicíos de procura adversarial: jogos com informação completa.

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

Aula em Lab.

Formulação do Jogo do Galo.

Procura adversarial em Python.

O algoritmo minimax e variante alfabeta.

O algoritmo alfabeta com profundidade limitada.

Funções de avaliação estática

Jogos entre vários tipos de jogadores