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

12 Novembro 2024, 19:30 • Luís Miguel Botelho

---

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

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

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

---

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

Class 24. Practical class 9 (Lab). Action preconditions, effects, and impossibilities

11 Novembro 2024, 21:00 • Luís Miguel Botelho

---

Action preconditions, effects, and impossibilities
Blocks world exercises (no agents; just planning)

Class 24. Practical class 9 (Lab). Action preconditions, effects, and impossibilities

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

---

Action preconditions, effects, and impossibilities
Blocks world exercises (no agents; just planning)

Class 23. Theoretical class 15. Agent goals. Goal achievement mechanisms: planning algorithms

8 Novembro 2024, 18:00 • Daniel Pesqueira Morgado

---

Agent goals. Examples from the partner discovery scenario.
Goal achievement mechanisms (special purpose programs, production rules, search algorithms, planning algorithms)
Goal regression planning algorithm (Ivan Bratko)