Sumários

Prolog (cont.); Planeamento

3 Novembro 2023, 09:30 • Luís Miguel Parreira e Correia

Prolog - programas exemplo
Introdução ao planeamento clássico
PDDL, esquema de ação
Procura adiante e retrógrada

Modelização e rtesolução de problemas de Satisfação de Restrições em PYthon

2 Novembro 2023, 12:00 • Paulo Jorge Cunha Vaz Dias Urbano

Aula de Lab com guiões em Jupyter Notebook.

Exemplos de modelização de problemas em Python
Os algoritmos de resolução de problemas em Python
Resolução de exercícios

Modelização e rtesolução de problemas de Satisfação de Restrições em PYthon

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

Aula de Lab com guiões em Jupyter Notebook.

Exemplos de modelização de problemas em Python
Os algoritmos de resolução de problemas em Python
Resolução de exercícios

Lógica de 1ª ordem; Inferência; Prolog

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

Afirmações em LPO
Modus ponens generalizado
Unificação
Linguagem Prolog

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

30 Outubro 2023, 08:00 • Helena Aidos

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