Goal. Quite a lot of logic in Amsterdam is aimed at modeling multiple independent agents. If agents have desires or preferences over outcomes, we may wish to model these as well. To do that we need suitable languges, ones which can represent agent preferences in a way that is concise yet still usable. The goal of this project is to become familiar with current work in compact preference representation.
The project starts with one or two introductory lectures on preference representation. Then, students will be pointed toward current literature in the field and asked to summarize and present some of it.