Sumários

Problemas de Satisfação de Restrições (PSR)- exercícios

23 Outubro 2023, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Resolução de exercícios de PSR.

Exercícios de formulação e de procura. A procura com retrocesso, com a filtragem por verificação para a frente e a consistência. O algoritmo CS3, Heurísticas de variável mais restringida e de grau.

Lógica proposicional

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

Operações, átomos, frases
Base de conhecimento
Processo de derivação

Problemas de Satisfação de Restrições (PSR)- exercícios

23 Outubro 2023, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Resolução de exercícios de PSR.

Exercícios de formulação e de procura. A procura com retrocesso, com a filtragem por verificação para a frente e a consistência. O algoritmo CS3, Heurísticas de variável mais restringida e de grau.

Problemas de Satisfação de Restrições [1/2]

23 Outubro 2023, 08:00 • Helena Aidos

Resolução de exercícios sobre problemas de satisfação de restrições.

Procura adversarial

20 Outubro 2023, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Resolução de exercícios em Python sobre procura adversarial.