Termine

In this talk I will present an analysis of iterated Goal-based voting, a voting framework in which agents can submit propositional formulae as their goals. I will show that convergence of the iteration to a stable voting profile depends on the underlying rule as well as on the chosen satisfaction function of the agents. These results include a study of the Approval rule as well as some other rules based on the majority. Extending this analysis of iteration I will answer the question of its quality, by talking about the dynamic of social welfare in the repeated voting process. To these theoretical results I will add preliminary insights on the frequency and quality of iteration won by a Python implementation.