Aula27 Exercícios de papel e lápis sobre o algoritmo de planeamento

18 Novembro 2024, 13:00 • Luís Miguel Botelho

---

Exercícios sobre o funcionamento dom algoritmo de planeamento

Class 26. Theoretical class 17. Definition of the high-level predicates used in the preconditions and effects of the partner discovery scenario

15 Novembro 2024, 18:00 • Daniel Pesqueira Morgado

---

Definition of the  high-level predicates used in the preconditions and effects of the actions of the partner discovery scenario

These high-level predicates are defined in terms of the dynamic low-level scenario predicates. They are needed to avoid using quantifiers

Class 26. Theoretical class 17. Definition of the high-level predicates used in the preconditions and effects of the partner discovery scenario

13 Novembro 2024, 13:00 • Luís Miguel Botelho

---

Definition of the  high-level predicates used in the preconditions and effects of the actions of the partner discovery scenario

These high-level predicates are defined in terms of the dynamic low-level scenario predicates. They are needed to avoid using quantifiers

Class 26. Theoretical class 17. Definition of the high-level predicates used in the preconditions and effects of the partner discovery scenario

13 Novembro 2024, 13:00 • Daniel Pesqueira Morgado

---

Definition of the  high-level predicates used in the preconditions and effects of the actions of the partner discovery scenario

These high-level predicates are defined in terms of the dynamic low-level scenario predicates. They are needed to avoid using quantifiers

Class 25. Theoretical class 16. Action formal descriptions in the partner discovery scenario

13 Novembro 2024, 11:00 • Daniel Pesqueira Morgado

---

Action formal descriptions in the partner discovery scenario: formal description of all actions in the scenario