Sumários

Class 28. Theoretical class 19. Post-execution waiting conditions

19 Novembro 2024, 13:00 Daniel Pesqueira Morgado


Post-execution waiting conditions
- How to solve the problem of an agent that receives a certain information amount but considers only a part of it? The need for post-execution waiting conditions (n sent questions, n received replies and holding time), statement_response_action specification (w/ conversation id), and action re-implementation
- Specification: post_execution_waiting(Action, ExecutionID)
- Action re-implementation
- statement_response_action

Test the whole scenario again and check that the described approach works well.  This could be an exercise for the students


THIS SUMMARY MAY HAVE TO BE CHANGED
THE SUMMARIES OF CLASSES 27 AND 29 MAY ALSO HAVE TO BE CHANGED

Aula 27 - Exercícios sobre o algoritmo de planeamento

18 Novembro 2024, 21:00 Luís Miguel Botelho


Exercícios sobre o algoritmo de planeamento

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